Home
last modified time | relevance | path

Searched refs:post_condition (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dshow-parse.c658 struct expression *post_condition = stmt->iterator_post_condition; in show_statement() local
675 if (!post_condition || post_condition->type != EXPR_VALUE || post_condition->value) { in show_statement()
683 if (!post_condition) { in show_statement()
685 } else if (post_condition->type == EXPR_VALUE) { in show_statement()
686 if (post_condition->value) in show_statement()
689 val = show_expression(post_condition); in show_statement()
H A Dcompile-i386.c1917 struct expression *post_condition = stmt->iterator_post_condition; in emit_loop() local
1928 if (!post_condition || post_condition->type != EXPR_VALUE || post_condition->value) { in emit_loop()
1959 if (!post_condition) { in emit_loop()
1964 } else if (post_condition->type == EXPR_VALUE) { in emit_loop()
1965 if (post_condition->value) { in emit_loop()
1976 val = x86_expression(post_condition); in emit_loop()
H A Dlinearize.c2271 struct expression *post_condition = stmt->iterator_post_condition; in linearize_iterator() local
2286 if (!post_condition) { in linearize_iterator()
2303 if (!post_condition) in linearize_iterator()
2306 linearize_cond_branch(ep, post_condition, loop_top, loop_end); in linearize_iterator()