[Bug ada/59853] New: gnatmake cannot build a library

[Bug ada/59853] New: gnatmake cannot build a library

[sylvain.laperche at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59853

            Bug ID: 59853
           Summary: gnatmake cannot build a library
           Product: gcc
           Version: 4.8.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
          Assignee: unassigned at gcc dot gnu.org
          Reporter: sylvain.laperche at gmail dot com

Created attachment 31863
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=31863&action=edit
hello.adb and hello.ads as input for gnatchop

When I try to build a library using gnatmake with a .gpr file, I always ends
with the following error:
> End of compilation
> Exception name: SYSTEM.ASSERTIONS.ASSERT_FAILURE
> Message: namet.adb:655
>
> gnatmake: INTERNAL ERROR. Please report

Additionnal information:
# gcc -v

Utilisation des specs internes.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-unknown-linux-gnu/4.8.2/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configuré avec: /build/gcc-multilib/src/gcc-4.8-20131219/configure
--prefix=/usr --libdir=/usr/lib --libexecdir=/usr/lib --mandir=/usr/share/man
--infodir=/usr/share/info --with-bugurl=https://bugs.archlinux.org/
--enable-languages=c,c++,ada,fortran,go,lto,objc,obj-c++ --enable-shared
--enable-threads=posix --with-system-zlib --enable-__cxa_atexit
--disable-libunwind-exceptions --enable-clocale=gnu --disable-libstdcxx-pch
--disable-libssp --enable-gnu-unique-object --enable-linker-build-id
--enable-cloog-backend=isl --disable-cloog-version-check --enable-lto
--enable-plugin --enable-install-libiberty --with-linker-hash-style=gnu
--enable-multilib --disable-werror --enable-checking=release
Modèle de thread: posix
gcc version 4.8.2 20131219 (prerelease) (GCC)


System type: Archlinux x86_64
Options when GCC was configured/built: See gcc -v


# Command line

% gnatmake -v -Phello

Parsing project file "hello".
 8 lines: No errors

Parsing of project file "hello" is finished.
Adding source directory
"/home/grim7reaper/Documents/Developpements/Ada/simple_lib/src/".
Adding object directory
"/home/grim7reaper/Documents/Developpements/Ada/simple_lib/obj/".
Adding "hello.adb" as if on the command line

GNATMAKE 4.8.2 20131219 (prerelease)
Copyright (C) 1995-2013, Free Software Foundation, Inc.
Changing to object directory of "Hello":
"/home/grim7reaper/Documents/Developpements/Ada/simple_lib/obj/"
Library file does not exist for project "hello"
Main source file: "hello.adb".
Created configuration file
"/home/grim7reaper/Documents/Developpements/Ada/simple_lib/obj/GNAT-TEMP-000001.TMP"
  "hello.ali" being checked ...
  -> "hello.ali" missing.
gcc -c -I- -gnatA
/home/grim7reaper/Documents/Developpements/Ada/simple_lib/src/hello.adb
End of compilation
Exception name: SYSTEM.ASSERTIONS.ASSERT_FAILURE
Message: namet.adb:655

gnatmake: INTERNAL ERROR. Please report.


Expected behavior: build a static library libhello.a in the lib directory.

Actual behavior:
> Internal compiler error:
> Exception name: SYSTEM.ASSERTIONS.ASSERT_FAILURE
> Message: namet.adb:655
>
> gnatmake: INTERNAL ERROR. Please report.

Please find in attachments a minimal set of source files for reproducing the
bug.


The .gpr file used only contains the following lines:
library project Hello is
   for Library_Name use "hello";
   for Languages    use ("Ada");
   for Source_Dirs  use ("src");
   for Library_Dir  use "lib";
   for Object_Dir   use "obj";
   for Library_Kind use "static";
end Hello;
>From gcc-bugs-return-440659-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Fri Jan 17 05:50:02 2014
Return-Path: <gcc-bugs-return-440659-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 8485 invoked by alias); 17 Jan 2014 05:50:01 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 8450 invoked by uid 48); 17 Jan 2014 05:49:57 -0000
From: "terry.guo at arm dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/59826] ICE caused by mishandling PLD rtx on ARM cortex-m4 target
Date: Fri, 17 Jan 2014 05:50:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 4.8.3
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: terry.guo at arm dot com
X-Bugzilla-Status: RESOLVED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags:
X-Bugzilla-Changed-Fields: bug_status resolution
Message-ID: <bug-59826-4-3t0tqBO4pW@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-59826-4@http.gcc.gnu.org/bugzilla/>
References: <bug-59826-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 7bit
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
X-SW-Source: 2014-01/txt/msg01801.txt.bz2
Content-length: 524

http://gcc.gnu.org/bugzilla/show_bug.cgi?idY826

