12166 resync smatch to 0.6.1-rc1-il-3

*** 44,53 ****
--- 44,56 ----
  static inline void __smatch_debug_off(void){}
  
  static inline void __smatch_local_debug_on(void){}
  static inline void __smatch_local_debug_off(void){}
  
+ static inline void __smatch_debug_db_on(void){}
+ static inline void __smatch_debug_db_off(void){}
+ 
  static inline void __smatch_debug_implied_on(void){}
  static inline void __smatch_debug_implied_off(void){}
  
  static inline void __smatch_intersection(long long one, long long two){}
  static inline void __smatch_type(long long one){}