1 of 1 people found this helpful
That certainly sounds like unexpected behavior. If you are currently evaluating Sourcery CodeBench or have a subscription under support please file an issue in the support portal: http://sourcery.mentor.com. Be sure to mention the version of CodeBench being used and attach the static library project per these instructions here https://sourcery.mentor.com/GNUToolchain/.
Thanks. I've filed an issue with the IDE version and a zip of the project.