I am using GCC 3.2.1 for an Operating Systems course at CMU;
We're using a lot of inline assembly, and I discovered some flagrantly 
incorrect GCC output in argument passing for functions.
Specifically, writing arguments before function calls is apparently not 
flagged to rely on the value of %esp.

Please see the attached almost-minimal test-case for an example.


Bryan Mills