Hello,
maybe similar to Why GCC_ARM and ARMC6 show different flash and RAM usage for same program on same hardware? - Mbed CLI - Arm Mbed OS support forum
BR, Jan