gcc/testsuite/c-c++-common/analyzer/data-model-path-1.c

#include <stddef.h>

static int *__attribute__((noinline))
callee (void)
{
  return NULL; /* { dg-message "using NULL here" } */
}

void test_1 (void)
{
  int *p = callee (); /* { dg-message "return of NULL to 'test_1' from 'callee'" } */
  *p = 42; /* { dg-warning "dereference of NULL 'p'" } */
}