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);
         }
 }