re PR c++/49039 (LLVM StringRef miscompilation with -O2)
authorJakub Jelinek <jakub@redhat.com>
Wed, 18 May 2011 20:39:05 +0000 (22:39 +0200)
committerJakub Jelinek <jakub@gcc.gnu.org>
Wed, 18 May 2011 20:39:05 +0000 (22:39 +0200)
commit681056ae64c6f8bd4cc67e00cb87b4c7272eec5e
treeaffa7b875eb03cf2f2c87a940a527e1252d31696
parent8199eea14f1ab32d805cc4be98ecfb5424a78671
re PR c++/49039 (LLVM StringRef miscompilation with -O2)

PR tree-optimization/49039
* tree-vrp.c (extract_range_from_binary_expr): For
MIN_EXPR <~[a, b], ~[c, d]> and MAX_EXPR <~[a, b], ~[c, d]>
return ~[MAX_EXPR <a, c>, MIN_EXPR <b, d>].

* gcc.c-torture/execute/pr49039.c: New test.
* gcc.dg/tree-ssa/pr49039.c: New test.
* g++.dg/torture/pr49039.C: New test.

From-SVN: r173876
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/torture/pr49039.C [new file with mode: 0644]
gcc/testsuite/gcc.c-torture/execute/pr49039.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/pr49039.c [new file with mode: 0644]
gcc/tree-vrp.c