strict-aliasing and typedefs

[Gabriel Dos Reis]

Fergus Henderson <fjh@cs.mu.OZ.AU> writes:

[...]

| > I'm wondering if a Scheme->C compiler
| > can use typedefs and ISO C's aliasing rules to tell gcc that certain
| > memory locations cannot alias each other.
| 
| I don't think so.
| 
| You might be able to do it using single-member structs instead of typedefs;
| but doing that might inhibit some of GCC's other optimizations.

This might be an occasion to use the restrict keyword.

-- Gaby