diff options
| author | Kugan Vivekanandarajah <kuganv@linaro.org> | 2014-08-18 06:28:35 +0000 |
|---|---|---|
| committer | Kugan Vivekanandarajah <kugan@gcc.gnu.org> | 2014-08-18 06:28:35 +0000 |
| commit | 495e77b35b09f0ff8d347bceb06deaa2dc72602b (patch) | |
| tree | 63f72e0ff3b83a09f7cb9f29f09c4fb6e1ffc871 | |
| parent | 86cde5ecfdeaa95cd28989f3d5c0923c74b97037 (diff) | |
| download | gcc-495e77b35b09f0ff8d347bceb06deaa2dc72602b.zip gcc-495e77b35b09f0ff8d347bceb06deaa2dc72602b.tar.gz gcc-495e77b35b09f0ff8d347bceb06deaa2dc72602b.tar.bz2 | |
re PR tree-optimization/52904 (-Wstrict-overflow false alarm with bounded loop)
gcc/testsuite
2014-08-18 Kugan Vivekanandarajah <kuganv@linaro.org>
PR tree-optimization/52904
* gcc.dg/pr52904.c: New test.
From-SVN: r214084
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr52904.c | 20 |
2 files changed, 25 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f004342..87f51d5 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2014-08-18 Kugan Vivekanandarajah <kuganv@linaro.org> + + PR tree-optimization/52904 + * gcc.dg/pr52904.c: New test. + 2014-08-17 Tobias Burnus <burnus@net-b.de> * gfortran.dg/finalize_27.f90: New. diff --git a/gcc/testsuite/gcc.dg/pr52904.c b/gcc/testsuite/gcc.dg/pr52904.c new file mode 100644 index 0000000..107d89e --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr52904.c @@ -0,0 +1,20 @@ +/* { dg-do compile } */ +/* { dg-options "-Wstrict-overflow -O2" } */ +extern int foo (int); + +int +wait_reading_process_output (void) +{ + int nfds = 0; + int channel; + + for (channel = 0; channel < 1024; ++channel) + { + if (foo (channel)) + nfds++; + } + + if (nfds < 0) /* { dg-bogus "assuming signed overflow does not occur" } */ + return 1; + return 0; +} |