Symbol: __smatch_states
usr/src/tools/smatch/src/validation/sm_impossible1.c
12
__smatch_states("register_impossible_return");
usr/src/tools/smatch/src/validation/sm_impossible1.c
14
__smatch_states("register_impossible_return");
usr/src/tools/smatch/src/validation/sm_impossible2.c
12
__smatch_states("register_impossible_return");
usr/src/tools/smatch/src/validation/sm_impossible2.c
14
__smatch_states("register_impossible_return");