summaryrefslogtreecommitdiff
path: root/gcc/tree-vrp.c
diff options
context:
space:
mode:
authormrs <mrs@138bc75d-0d04-0410-961f-82ee72b054a4>2014-04-30 17:19:02 +0000
committermrs <mrs@138bc75d-0d04-0410-961f-82ee72b054a4>2014-04-30 17:19:02 +0000
commit951019127b9f3cf59989ceb74539d454d535d3b5 (patch)
tree958443e6076f37a3ff7d07d9303f5c4171944638 /gcc/tree-vrp.c
parentbedbed50ff969478b0c8878678d7c169a8a0cdaf (diff)
parent8a21d39cf1ea8183eb1e95bbb4396d97ae0dc36d (diff)
downloadgcc-951019127b9f3cf59989ceb74539d454d535d3b5.tar.gz
Merge in trunk.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/wide-int@209944 138bc75d-0d04-0410-961f-82ee72b054a4
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
}