I'd expect the GCC4TI developers to treat any source code you send to them for debugging purposes in a strictly confidential way. The TIGCC Team definitely does. So copyright should not be an issue.