57 {
  58         return __smatch_val;
  59 }
  60 #define __smatch_type_rl(type, fmt...) __smatch_type_rl_helper((type)0, fmt)
  61 #define __smatch_rl(fmt...) __smatch_type_rl(long long, fmt)
  62 
  63 static inline void __smatch_bit_info(long long expr){}
  64 
  65 static inline void __smatch_oops(unsigned long null_val){}
  66 
  67 static inline void __smatch_merge_tree(long long var){}
  68 
  69 static inline void __smatch_stree_id(void){}
  70 
  71 static inline void __smatch_mtag(void *p){}
  72 static inline void __smatch_mtag_data(long long arg){}
  73 static inline void __smatch_exit(void){}
  74 
  75 static inline void __smatch_state_count(void){}
  76 static inline void __smatch_mem(void){}


  77 #endif

  57 {
  58         return __smatch_val;
  59 }
  60 #define __smatch_type_rl(type, fmt...) __smatch_type_rl_helper((type)0, fmt)
  61 #define __smatch_rl(fmt...) __smatch_type_rl(long long, fmt)
  62 
  63 static inline void __smatch_bit_info(long long expr){}
  64 
  65 static inline void __smatch_oops(unsigned long null_val){}
  66 
  67 static inline void __smatch_merge_tree(long long var){}
  68 
  69 static inline void __smatch_stree_id(void){}
  70 
  71 static inline void __smatch_mtag(void *p){}
  72 static inline void __smatch_mtag_data(long long arg){}
  73 static inline void __smatch_exit(void){}
  74 
  75 static inline void __smatch_state_count(void){}
  76 static inline void __smatch_mem(void){}
  77 
  78 static inline void __smatch_container(long long container, long long x){}
  79 #endif