Mercurial > hg > CbC > CbC_gcc
view gcc/testsuite/gcc.dg/ubsan/float-cast-overflow-bf.c @ 131:84e7813d76e9
gcc-8.2
author | mir3636 |
---|---|
date | Thu, 25 Oct 2018 07:37:49 +0900 |
parents | 04ced10e8804 |
children |
line wrap: on
line source
/* { dg-do run } */ /* { dg-options "-fsanitize=float-cast-overflow" } */ struct { int i:1; } s; struct { unsigned int i:1; } t; int main (void) { volatile double d; #define CHECK_BOUNDARY(VAR, VAL) \ (VAR) = (VAL) - 1.5; \ (VAR) = (VAL) - 1.0; \ (VAR) = (VAL) - 0.5; \ (VAR) = (VAL) - 0.0000001; \ (VAR) = (VAL) - 0.0; \ (VAR) = (VAL); \ (VAR) = (VAL) + 0.0; \ (VAR) = (VAL) + 0.0000001; \ (VAR) = (VAL) + 0.5; \ (VAR) = (VAL) + 1.0; \ (VAR) = (VAL) + 1.5; /* Signed bit-field. (-1, 0) is valid. */ d = -1.0; CHECK_BOUNDARY (s.i, d); d = 0.0; CHECK_BOUNDARY (s.i, d); d = 1.0; CHECK_BOUNDARY (s.i, d); /* Unsigned bit-field. (0, 1) is valid. */ d = -1.0; CHECK_BOUNDARY (t.i, d); d = 0.0; CHECK_BOUNDARY (t.i, d); d = 1.0; CHECK_BOUNDARY (t.i, d); return 0; } /* { dg-output " -2.5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* -2 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* 1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* 1.5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* 1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* 1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* 1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* 1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* 1.5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* 2 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* 2.5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* -2.5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* -2 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* -1.5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* -1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* -1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* -1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* -1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* -1.5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* -1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* 2 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ /* { dg-output "\[^\n\r]* 2.5 is outside the range of representable values of type" } */