1  /* PR sanitizer/64344 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-fsanitize=float-cast-overflow" } */
       4  
       5  int
       6  foo (void)
       7  {
       8    static const int a = 0.5;
       9    static const int b = (int) 13.5 + 1;
      10    return a + b;
      11  }