http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56588
Bug #: 56588
Summary: gnatmake crash with incorrect SAL GPR
Classification: Unclassified
Product: gcc
Version: 4.8.0
Status: UNCONFIRMED
Severity: minor
Priority: P3
Component: ada
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: si...@pushface.org
Created attachment 29634
--> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29634
Demonstrator
If a SAL GPR mistakenly includes the name of a separate body in the
Library_Interface, gnatmake crashes with a SEGV.
This problem is present in at least GNAT GPL 2012, GCC 4.7.0, and GCC 4.8.0
20130309 (experimental) [trunk revision 196573].
Using the attached demonstrator (source.tar.gz),
$ gnatmake -f -p -P source
gcc -c -fPIC -I- -gnatA /Users/simon/tmp/gnatmake-bug/source.adb
gnatbind -n -o b~source.adb -Lsource -a ...
gcc -c -gnatws b~source.adb -fPIC
building dynamic library for project source
gcc -dynamiclib -o /Users/simon/tmp/gnatmake-bug/lib//libsource.dylib ...
/Users/simon/tmp/gnatmake-bug/.build/b~source.o ...
Segmentation fault: 11
I've attached a patch, but you may not like the reporting style. With the
patch, the result is
$ gnatmake -f -p -P source
gcc -c -fPIC -I- -gnatA /Users/simon/tmp/gnatmake-bug/source.adb
gnatbind -n -o b~source.adb -Lsource -a ...
gcc -c -gnatws b~source.adb -fPIC
building dynamic library for project source
gcc -dynamiclib -o /Users/simon/tmp/gnatmake-bug/lib//libsource.dylib ...
/Users/simon/tmp/gnatmake-bug/.build/b~source.o ...
gnatmake: source-proc.ali not found (source may be subunit?)
