Xilinx SDK profiling, Ошибка при попытке профилировки Опции

[gazpar]

Приветствую!

Возникает ошибка при профилировании достаточно большого baremetal приложения Zynq(A9) + 1Gb DDR3(прошивка весит около 14Мб) с помощью gprof'а.

Сообщение об ошибке:

Код

ERROR: can't read "rc": no such variable

Гуглинг выдает ссылку на форум Xilinx с темой, где такая же ошибка. Но ответов там нету. Собственно просьба подсказать решение, может кто сталкивался уже с подобным. Версия Xilinx SDK 2016.4

Если сделать простое тестовое приложение на том же hardware, то профилирование штатно отрабатывает. Также с большой прошивкой отрабатывает TCF профилирование.

И попутный вопрос, каким образом можно вытащить текстовые данные из TCF профилировщика? И возможно ли это в принципе?

Заранее благодарю за помощь!

[gazpar]

В общем, исследования довели до такого результата: подобная ошибка возникает, к примеру, при использовании <*stream> библиотек на cpp. Неисключено, что и другие либы могут вызвать подобные ошибки.

PS: может будет кому полезно в будущем.