Symbol #define/#undef in C6x 7.0.0B4 compiler under EABI

This is a bug report for the C6x 7.0.0B4 compiler with EABI.

Take the following program tests.c:

#undef foo
void foo(void)
{
}

Compile it with the C6x 7.0.0B4 compiler by:

cl6x.exe -c --symdebug:none -dfoo=bar -mv6400+ --abi=eabi test.c

Display object file symbols by:

nm6x.exe test.obj

The display is as follows:

00000000 u
00000000 t .text
00000000 a 0276811
00000000 T bar

Obviosly the symbol foo has been renamed to bar, which should not happen.

The assembly output contains the correct symbol foo:. Probably when compiling
the compiler is submitting a hidden -ad option to the assembler.

BTW, the same issue pertains to the TMS470 compiler with EABI.