gcc/testsuite/gcc.dg/analyzer/pr93290.c

#include <math.h>

int test_1 (void)
{
  float foo = 42.;
  if (isnan (foo))
    return 1;
  return 0;
}