summaryrefslogtreecommitdiff
path: root/gcc/tree-vrp.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/tree-vrp.c')
-rw-r--r--gcc/tree-vrp.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 890ee936fea..613c9e67103 100644
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -4356,7 +4356,7 @@ debug_all_value_ranges (void)
/* Given a COND_EXPR COND of the form 'V OP W', and an SSA name V,
create a new SSA name N and return the assertion assignment
- 'V = ASSERT_EXPR <V, V OP W>'. */
+ 'N = ASSERT_EXPR <V, V OP W>'. */
static gimple
build_assert_expr_for (tree cond, tree v)
@@ -6037,7 +6037,7 @@ process_assert_insertions (void)
}
else
{
- y = ASSERT_EXPR <y, x <= y>
+ y = ASSERT_EXPR <y, x >= y>
x = y + 3
}