Searched refs:option_db_file (Results 1 – 1 of 1) sorted by relevance
29 static char *option_db_file = (char *)"smatch_db.sqlite"; variable200 option_db_file = (*argvp)[i] + 10; in parse_args()345 open_smatch_db(option_db_file); in main()