aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.6
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.6')
-rw-r--r--gcc-4.6/gcc/testsuite/gcc.dg/tree-ssa/pr57385.c10
-rw-r--r--gcc-4.6/gcc/tree-ssa-sccvn.c1
2 files changed, 11 insertions, 0 deletions
diff --git a/gcc-4.6/gcc/testsuite/gcc.dg/tree-ssa/pr57385.c b/gcc-4.6/gcc/testsuite/gcc.dg/tree-ssa/pr57385.c
new file mode 100644
index 000000000..fc2146126
--- /dev/null
+++ b/gcc-4.6/gcc/testsuite/gcc.dg/tree-ssa/pr57385.c
@@ -0,0 +1,10 @@
+/* { dg-do compile } */
+/* { dg-options "-O1" } */
+
+int c;
+
+void foo(int f)
+{
+ int wbi=-100000000;
+ c = (f ? "012346000000000000":"01345:000000006008")[wbi];
+}
diff --git a/gcc-4.6/gcc/tree-ssa-sccvn.c b/gcc-4.6/gcc/tree-ssa-sccvn.c
index eb8896907..704a86c97 100644
--- a/gcc-4.6/gcc/tree-ssa-sccvn.c
+++ b/gcc-4.6/gcc/tree-ssa-sccvn.c
@@ -1115,6 +1115,7 @@ fully_constant_vn_reference_p (vn_reference_t ref)
== TYPE_MODE (TREE_TYPE (TREE_TYPE (arg0->op0))))
&& GET_MODE_CLASS (TYPE_MODE (op->type)) == MODE_INT
&& GET_MODE_SIZE (TYPE_MODE (op->type)) == 1
+ && tree_int_cst_sgn (op->op0) >= 0
&& compare_tree_int (op->op0, TREE_STRING_LENGTH (arg0->op0)) < 0)
return build_int_cst_type (op->type,
(TREE_STRING_POINTER (arg0->op0)