gcc/testsuite/gcc.dg/analyzer/torture/pr93647.c

/* { dg-skip-if "" { *-*-* } { "-fno-fat-lto-objects" } { "" } } */

int *tz;

void
ky (int);

void
wd (void)
{
  tz = 0;
  ky (*tz); /* { dg-warning "dereference of NULL" } */
}