Home
last modified time | relevance | path

Searched refs:iterator_pre_condition (Results 1 – 15 of 15) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_bogus_loop.c70 iterator = get_iterator_tested(stmt->iterator_pre_condition); in match_loop()
80 if (right_side_changes(stmt->iterator_pre_condition)) in match_loop()
83 if (implied_condition_false(stmt->iterator_pre_condition)) in match_loop()
H A Dparse.h94 struct expression *iterator_pre_condition; member
H A Dsmatch_flow.c584 expr = strip_expr(stmt->iterator_pre_condition); in is_forever_loop()
626 once_through = implied_condition_true(stmt->iterator_pre_condition); in handle_pre_loop()
637 __split_whole_condition(stmt->iterator_pre_condition); in handle_pre_loop()
673 __split_whole_condition(stmt->iterator_pre_condition); in handle_pre_loop()
685 stmt->iterator_pre_condition); in handle_pre_loop()
1137 expr_set_parent_stmt(stmt->iterator_pre_condition, stmt); in __split_stmt()
1140 if (stmt->iterator_pre_condition) in __split_stmt()
H A Dcheck_spectre.c86 (stmt->iterator_pre_condition == parent || in is_harmless()
H A Dcheck_indenting.c52 if (!__prev_stmt->iterator_pre_condition) in missing_curly_braces()
H A Dinline.c425 stmt->iterator_pre_condition = copy_expression(stmt->iterator_pre_condition); in copy_one_statement()
H A Ddissect.c499 do_expression(U_R_VAL, stmt->iterator_pre_condition); in do_statement()
H A Dsmatch_extra.c652 condition = strip_expr(loop->iterator_pre_condition); in handle_canonical_while_count_down()
802 if (!loop->iterator_pre_condition) in handle_canonical_for_loops()
804 if (loop->iterator_pre_condition->type != EXPR_COMPARE) in handle_canonical_for_loops()
806 condition = loop->iterator_pre_condition; in handle_canonical_for_loops()
H A Dshow-parse.c655 struct expression *pre_condition = stmt->iterator_pre_condition; in show_statement()
H A Dexpand.c1231 expand_expression(stmt->iterator_pre_condition); in expand_statement()
H A Dparse.c2366 stmt->iterator_pre_condition = e2; in parse_for_statement()
2384 stmt->iterator_pre_condition = expr; in parse_while_statement()
H A Dcompile-i386.c1914 struct expression *pre_condition = stmt->iterator_pre_condition; in emit_loop()
H A Dsmatch_comparison.c1162 if (__cur_stmt->iterator_pre_condition != expr) in handle_for_loops()
H A Dlinearize.c2268 struct expression *pre_condition = stmt->iterator_pre_condition; in linearize_iterator()
H A Devaluate.c3491 evaluate_conditional(stmt->iterator_pre_condition, 1); in evaluate_iterator()