Print this page
11462 enable smatch by default
@@ -11,10 +11,12 @@
* 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,11 +397,11 @@
static void *printed;
if (out_of_memory())
return 1;
- if (time_parsing_function() < 60)
+ 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,11 +593,11 @@
__print_stree(*false_states);
}
gettimeofday(&time_after, NULL);
sec = time_after.tv_sec - time_before.tv_sec;
- if (sec > 20) {
+ if (sec > option_timeout) {
sm->nr_children = 4000;
sm_perror("Function too hairy. Ignoring implications after %d seconds.", sec);
}
}