Searched refs:__smatch_states (Results 1 – 3 of 3) sorted by relevance
12 __smatch_states("register_impossible_return"); in main()14 __smatch_states("register_impossible_return"); in main()
9 static inline void __smatch_states(const char *check_name){} in __smatch_states() function