HalCoGen 4.03.00 & GCC

Hello, I report problem with GCC compiler and _c_int00 here e2e.ti.com/support/microcontrollers/hercules/f/312/t/392386

In 4.03.00 it is changed, but in wrong way.

Here is code from HalCoGen (without comments)

void _c_int00(void) __attribute__ ((noreturn, __target__("arm")));
__attribute__ ((naked))
void _c_int00(void)
{
   ..........

And here is fixed code

void _c_int00() __attribute__ ((naked, noreturn));
void _c_int00(void)
{
  ..........

Problems are:

• __target__("arm") is not valid option (GCC 4.9.) and it is not needed, thumb code work without problem
• __attribute__ ((naked)) is at wrong position. It is possible compile, but it not work