12166 resync smatch to 0.6.1-rc1-il-3

@@ -44,10 +44,13 @@
 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){}