RE: [Gcl-devel] Gcc 3.4 and GCL

[Mike Thomas]

Hi Camm.

Thanks for the idea.

| /* setjmp does not lay down the other register windows registers,
|    and so we must recurse some to make sure that all registers are
|    forced onto the stack.
| */
| #define N_RECURSION_REQD 8
|
| You might try increasing this just for interest sake.  In fact, I
| might also on hppa, where all opts greater than -O0 prevent an acl2
| build with very similar filename corrpution symptoms.  In you case,
| though, we see this with -g only, so this expalnation does not look
| likely.

And your expectation has been fulfilled.  I'm pursuing the idea that it
might be a simple field overwrite by more careful insertion of dummy struct
fields.

Cheers

Mike Thomas.