diff options
Diffstat (limited to 'gcc/testsuite')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/c11-static-assert-10.c | 9 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/c99-const-expr-15.c | 9 |
3 files changed, 24 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index f14638c..976003a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2020-01-13 Joseph Myers <joseph@codesourcery.com> + + PR c/93241 + * gcc.dg/c11-static-assert-10.c, gcc.dg/c99-const-expr-15.c: New + tests. + 2020-01-13 Martin Sebor <msebor@redhat.com> PR tree-optimization/93213 diff --git a/gcc/testsuite/gcc.dg/c11-static-assert-10.c b/gcc/testsuite/gcc.dg/c11-static-assert-10.c new file mode 100644 index 0000000..2fe210b --- /dev/null +++ b/gcc/testsuite/gcc.dg/c11-static-assert-10.c @@ -0,0 +1,9 @@ +/* Test for constant expressions: casts with integer overflow. PR + c/93241. */ +/* { dg-do compile } */ +/* { dg-options "-std=c11 -pedantic-errors" } */ + +#include <limits.h> + +_Static_assert (0 ? (_Bool) (INT_MAX + 1) : 1, ""); +_Static_assert (0 ? (short) ((INT_MAX + 1) != 0) : 1, ""); diff --git a/gcc/testsuite/gcc.dg/c99-const-expr-15.c b/gcc/testsuite/gcc.dg/c99-const-expr-15.c new file mode 100644 index 0000000..b1744b6 --- /dev/null +++ b/gcc/testsuite/gcc.dg/c99-const-expr-15.c @@ -0,0 +1,9 @@ +/* Test for constant expressions: casts with integer overflow. PR + c/93241. */ +/* { dg-do compile } */ +/* { dg-options "-std=c99 -pedantic-errors" } */ + +#include <limits.h> + +struct s { int a : (0 ? (_Bool) (INT_MAX + 1) : 1); }; +struct t { int a : (0 ? (short) ((INT_MAX + 1) != 0) : 1); }; |