Home
last modified time | relevance | path

Searched refs:iterator_post_condition (Results 1 – 13 of 13) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_continue_vs_break.c37 if (!stmt->iterator_post_condition) in is_do_while_zero()
39 if (!expr_is_zero(stmt->iterator_post_condition)) in is_do_while_zero()
69 if (get_macro_name(stmt->iterator_post_condition->pos)) in loop_is_macro()
H A Dparse.h99 struct expression *iterator_post_condition; member
H A Dcheck_spectre.c87 stmt->iterator_post_condition == parent)) in is_harmless()
H A Dsmatch_flow.c586 expr = stmt->iterator_post_condition; in is_forever_loop()
707 if (!expr_is_zero(stmt->iterator_post_condition)) in handle_post_loop()
713 __split_whole_condition(stmt->iterator_post_condition); in handle_post_loop()
1138 expr_set_parent_stmt(stmt->iterator_post_condition, stmt); in __split_stmt()
1142 else if (stmt->iterator_post_condition) in __split_stmt()
H A Dinline.c430 stmt->iterator_post_condition = copy_expression(stmt->iterator_post_condition); in copy_one_statement()
H A Ddissect.c502 do_expression(U_R_VAL, stmt->iterator_post_condition); in do_statement()
H A Dshow-parse.c658 struct expression *post_condition = stmt->iterator_post_condition; in show_statement()
H A Dparse.c2368 stmt->iterator_post_condition = NULL; in parse_for_statement()
2385 stmt->iterator_post_condition = NULL; in parse_while_statement()
2405 stmt->iterator_post_condition = expr; in parse_do_statement()
H A Dexpand.c1232 expand_expression(stmt->iterator_post_condition); in expand_statement()
H A Dsmatch_extra.c1449 if (!stmt || stmt->type != STMT_ITERATOR || !stmt->iterator_post_condition) in handle_postop_inc()
1452 cond = strip_expr(stmt->iterator_post_condition); in handle_postop_inc()
H A Dcompile-i386.c1917 struct expression *post_condition = stmt->iterator_post_condition; in emit_loop()
H A Dlinearize.c2271 struct expression *post_condition = stmt->iterator_post_condition; in linearize_iterator()
H A Devaluate.c3492 evaluate_conditional(stmt->iterator_post_condition,1); in evaluate_iterator()