12724 update smatch to 0.6.1-rc1-il-5

*** 61,71 ****
          return __smatch_val;
  }
  #define __smatch_type_rl(type, fmt...) __smatch_type_rl_helper((type)0, fmt)
  #define __smatch_rl(fmt...) __smatch_type_rl(long long, fmt)
  
! static inline void __smatch_bit_info(long long expr){}
  
  static inline void __smatch_oops(unsigned long null_val){}
  
  static inline void __smatch_merge_tree(long long var){}
  
--- 61,71 ----
          return __smatch_val;
  }
  #define __smatch_type_rl(type, fmt...) __smatch_type_rl_helper((type)0, fmt)
  #define __smatch_rl(fmt...) __smatch_type_rl(long long, fmt)
  
! static inline void __smatch_bits(long long expr){}
  
  static inline void __smatch_oops(unsigned long null_val){}
  
  static inline void __smatch_merge_tree(long long var){}
  
*** 73,82 ****
--- 73,85 ----
  
  static inline void __smatch_mtag(void *p){}
  static inline void __smatch_mtag_data(long long arg){}
  static inline void __smatch_exit(void){}
  
+ static inline void __smatch_expr(const char *str, void *p){}
+ 
  static inline void __smatch_state_count(void){}
  static inline void __smatch_mem(void){}
  
  static inline void __smatch_container(long long container, long long x){}
+ 
  #endif