Home
last modified time | relevance | path

Searched refs:__in_pre_condition (Results 1 – 6 of 6) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_container_of.c42 if (__in_pre_condition) in match_condition()
H A Dsmatch_imaginary_absolute.c56 if (__in_pre_condition) in __save_imaginary_state()
H A Dcheck_deref_check.c71 if (__in_pre_condition) in match_condition()
H A Dsmatch_parsed_conditions.c56 if (__in_pre_condition) in record_condition()
H A Dsmatch_flow.c58 int __in_pre_condition = 0; variable
635 __in_pre_condition++; in handle_pre_loop()
638 __in_pre_condition--; in handle_pre_loop()
672 __in_pre_condition++; in handle_pre_loop()
674 __in_pre_condition--; in handle_pre_loop()
H A Dsmatch.h568 extern int __in_pre_condition;