diff options
| author | Andrew Pinski <apinski@marvell.com> | 2023-05-10 05:02:48 +0000 |
|---|---|---|
| committer | Andrew Pinski <apinski@marvell.com> | 2023-05-10 05:02:48 +0000 |
| commit | 3ef0ebf901f6299e76237777e1b72b65c795fac0 (patch) | |
| tree | 531cc0907762a0693fa3540fbd97c4f384a1a042 | |
| parent | 46f9d150c712e70c41aed7293058a75e55c8300f (diff) | |
| download | gcc-3ef0ebf901f6299e76237777e1b72b65c795fac0.zip gcc-3ef0ebf901f6299e76237777e1b72b65c795fac0.tar.gz gcc-3ef0ebf901f6299e76237777e1b72b65c795fac0.tar.bz2 | |
New testcase
While I was writting a match.pd patch, I can across GCC was being miscompiled
but no testcase was failing. So this adds that testcase.
Committed after testing on x86_64 with
make check-gcc RUNTESTFLAGS="execute.exp=20230509-1.c"
gcc/testsuite/ChangeLog:
* gcc.c-torture/execute/20230509-1.c: New test.
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/20230509-1.c | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.c-torture/execute/20230509-1.c b/gcc/testsuite/gcc.c-torture/execute/20230509-1.c new file mode 100644 index 0000000..359d93c --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/20230509-1.c @@ -0,0 +1,28 @@ +int __attribute__((noipa)) f(unsigned a, int b) +{ + if (a < 0) __builtin_unreachable(); + if (a > 30) __builtin_unreachable(); + int t = a; + if (b) t = 100; + else if (a != 0) + t = a ; + else + t = 1; + return t; +} + + +int main(void) +{ + if (f(0, 0) != 1) + __builtin_abort(); + if (f(1, 0) != 1) + __builtin_abort(); + if (f(0, 1) != 100) + __builtin_abort(); + if (f(1, 0) != 1) + __builtin_abort(); + if (f(30, 0) != 30) + __builtin_abort(); +} + |