1/* { dg-do run { target { lp64 || ilp32 } } } */ 2/* { dg-options "-fsanitize=float-cast-overflow" } */ 3 4#include <limits.h> 5#include "float-cast.h" 6 7int 8main (void) 9{ 10 volatile float f; 11 12 volatile signed char s; 13 f = SCHAR_MIN; 14 CHECK_BOUNDARY (s, f); 15 f = 0.0; 16 CHECK_BOUNDARY (s, f); 17 f = SCHAR_MAX; 18 CHECK_BOUNDARY (s, f); 19 20 volatile unsigned char u; 21 f = UCHAR_MAX; 22 CHECK_BOUNDARY (u, f); 23 f = 0.0; 24 CHECK_BOUNDARY (u, f); 25 26 return 0; 27} 28 29/* { dg-output "value -133* is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ 30/* { dg-output "\[^\n\r]*value -129.5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ 31/* { dg-output "\[^\n\r]*value -129 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ 32/* { dg-output "\[^\n\r]*value 128 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ 33/* { dg-output "\[^\n\r]*value 128.5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ 34/* { dg-output "\[^\n\r]*value 132 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ 35/* { dg-output "\[^\n\r]*value 256 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ 36/* { dg-output "\[^\n\r]*value 256.5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ 37/* { dg-output "\[^\n\r]*value 260 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ 38/* { dg-output "\[^\n\r]*value -5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ 39/* { dg-output "\[^\n\r]*value -1.5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */ 40/* { dg-output "\[^\n\r]*value -1 is outside the range of representable values of type" } */ 41