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. */ /* * Imagine we have this code: * foo = 1;
*** 395,405 **** static void *printed; if (out_of_memory()) return 1; ! if (time_parsing_function() < 60) return 0; if (!__inline_fn && printed != cur_func_sym) { if (!is_skipped_function()) sm_perror("turning off implications after 60 seconds"); --- 397,407 ---- static void *printed; if (out_of_memory()) return 1; ! if (time_parsing_function() < option_timeout) return 0; if (!__inline_fn && printed != cur_func_sym) { if (!is_skipped_function()) sm_perror("turning off implications after 60 seconds");
*** 591,601 **** __print_stree(*false_states); } gettimeofday(&time_after, NULL); sec = time_after.tv_sec - time_before.tv_sec; ! if (sec > 20) { sm->nr_children = 4000; sm_perror("Function too hairy. Ignoring implications after %d seconds.", sec); } } --- 593,603 ---- __print_stree(*false_states); } gettimeofday(&time_after, NULL); sec = time_after.tv_sec - time_before.tv_sec; ! if (sec > option_timeout) { sm->nr_children = 4000; sm_perror("Function too hairy. Ignoring implications after %d seconds.", sec); } }