Symbol: assume
usr/src/tools/smatch/src/check_index_overflow.c
292
if (assume(comparison)) {
usr/src/tools/smatch/src/check_uninitialized.c
122
if (!assume(success))
usr/src/tools/smatch/src/smatch.h
601
int assume(struct expression *expr);
usr/src/tools/smatch/src/smatch_db.c
1714
if (!assume(compare_expression(expr, separate_zero ? '>' : SPECIAL_GTE, zero_expr())))
usr/src/tools/smatch/src/smatch_db.c
1727
undo = assume(compare_expression(expr, SPECIAL_EQUAL, zero_expr()));
usr/src/tools/smatch/src/smatch_db.c
1740
undo = assume(compare_expression(expr, '<', zero_expr()));
usr/src/tools/smatch/src/smatch_implied.c
1233
if (!assume(comparison))