strict-aliasing and typedefs

[Brad Lucier]

I've read the documentation and done a google and gcc search, but
I still have this question.

If I have the typedefs and variables

typedef int stackslot;
typedef int heapslot;

stackslot *sp;
heapslot *hp;

then can sp and hp point to the same location in memory with
ISO C's aliasing rules?  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.

Brad