------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-06
23:24 -------
Here is a C example which is not undefined:
void bar(int*);
int foo1(void);
int baz()
{
int i, j, *p = &i, k, k1 = 0;
if (foo1()) p = &j;
if (k1)
{
*p = 0 ;
p = &k;
}
bar(p);
return *p;
}-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18291
