1 /* PR sanitizer/64344 */
2 /* { dg-do compile } */
3 /* { dg-options "-fsanitize=float-cast-overflow" } */
4 
5 int
foo(void)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 }
12