diff options
| author | Diego Novillo <dnovillo@redhat.com> | 2005-10-02 20:15:55 +0000 |
|---|---|---|
| committer | Diego Novillo <dnovillo@gcc.gnu.org> | 2005-10-02 16:15:55 -0400 |
| commit | b19bb8b0445fca3bef3d30d244395c2319c1bf9c (patch) | |
| tree | 03e110a82bcb3ef30244905ac0866fc09e18c916 /gcc/testsuite/gcc.c-torture | |
| parent | f13c9b2c76d81cebc647765b6e4b99c952cc594d (diff) | |
| download | gcc-b19bb8b0445fca3bef3d30d244395c2319c1bf9c.zip gcc-b19bb8b0445fca3bef3d30d244395c2319c1bf9c.tar.gz gcc-b19bb8b0445fca3bef3d30d244395c2319c1bf9c.tar.bz2 | |
re PR tree-optimization/24142 (VRP miscompiles unzip inflate.c)
PR 24142
* tree-vrp.c (vrp_meet): Fix call to range_includes_zero_p in
case of anti-ranges.
testsuite/
PR 24142
* gcc.c-torture/execute/pr24142.c: New test.
From-SVN: r104874
Diffstat (limited to 'gcc/testsuite/gcc.c-torture')
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/pr24142.c | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/pr24142.c b/gcc/testsuite/gcc.c-torture/execute/pr24142.c new file mode 100644 index 0000000..eed3e8b --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/pr24142.c @@ -0,0 +1,19 @@ +void abort (void); + +int f (int a, int b) +{ + if (a == 1) + a = 0; + if (b == 0) + a = 1; + if (a != 0) + return 0; + return 1; +} + +int main (void) +{ + if (f (1, 1) != 1) + abort (); + return 0; +} |