gcc/testsuite/gcc.dg/ubsan/float-cast-overflow-bf.c

   1 /* { dg-do run } */
   2 /* { dg-options "-fsanitize=float-cast-overflow" } */
   3
   4 struct
   5 {
   6   int i:1;
   7 } s;
   8
   9 struct
  10 {
  11   unsigned int i:1;
  12 } t;
  13
  14 int
  15 main (void)
  16 {
  17   volatile double d;
  18
  19 #define CHECK_BOUNDARY(VAR, VAL)        \
  20   (VAR) = (VAL) - 1.5;                  \
  21   (VAR) = (VAL) - 1.0;                  \
  22   (VAR) = (VAL) - 0.5;                  \
  23   (VAR) = (VAL) - 0.0000001;            \
  24   (VAR) = (VAL) - 0.0;                  \
  25   (VAR) = (VAL);                        \
  26   (VAR) = (VAL) + 0.0;                  \
  27   (VAR) = (VAL) + 0.0000001;            \
  28   (VAR) = (VAL) + 0.5;                  \
  29   (VAR) = (VAL) + 1.0;                  \
  30   (VAR) = (VAL) + 1.5;
  31
  32   /* Signed bit-field.  (-1, 0) is valid.  */
  33   d = -1.0;
  34   CHECK_BOUNDARY (s.i, d);
  35   d = 0.0;
  36   CHECK_BOUNDARY (s.i, d);
  37   d = 1.0;
  38   CHECK_BOUNDARY (s.i, d);
  39
  40   /* Unsigned bit-field.  (0, 1) is valid.  */
  41   d = -1.0;
  42   CHECK_BOUNDARY (t.i, d);
  43   d = 0.0;
  44   CHECK_BOUNDARY (t.i, d);
  45   d = 1.0;
  46   CHECK_BOUNDARY (t.i, d);
  47
  48   return 0;
  49 }
  50
  51 /* { dg-output "value -2.5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  52 /* { dg-output "\[^\n\r]*value -2 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  53 /* { dg-output "\[^\n\r]*value 1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  54 /* { dg-output "\[^\n\r]*value 1.5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  55 /* { dg-output "\[^\n\r]*value 1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  56 /* { dg-output "\[^\n\r]*value 1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  57 /* { dg-output "\[^\n\r]*value 1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  58 /* { dg-output "\[^\n\r]*value 1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  59 /* { dg-output "\[^\n\r]*value 1.5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  60 /* { dg-output "\[^\n\r]*value 2 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  61 /* { dg-output "\[^\n\r]*value 2.5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  62 /* { dg-output "\[^\n\r]*value -2.5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  63 /* { dg-output "\[^\n\r]*value -2 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  64 /* { dg-output "\[^\n\r]*value -1.5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  65 /* { dg-output "\[^\n\r]*value -1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  66 /* { dg-output "\[^\n\r]*value -1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  67 /* { dg-output "\[^\n\r]*value -1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  68 /* { dg-output "\[^\n\r]*value -1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  69 /* { dg-output "\[^\n\r]*value -1.5 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  70 /* { dg-output "\[^\n\r]*value -1 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  71 /* { dg-output "\[^\n\r]*value 2 is outside the range of representable values of type\[^\n\r]*(\n|\r\n|\r)" } */
  72 /* { dg-output "\[^\n\r]*value 2.5 is outside the range of representable values of type" } */