Print this page
11462 enable smatch by default

*** 11,20 **** --- 11,22 ---- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the * GNU General Public License for more details. * * You should have received a copy of the GNU General Public License * along with this program; if not, see http://www.gnu.org/copyleft/gpl.txt + * + * Copyright 2019 Joyent, Inc. */ #ifndef SMATCH_H_ # define SMATCH_H_
*** 198,207 **** --- 200,210 ---- extern struct symbol *cur_func_sym; extern int option_debug; extern int local_debug; extern int option_info; extern int option_spammy; + extern int option_timeout; extern char *trace_variable; extern struct stree *global_states; int is_skipped_function(void); int is_silenced_function(void);