From c0e184b4ad4b28cbfc94290e8f1169a8297bb0de Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Thu, 5 Mar 2020 16:59:58 +0100 Subject: [PATCH] testsuite: Add testcase for already fixed PR [PR90311] 2020-03-05 Jakub Jelinek PR target/90311 * gcc.c-torture/execute/pr90311.c: New test. --- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.c-torture/execute/pr90311.c | 16 ++++++++++++++++ 2 files changed, 21 insertions(+) create mode 100644 gcc/testsuite/gcc.c-torture/execute/pr90311.c diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index bac662302fbd..8c693ea08d68 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2020-03-05 Jakub Jelinek + + PR target/90311 + * gcc.c-torture/execute/pr90311.c: New test. + 2020-03-05 Jeff Law * gcc.target/arm/fuse-caller-save.c: Generalize expected output. diff --git a/gcc/testsuite/gcc.c-torture/execute/pr90311.c b/gcc/testsuite/gcc.c-torture/execute/pr90311.c new file mode 100644 index 000000000000..af8cde6d0f0e --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/pr90311.c @@ -0,0 +1,16 @@ +/* PR rtl-optimization/90311 */ + +int a, b; + +int +main () +{ + unsigned long long x; + unsigned int c; + __builtin_add_overflow ((unsigned char) a, b, &c); + b -= c < (unsigned char) a; + x = b; + if (x) + __builtin_abort (); + return 0; +}