I was able to simplify things a bit further. If you build a simple executable file with the TI ARM compiler then try to disassemble it with GCC ARM objdump -S, the objdump tool crashes. It remains unclear whether this is a problem with the TI tools or the GCC tools. I filed SDSCM00049805 in the SDOWP system to have this investigated. Feel free to follow it with the SDOWP link below in my signature.
Thanks and regards,
-George