gcc/testsuite/c-c++-common/ubsan/pr64344-1.c

/* PR sanitizer/64344 */
/* { dg-do compile } */
/* { dg-options "-fsanitize=float-cast-overflow" } */

int
foo (float x)
{
  return __builtin_log ((double ) x);
}