------- 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
