(root)/
gcc-13.2.0/
gcc/
testsuite/
c-c++-common/
ubsan/
recovery-2.c
       1  /* { dg-do run } */
       2  /* { dg-options "-fsanitize=undefined -fno-sanitize-recover=signed-integer-overflow -w" } */
       3  /* { dg-shouldfail "ubsan" } */
       4  
       5  #include "recovery-common.inc"
       6  
       7  /* { dg-output "shift exponent 152 is too large for \[^\n\r]*-bit type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
       8  /* { dg-output "\[^\n\r]*shift exponent 153 is too large for \[^\n\r]*-bit type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
       9  /* { dg-output "\[^\n\r]*signed integer overflow: 2147483647 \\+ 1 cannot be represented in type 'int'\[^\n\r]*(\n|\r\n|\r)" } */
      10  /* { dg-output "\[^\n\r]*(?!.*signed integer overflow)" } */