"Любой GCC, ARMC да даже мертворожденное убожество от C-Sky (W806 - которое вы так хвалили) при компиляции в настройках компилятора просто ставим поддержку отладки и, спокойно отлаживаем, отладили выбираем Release в соответсвующих настройках."
И как же переключить "в настройках компилятора"...