diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2018-01-17 12:04:11 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2018-01-17 12:04:11 +0100 |
| commit | 1b45f2600e276565fc59a092f9d38493d605da54 (patch) | |
| tree | 7b26ed8f52dc8e2d285dca989819a617997715a5 | |
| parent | 46ba991f5433df738839061af7533a65b5cbd284 (diff) | |
| download | gcc-1b45f2600e276565fc59a092f9d38493d605da54.zip gcc-1b45f2600e276565fc59a092f9d38493d605da54.tar.gz gcc-1b45f2600e276565fc59a092f9d38493d605da54.tar.bz2 | |
re PR rtl-optimization/83771 (ICE: verify_flow_info failed (error: non-cold basic block 3 reachable only by paths crossing the cold partition))
PR rtl-optimization/83771
* gcc.dg/pr83771.c: New test.
From-SVN: r256781
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/pr83771.c | 19 |
2 files changed, 24 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 448b44a..9449d5e 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2018-01-17 Jakub Jelinek <jakub@redhat.com> + + PR rtl-optimization/83771 + * gcc.dg/pr83771.c: New test. + 2018-01-17 Eric Botcazou <ebotcazou@adacore.com> PR tree-optimization/81184 diff --git a/gcc/testsuite/gcc.dg/pr83771.c b/gcc/testsuite/gcc.dg/pr83771.c new file mode 100644 index 0000000..a5a386e --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr83771.c @@ -0,0 +1,19 @@ +/* PR rtl-optimization/83771 */ +/* { dg-do compile } */ +/* { dg-options "-O3 -fmodulo-sched -fno-ssa-phiopt" } */ + +long int a; +int b; +int foo (int); + +void +bar (void) +{ + int c; + do + { + c = a / (!!b == 1); + c = !!c + 1; + } + while (foo (c) < 1); +} |