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