STR71x with GCC ?

nobody wrote on Monday, January 30, 2006:

Hi John (Barry :-),

I found that the IRQ stack pointer increases by four on every call of:
void vNonPreemptiveTick( void ) __attribute__ ((interrupt ("IRQ")));
So it grows in the wrong direction, upwards!
Is there a special compiler option to use (
I tried -mno-apcs-frame and the opposite)?
I tried with gcc 4.0.1 and 3.4.3.

Joerg