DISCO-F413ZH - Idle thread stack overflow in debug build on Mbed OS 5.9

[janjongboom]

Description

Mbed OS 5.9.0 (rev 03196b2) on the DISCO-F413ZH, running blinky. I've defined MBED_TICKLESS, MBED_CPU_STATS_ENABLED and MBED_HEAP_STATS_ENABLED. Build this with debug profile and run. After ~10 seconds a stack overflow triggers on the idle thread:

++ MbedOS Error Info ++
Error Status: 0x80020125 Code: 293 Module: 2
Error Message: CMSIS-RTOS error: Stack overflow
Location: 0x8002559
Error Value: 0x1
Current Thread: Id: 0x20001180 Entry: 0x8003e69 StackSize: 0x200 StackMem: 0x20001210 SP: 0x2004fed8 
-- MbedOS Error Info --

(verified with nm that this is the idle thread)

Issue request type

[ ] Question
[ ] Enhancement
[X] Bug

[janjongboom]

Disabled the stats, and it still overflows. But now a bit later (~15 seconds). Disabling tickless solves the issue.

[ciarmcom]

ARM Internal Ref: MBOTRIAGE-760

[0xc0170]

@ARMmbed/team-st-mcd Please review

[LMESTM]

@0xc0170 @janjongboom
reproduced as well on DISCO_L475VG_IOT01A. With debug profile and cpu stats activated. On GCC and ARM toolchains. Problem disappears when moving to release profile.
Is this ST specific ?

[LMESTM]

@janjongboom
I've posted #7241 to hopefully solve the issue. This fixed it for DISCO_L475VG_IOT01A
Would you check with your F413 DISCO board as well ?

[LMESTM]

Just noticed a similar issue reported on another target: #7222

[janjongboom]

@cmonr This cannot be closed. The issue is still persistent with mbed-os-example-wifi, see the PR.