diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2023-03-24 09:39:59 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2023-03-24 09:39:59 +0100 |
| commit | 86111e7b3027de1029718e23ee5fab0ee011e191 (patch) | |
| tree | 2e8039c29f4e1e0703d17767cafbe346bf1c1488 | |
| parent | 378ec7b87a5265dbe2d489c245fac98ef37fa638 (diff) | |
| download | gcc-86111e7b3027de1029718e23ee5fab0ee011e191.zip gcc-86111e7b3027de1029718e23ee5fab0ee011e191.tar.gz gcc-86111e7b3027de1029718e23ee5fab0ee011e191.tar.bz2 | |
testsuite: Add testcase for already fixed PR [PR99739]
This PR was fixed by r13-1268-g8c99e307b20, I'm adding testcase
to make sure we don't regress on it in the future.
2023-03-24 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/99739
* gcc.dg/tree-ssa/pr99739.c: New test.
| -rw-r--r-- | gcc/testsuite/gcc.dg/tree-ssa/pr99739.c | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/pr99739.c b/gcc/testsuite/gcc.dg/tree-ssa/pr99739.c new file mode 100644 index 0000000..3ebaa4b --- /dev/null +++ b/gcc/testsuite/gcc.dg/tree-ssa/pr99739.c @@ -0,0 +1,40 @@ +/* PR tree-optimization/99739 */ +/* { dg-do compile } */ +/* { dg-options "-O1 -fdump-tree-optimized" } */ +/* { dg-final { scan-tree-dump-not "__builtin_abort \\\(\\\);" "optimized" } } */ + +static inline int +foo (int i, int j, int k) +{ + int x = 1; + if (i && j && k) + x = 2; + if (i && j && k) + return x; + return -1; +} + +void +bar (int i, int j, int k) +{ + if (foo (i, j, k) == 1) + __builtin_abort (); +} + +static inline int +baz (int i, int j, int k) +{ + int x = 1; + if (i && j && k) + x = 2; + if (i && k && j) + return x; + return -1; +} + +void +qux (int i, int j, int k) +{ + if (baz (i, j, k) == 1) + __builtin_abort (); +} |