unwind pproblem with gdb with FPU used

Hi,

I try to get the unwinding function in GDB working when using hard FPU in a cortex-m4 (stm32f4) MCU.

I have a small test that enable the systick timer.

volatile unsigned t = 0;
void SysTick_Handler()
{
t++;
}

int main(void)
{

     enableSystickTimer();

volatile float x = 1.5;
  while(1)
  {
    x *=2;
  }
}

If I set a breakpoint in the systicHandler, I don't see the complete calling stack. If I remove the float operation in the code, I can now see the complete calling stack in gdb.

right now to test this, I use openocd as gdb server + gdb (gdb-py) on windows platform.

I have tried it with other tools like (emBitz, archlinux) and all of them have the same problem.

Is it possible to have a complete unwinding on exception with FPU set to hard floating point ?

regards

Jonathan