strict-aliasing and typedefs

[Gabriel Dos Reis]

Brad Lucier <lucier@math.purdue.edu> writes:

| > As I understand it, he would like an object-based non-alias
| > optimization, I believe restrict is a good candidate.
| 
| Well, actually, I think I would have many things that point to the heap,
| and perhaps several things that point to the stack (but that's not clear
| in my mind, perhaps every access to the stack would go through the stack
| pointer).

If sp and hp do not point simultaneously to the same object, then
restrict should help -- if GCC does not honor then we should improve
GCC :-).

-- Gaby