------- Comment #1 from laurent at guerby dot net 2008-12-04 10:52 ------- Confirmed that it works with 4.2.4 but fails with 4.3.2 and trunk on x86_64-linux at least.
gcc version 4.4.0 20081118 (experimental) [trunk revision 141967] (GCC) $ gcc -c pkg.adb /tmp/ccF1O7nh.s: Assembler messages: /tmp/ccF1O7nh.s:86: Error: symbol `pkg__foo__T3scc___U' is already defined -- laurent at guerby dot net changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |laurent at guerby dot net Status|UNCONFIRMED |NEW Ever Confirmed|0 |1 Keywords| |link-failure Known to fail| |4.3.2 Known to work| |4.2.4 Last reconfirmed|0000-00-00 00:00:00 |2008-12-04 10:52:06 date| | Summary|clashing assembler symbols |[4.3/4.4 regression] | |clashing assembler symbols http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38394