Mercurial > hg > CbC > CbC_gcc

annotate gcc/testsuite/gcc.dg/ubsan/c99-shift-6.c @ 131:84e7813d76e9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do run } */
kono
parents:
diff changeset
2 /* { dg-shouldfail "ubsan" } */
kono
parents:
diff changeset
3 /* { dg-options "-fsanitize=shift -fsanitize-recover=shift-exponent -fno-sanitize-recover=shift-base -w -std=c99" } */
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 int
kono
parents:
diff changeset
6 main (void)
kono
parents:
diff changeset
7 {
kono
parents:
diff changeset
8 int a = -42;
kono
parents:
diff changeset
9 int b = -43;
kono
parents:
diff changeset
10 volatile int c = 129;
kono
parents:
diff changeset
11 1 << c;
kono
parents:
diff changeset
12 1 << (c + 1);
kono
parents:
diff changeset
13 a << 1;
kono
parents:
diff changeset
14 b << 1;
kono
parents:
diff changeset
15 }
kono
parents:
diff changeset
16 /* { dg-output "shift exponent 129 is too large for \[^\n\r]*-bit type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
kono
parents:
diff changeset
17 /* { dg-output "\[^\n\r]*shift exponent 130 is too large for \[^\n\r]*-bit type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
kono
parents:
diff changeset
18 /* { dg-output "\[^\n\r]*left shift of negative value -42\[^\n\r]*(\n|\r\n|\r)" } */