[Bug ada/56331] New: Gnatprep returns zero on error.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56331 Bug #: 56331 Summary: Gnatprep returns zero on error. Classification: Unclassified Product: gcc Version: 4.8.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassig...@gcc.gnu.org ReportedBy: bj...@xn--rombobjrn-67a.se Created attachment 29457 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=29457 proposed fix When Gnatprep encounters errors in its input it deems its output file worthless and deletes it, but returns an exit code of zero. It should return a nonzero value so that it can function correctly in scripts and makefiles.
[Bug ada/56055] New: Delete_File won't delete special files
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56055 Bug #: 56055 Summary: Delete_File won't delete special files Classification: Unclassified Product: gcc Version: 4.7.2 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada AssignedTo: unassig...@gcc.gnu.org ReportedBy: bj...@xn--rombobjrn-67a.se According to the Ada Reference Manual, Ada.Directories.Delete_File "deletes an existing ordinary or special file", that is any kind of file except a directory. Libgnat's implementation refuses to delete a socket (at least on GNU/Linux), claiming falsely that the socket doesn't exist. A more correct approach would be to check first that the file isn't a directory, then call unlink, and if unlink fails then check errno to see whether Name_Error or Use_Error should be raised. (To really do the right thing, fetch the error string with strerror_r and include it in the exception message.) Looking through a-direct.adb I see that several subprograms call Is_Regular_File, and I suspect that most of them will fail in the presence of special files. Rename for example should probably call File_Exists instead of Is_Regular_File and Is_Directory.
[Bug ada/81424] [7 regression] internal error on GPRbuild with -O2
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81424 --- Comment #3 from Björn Persson --- Well it is permissible to change the compilation options if there is a really good reason. If another optimization level works around the bug, then I think we can append for example -O1 until the bug is fixed.
[Bug ada/49337] New: Improve Gnatmake to work without static libraries.
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=49337 Summary: Improve Gnatmake to work without static libraries. Product: gcc Version: 4.6.0 Status: UNCONFIRMED Severity: enhancement Priority: P3 Component: ada AssignedTo: unassig...@gcc.gnu.org ReportedBy: bj...@xn--rombobjrn-67a.se Created attachment 24469 --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=24469 one possible way of making Gnatmake work with either shared or static libraries The maintainers of GCC in Fedora have split out libgnat.a and libgnarl.a to a separate subpackage which is by default not installed together with the Gnat tools. (Fedora has a policy to use only shared libraries as much as possible.) This causes Gnatmake to crash when it tries to find the directory that contains libgnat by looking for libgnat.a and the file isn't there. Could we have Gnatmake improved to also look for libgnat.so if it doesn't find libgnat.a, so that it can work with only shared libraries installed?
