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