Home
last modified time | relevance | path

Searched refs:__discard_false_states (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_flow.c658 __discard_false_states(); in handle_pre_loop()
678 __discard_false_states(); in handle_pre_loop()
H A Dsmatch_states.c950 void __discard_false_states(void) in __discard_false_states() function
H A Dsmatch_implied.c1220 __discard_false_states(); in end_assume()
H A Dsmatch.h744 void __discard_false_states(void);