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

["sylvain.laperche at gmail dot com" <gcc-bugzilla@gcc.gnu.org>]

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.