Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/ubsan/pr79757-4.c @ 158:494b0b89df80 default tip
...
author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 25 May 2020 18:13:55 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
/* PR sanitizer/79757 */ /* { dg-do run } */ /* { dg-skip-if "" { *-*-* } { "*" } { "-O2" } } */ /* { dg-options "-fsanitize=undefined" } */ int main (void) { int div (int n) { int i = 5 / n; return i; } int shift (int n) { int i = 5 << n; return i; } int j = shift (100); int i = div (0); return 0; } /* { dg-output "shift exponent 100 is too large for \[^\n\r]*-bit type 'int'\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]*division by zero" } */