Searched refs:option_file_output (Results 1 – 3 of 3) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ | ||
| H A D | smatch.c | 41 int option_file_output; variable |
| H A D | smatch.h | 559 extern int option_file_output; |
| H A D | smatch_flow.c | 1930 if (option_file_output) in smatch() |