Home
last modified time | relevance | path

Searched refs:end_assume (Results 1 – 5 of 5) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_index_overflow.c294 end_assume(); in array_check()
298 end_assume(); in array_check()
H A Dcheck_uninitialized.c130 end_assume(); in match_negative_comparison()
H A Dsmatch_implied.c1218 void end_assume(void) in end_assume() function
1236 end_assume(); in impossible_assumption()
H A Dsmatch_db.c1724 end_assume(); in split_positive_from_negative()
1737 end_assume(); in split_positive_from_negative()
1750 end_assume(); in split_positive_from_negative()
H A Dsmatch.h602 void end_assume(void);