Hi Tomas, I've added the smatch mailing list. On Thu, Mar 14, 2013 at 08:48:07AM +0000, Winkler, Tomas wrote: > Hi Dan > What are those sql errors in latest smatch > e.g. SQL error #2: no such table call_implies > > I reverted to feb14 codebase to get them go away > Generally, if you see SQL warnings it means I've changed the database format and you should "rm smatch_db.sqlite" and rebuild the database. In this case, I think the most likely cause is that it's not finding the smatch_data/db/call_implies.schema file. It reads the schema file on startup and creates an in-memory database with the same tables as the on-disk database. Are you using the --data=/path/to/smatch_data/ option? And if so does putting the db/ directory under that directory fix things? Otherwise it expects to find the smatch_data/ directory in the same directory where the smatch binary is. Doing a make install with Smatch has never totally worked. :( I know I have been sloppy with that. Sorry. regards, dan carpenter -- To unsubscribe from this list: send the line "unsubscribe smatch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
