[Bug ada/52222] New: 4.6.2 (x86_64-pc-linux-gnu) Assert_Failure sinfo.adb:2947

[nicolas.boulenguez at free dot fr]

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

             Bug #: 52222
           Summary: 4.6.2 (x86_64-pc-linux-gnu) Assert_Failure
                    sinfo.adb:2947
    Classification: Unclassified
           Product: gcc
           Version: 4.6.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: ada
        AssignedTo: unassig...@gcc.gnu.org
        ReportedBy: nicolas.bouleng...@free.fr


Toggled with gnatmake bug.adb (-gnat2012 does not change much).

procedure Bug is
   B : Boolean;
   Suffix : String
     := (case B is when False => Boolean'Image (B),
        when True => "");
begin
   null;
end Bug;