(root)/
gcc-13.2.0/
gcc/
testsuite/
gcc.dg/
analyzer/
malloc-5.c
       1  #include <stdlib.h>
       2  
       3  void test (void)
       4  {
       5    void *p = malloc (sizeof (int));
       6    if (!p)
       7      return;
       8    int *q = p;
       9    if (!q)
      10      return;
      11    free (q);
      12  }