------- Comment #5 from zsojka at seznam dot cz 2010-06-09 11:02 ------- The testcase also fails when it is changed to:
... { extern void *bar(void) __attribute__((malloc)); int **pp = bar(), *p = bar(); ... so there isn't any access through NULL pointer. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=44393