Kevin Schoedel <schoedel@kw.igs.net> writes:

> Consequently the compiler is free to treat this as if it were:
> 
> 	foo(p);
> 	bar(*p);
> 
> But if foo() is free(), *p might no longer exist at all.

But the behaviour of this program, even without foo beeing const
void*, is undefined.

/Johan