--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/gcc/testsuite/gcc.dg/analyzer/malloc-5.c Mon May 25 07:50:57 2020 +0900 @@ -0,0 +1,12 @@ +#include <stdlib.h> + +void test (void) +{ + void *p = malloc (sizeof (int)); + if (!p) + return; + int *q = p; + if (!q) + return; + free (q); +}