Terry Guo <terry.guo at arm dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
         Resolution|---                         |FIXED

--- Comment #2 from Terry Guo <terry.guo at arm dot com> ---
Forgot to mention PR number in my commit. This issue is fixed by
http://gcc.gnu.org/ml/gcc-cvs/2014-01/msg00436.html.

[Bug ada/59853] gnatmake cannot build a library

[ebotcazou at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59853

Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |WAITING
   Last reconfirmed|                            |2014-01-17
                 CC|                            |ebotcazou at gcc dot gnu.org
     Ever confirmed|0                           |1

--- Comment #1 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
This works fine here:

eric@polaris:~> gnatmake -v -Phello

Parsing project file "hello".
 8 lines: No errors

Parsing of project file "hello" is finished.
Adding source directory "/home/eric/src/".
Adding object directory "/home/eric/obj/".
Adding "hello.adb" as if on the command line

GNATMAKE 4.8.3 20140111 (prerelease) [gcc-4_8-branch revision 206552]
Copyright (C) 1995-2013, Free Software Foundation, Inc.
Changing to object directory of "Hello": "/home/eric/obj/"
Library file does not exist for project "hello"
Main source file: "hello.adb".
TMPDIR = "/tmp"
Created configuration file "/tmp/GNAT-TEMP-000001.TMP"
  "hello.ali" being checked ...
  -> "hello.ali" missing.
gcc -c -I- -gnatA /home/eric/src/hello.adb
End of compilation

building static library for project hello

object files:
   /home/eric/obj/hello.o

ALI files:
   /home/eric/obj/hello.ali

building a library...
   make hello
found /home/eric/install/gcc-4_8-branch//bin/ar
found /home/eric/install/gcc-4_8-branch//bin/ranlib
could not delete /home/eric/lib/libhello.a
ar cr /home/eric/lib/libhello.a /home/eric/obj/hello.o
ranlib /home/eric/lib/libhello.a
Copying "/home/eric/obj/hello.ali" to "/home/eric/lib/"
eric@polaris:~> gcc -v
Using built-in specs.
COLLECT_GCC=gcc
COLLECT_LTO_WRAPPER=/home/eric/install/gcc-4_8-branch/lib/gcc/x86_64-suse-linux/4.8.3/lto-wrapper
Target: x86_64-suse-linux
Configured with: /home/eric/svn/gcc-4_8-branch/configure
--build=x86_64-suse-linux --prefix=/home/eric/install/gcc-4_8-branch
--enable-languages=c,c++,objc,obj-c++,java,fortran,ada --enable-__cxa_atexit
--disable-nls --disable-libmudflap
Thread model: posix
gcc version 4.8.3 20140111 (prerelease) [gcc-4_8-branch revision 206552] (GCC)

eric@polaris:~> cat hello.gpr
project Hello is
   for Library_Name use "hello";
   for Languages    use ("Ada");
   for Source_Dirs  use ("src");
   for Library_Dir  use "lib";
   for Object_Dir   use "obj";
   for Library_Kind use "static";
end Hello;


Try to configure the compiler with --disable-nls.

[Bug ada/59853] gnatmake cannot build a library

[sylvain.laperche at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59853

--- Comment #2 from Sylvain Laperche <sylvain.laperche at gmail dot com> ---
Thank you for you reply.

It seems that you use the version 4.8.3, I use the one provided by the
repository of my distribution (4.8.2). Maybe it is the reason of the difference
in the behavior.

I'll try the version 4.8.3 to see if the issue remains.
I will also try to recompile the 4.8.2 with --disable-nls to see if it makes a
difference.

To retrieve the 4.8.3 source code, I need use SVN or there is a tarball
available (I found one for the 4.8.2, but not for the 4.8.3)?

[Bug ada/59853] gnatmake cannot build a library

[ebotcazou at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59853

--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
> It seems that you use the version 4.8.3, I use the one provided by the
> repository of my distribution (4.8.2). Maybe it is the reason of the
> difference in the behavior.

Very likely not, this has always worked for me.

> To retrieve the 4.8.3 source code, I need use SVN or there is a tarball
> available (I found one for the 4.8.2, but not for the 4.8.3)?

There must be a weekly snapshot for 4.8.x in the FTP repository.

[Bug ada/59853] gnatmake cannot build a library

[charlet at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59853

Arnaud Charlet <charlet at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|WAITING                     |RESOLVED
                 CC|                            |charlet at gcc dot gnu.org
         Resolution|---                         |INVALID

--- Comment #6 from Arnaud Charlet <charlet at gcc dot gnu.org> ---
Not having libgnat.a around is unexpected from gnatmake's point of view, so it
cannot be considered as a bug, or rather, a bug in the linux distrib.

Arno