[llvm-commits] [llvm-gcc-4.2] r49444 - in /llvm-gcc-4.2/trunk/gcc/ada: atree.adb comperr.adb einfo.adb exp_ch5.adb exp_ch6.adb exp_disp.adb exp_dist.adb exp_util.adb freeze.adb get_targ.adb gnatbind.adb init.c krunch.adb lib-util.adb namet.adb nlists.adb osint.adb par-ch3.adb par-util.adb rtsfind.adb scng.adb sem_cat.adb sem_ch3.adb sem_ch6.adb sem_elab.adb sem_maps.adb sem_maps.ads sem_res.adb sem_type.adb sem_util.adb sprint.adb uintp.adb

Duncan Sands baldrick at free.fr
Wed Apr 9 12:32:06 PDT 2008


Author: baldrick
Date: Wed Apr  9 14:32:05 2008
New Revision: 49444

URL: http://llvm.org/viewvc/llvm-project?rev=49444&view=rev
Log:
Make the Ada front-end buildable by GNAT GPL 2006
and GNAT GPL 2007.

Modified:
    llvm-gcc-4.2/trunk/gcc/ada/atree.adb
    llvm-gcc-4.2/trunk/gcc/ada/comperr.adb
    llvm-gcc-4.2/trunk/gcc/ada/einfo.adb
    llvm-gcc-4.2/trunk/gcc/ada/exp_ch5.adb
    llvm-gcc-4.2/trunk/gcc/ada/exp_ch6.adb
    llvm-gcc-4.2/trunk/gcc/ada/exp_disp.adb
    llvm-gcc-4.2/trunk/gcc/ada/exp_dist.adb
    llvm-gcc-4.2/trunk/gcc/ada/exp_util.adb
    llvm-gcc-4.2/trunk/gcc/ada/freeze.adb
    llvm-gcc-4.2/trunk/gcc/ada/get_targ.adb
    llvm-gcc-4.2/trunk/gcc/ada/gnatbind.adb
    llvm-gcc-4.2/trunk/gcc/ada/init.c
    llvm-gcc-4.2/trunk/gcc/ada/krunch.adb
    llvm-gcc-4.2/trunk/gcc/ada/lib-util.adb
    llvm-gcc-4.2/trunk/gcc/ada/namet.adb
    llvm-gcc-4.2/trunk/gcc/ada/nlists.adb
    llvm-gcc-4.2/trunk/gcc/ada/osint.adb
    llvm-gcc-4.2/trunk/gcc/ada/par-ch3.adb
    llvm-gcc-4.2/trunk/gcc/ada/par-util.adb
    llvm-gcc-4.2/trunk/gcc/ada/rtsfind.adb
    llvm-gcc-4.2/trunk/gcc/ada/scng.adb
    llvm-gcc-4.2/trunk/gcc/ada/sem_cat.adb
    llvm-gcc-4.2/trunk/gcc/ada/sem_ch3.adb
    llvm-gcc-4.2/trunk/gcc/ada/sem_ch6.adb
    llvm-gcc-4.2/trunk/gcc/ada/sem_elab.adb
    llvm-gcc-4.2/trunk/gcc/ada/sem_maps.adb
    llvm-gcc-4.2/trunk/gcc/ada/sem_maps.ads
    llvm-gcc-4.2/trunk/gcc/ada/sem_res.adb
    llvm-gcc-4.2/trunk/gcc/ada/sem_type.adb
    llvm-gcc-4.2/trunk/gcc/ada/sem_util.adb
    llvm-gcc-4.2/trunk/gcc/ada/sprint.adb
    llvm-gcc-4.2/trunk/gcc/ada/uintp.adb

Modified: llvm-gcc-4.2/trunk/gcc/ada/atree.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/atree.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/atree.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/atree.adb Wed Apr  9 14:32:05 2008
@@ -504,7 +504,8 @@
 
    function Analyzed (N : Node_Id) return Boolean is
    begin
-      pragma Assert (N in Nodes.First .. Nodes.Last);
+      --  LLVM local
+      pragma Assert (N <= Nodes.Last);
       return Nodes.Table (N).Analyzed;
    end Analyzed;
 
@@ -544,7 +545,8 @@
 
    function Comes_From_Source (N : Node_Id) return Boolean is
    begin
-      pragma Assert (N in Nodes.First .. Nodes.Last);
+      --  LLVM local
+      pragma Assert (N <= Nodes.Last);
       return Nodes.Table (N).Comes_From_Source;
    end Comes_From_Source;
 
@@ -819,7 +821,8 @@
 
    function Error_Posted (N : Node_Id) return Boolean is
    begin
-      pragma Assert (N in Nodes.First .. Nodes.Last);
+      --  LLVM local
+      pragma Assert (N <= Nodes.Last);
       return Nodes.Table (N).Error_Posted;
    end Error_Posted;
 
@@ -2082,7 +2085,8 @@
       C : Paren_Count_Type := 0;
 
    begin
-      pragma Assert (N in Nodes.First .. Nodes.Last);
+      --  LLVM local
+      pragma Assert (N <= Nodes.Last);
 
       if Nodes.Table (N).Pflag1 then
          C := C + 1;
@@ -2270,7 +2274,8 @@
 
    procedure Set_Comes_From_Source (N : Node_Id; Val : Boolean) is
    begin
-      pragma Assert (N in Nodes.First .. Nodes.Last);
+      --  LLVM local
+      pragma Assert (N <= Nodes.Last);
       Nodes.Table (N).Comes_From_Source := Val;
    end Set_Comes_From_Source;
 
@@ -2521,31 +2526,36 @@
 
       function Field1 (N : Node_Id) return Union_Id is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Field1;
       end Field1;
 
       function Field2 (N : Node_Id) return Union_Id is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Field2;
       end Field2;
 
       function Field3 (N : Node_Id) return Union_Id is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Field3;
       end Field3;
 
       function Field4 (N : Node_Id) return Union_Id is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Field4;
       end Field4;
 
       function Field5 (N : Node_Id) return Union_Id is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Field5;
       end Field5;
 
@@ -2683,31 +2693,36 @@
 
       function Node1 (N : Node_Id) return Node_Id is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Node_Id (Nodes.Table (N).Field1);
       end Node1;
 
       function Node2 (N : Node_Id) return Node_Id is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Node_Id (Nodes.Table (N).Field2);
       end Node2;
 
       function Node3 (N : Node_Id) return Node_Id is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Node_Id (Nodes.Table (N).Field3);
       end Node3;
 
       function Node4 (N : Node_Id) return Node_Id is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Node_Id (Nodes.Table (N).Field4);
       end Node4;
 
       function Node5 (N : Node_Id) return Node_Id is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Node_Id (Nodes.Table (N).Field5);
       end Node5;
 
@@ -2845,31 +2860,36 @@
 
       function List1 (N : Node_Id) return List_Id is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return List_Id (Nodes.Table (N).Field1);
       end List1;
 
       function List2 (N : Node_Id) return List_Id is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return List_Id (Nodes.Table (N).Field2);
       end List2;
 
       function List3 (N : Node_Id) return List_Id is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return List_Id (Nodes.Table (N).Field3);
       end List3;
 
       function List4 (N : Node_Id) return List_Id is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return List_Id (Nodes.Table (N).Field4);
       end List4;
 
       function List5 (N : Node_Id) return List_Id is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return List_Id (Nodes.Table (N).Field5);
       end List5;
 
@@ -2886,7 +2906,8 @@
       end List14;
 
       function Elist2 (N : Node_Id) return Elist_Id is
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Value : constant Union_Id := Nodes.Table (N).Field2;
       begin
          if Value = 0 then
@@ -2897,7 +2918,8 @@
       end Elist2;
 
       function Elist3 (N : Node_Id) return Elist_Id is
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Value : constant Union_Id := Nodes.Table (N).Field3;
       begin
          if Value = 0 then
@@ -2908,7 +2930,8 @@
       end Elist3;
 
       function Elist4 (N : Node_Id) return Elist_Id is
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Value : constant Union_Id := Nodes.Table (N).Field4;
       begin
          if Value = 0 then
@@ -3008,24 +3031,28 @@
 
       function Name1 (N : Node_Id) return Name_Id is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Name_Id (Nodes.Table (N).Field1);
       end Name1;
 
       function Name2 (N : Node_Id) return Name_Id is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Name_Id (Nodes.Table (N).Field2);
       end Name2;
 
       function Str3 (N : Node_Id) return String_Id is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return String_Id (Nodes.Table (N).Field3);
       end Str3;
 
       function Uint2 (N : Node_Id) return Uint is
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          U : constant Union_Id := Nodes.Table (N).Field2;
       begin
          if U = 0 then
@@ -3036,7 +3063,8 @@
       end Uint2;
 
       function Uint3 (N : Node_Id) return Uint is
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          U : constant Union_Id := Nodes.Table (N).Field3;
       begin
          if U = 0 then
@@ -3047,7 +3075,8 @@
       end Uint3;
 
       function Uint4 (N : Node_Id) return Uint is
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          U : constant Union_Id := Nodes.Table (N).Field4;
       begin
          if U = 0 then
@@ -3058,7 +3087,8 @@
       end Uint4;
 
       function Uint5 (N : Node_Id) return Uint is
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          U : constant Union_Id := Nodes.Table (N).Field5;
       begin
          if U = 0 then
@@ -3191,7 +3221,8 @@
 
       function Ureal3 (N : Node_Id) return Ureal is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return From_Union (Nodes.Table (N).Field3);
       end Ureal3;
 
@@ -3209,91 +3240,106 @@
 
       function Flag4 (N : Node_Id) return Boolean is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Flag4;
       end Flag4;
 
       function Flag5 (N : Node_Id) return Boolean is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Flag5;
       end Flag5;
 
       function Flag6 (N : Node_Id) return Boolean is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Flag6;
       end Flag6;
 
       function Flag7 (N : Node_Id) return Boolean is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Flag7;
       end Flag7;
 
       function Flag8 (N : Node_Id) return Boolean is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Flag8;
       end Flag8;
 
       function Flag9 (N : Node_Id) return Boolean is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Flag9;
       end Flag9;
 
       function Flag10 (N : Node_Id) return Boolean is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Flag10;
       end Flag10;
 
       function Flag11 (N : Node_Id) return Boolean is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Flag11;
       end Flag11;
 
       function Flag12 (N : Node_Id) return Boolean is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Flag12;
       end Flag12;
 
       function Flag13 (N : Node_Id) return Boolean is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Flag13;
       end Flag13;
 
       function Flag14 (N : Node_Id) return Boolean is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Flag14;
       end Flag14;
 
       function Flag15 (N : Node_Id) return Boolean is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Flag15;
       end Flag15;
 
       function Flag16 (N : Node_Id) return Boolean is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Flag16;
       end Flag16;
 
       function Flag17 (N : Node_Id) return Boolean is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Flag17;
       end Flag17;
 
       function Flag18 (N : Node_Id) return Boolean is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          return Nodes.Table (N).Flag18;
       end Flag18;
 
@@ -4481,37 +4527,43 @@
 
       procedure Set_Nkind (N : Node_Id; Val : Node_Kind) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Nkind := Val;
       end Set_Nkind;
 
       procedure Set_Field1 (N : Node_Id; Val : Union_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field1 := Val;
       end Set_Field1;
 
       procedure Set_Field2 (N : Node_Id; Val : Union_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field2 := Val;
       end Set_Field2;
 
       procedure Set_Field3 (N : Node_Id; Val : Union_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field3 := Val;
       end Set_Field3;
 
       procedure Set_Field4 (N : Node_Id; Val : Union_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field4 := Val;
       end Set_Field4;
 
       procedure Set_Field5 (N : Node_Id; Val : Union_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field5 := Val;
       end Set_Field5;
 
@@ -4649,31 +4701,36 @@
 
       procedure Set_Node1 (N : Node_Id; Val : Node_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field1 := Union_Id (Val);
       end Set_Node1;
 
       procedure Set_Node2 (N : Node_Id; Val : Node_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field2 := Union_Id (Val);
       end Set_Node2;
 
       procedure Set_Node3 (N : Node_Id; Val : Node_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field3 := Union_Id (Val);
       end Set_Node3;
 
       procedure Set_Node4 (N : Node_Id; Val : Node_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field4 := Union_Id (Val);
       end Set_Node4;
 
       procedure Set_Node5 (N : Node_Id; Val : Node_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field5 := Union_Id (Val);
       end Set_Node5;
 
@@ -4811,31 +4868,36 @@
 
       procedure Set_List1 (N : Node_Id; Val : List_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field1 := Union_Id (Val);
       end Set_List1;
 
       procedure Set_List2 (N : Node_Id; Val : List_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field2 := Union_Id (Val);
       end Set_List2;
 
       procedure Set_List3 (N : Node_Id; Val : List_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field3 := Union_Id (Val);
       end Set_List3;
 
       procedure Set_List4 (N : Node_Id; Val : List_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field4 := Union_Id (Val);
       end Set_List4;
 
       procedure Set_List5 (N : Node_Id; Val : List_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field5 := Union_Id (Val);
       end Set_List5;
 
@@ -4916,43 +4978,50 @@
 
       procedure Set_Name1 (N : Node_Id; Val : Name_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field1 := Union_Id (Val);
       end Set_Name1;
 
       procedure Set_Name2 (N : Node_Id; Val : Name_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field2 := Union_Id (Val);
       end Set_Name2;
 
       procedure Set_Str3 (N : Node_Id; Val : String_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field3 := Union_Id (Val);
       end Set_Str3;
 
       procedure Set_Uint2 (N : Node_Id; Val : Uint) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field2 := To_Union (Val);
       end Set_Uint2;
 
       procedure Set_Uint3 (N : Node_Id; Val : Uint) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field3 := To_Union (Val);
       end Set_Uint3;
 
       procedure Set_Uint4 (N : Node_Id; Val : Uint) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field4 := To_Union (Val);
       end Set_Uint4;
 
       procedure Set_Uint5 (N : Node_Id; Val : Uint) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field5 := To_Union (Val);
       end Set_Uint5;
 
@@ -5024,7 +5093,8 @@
 
       procedure Set_Ureal3 (N : Node_Id; Val : Ureal) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Field3 := To_Union (Val);
       end Set_Ureal3;
 
@@ -5042,91 +5112,106 @@
 
       procedure Set_Flag4 (N : Node_Id; Val : Boolean) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Flag4 := Val;
       end Set_Flag4;
 
       procedure Set_Flag5 (N : Node_Id; Val : Boolean) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Flag5 := Val;
       end Set_Flag5;
 
       procedure Set_Flag6 (N : Node_Id; Val : Boolean) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Flag6 := Val;
       end Set_Flag6;
 
       procedure Set_Flag7 (N : Node_Id; Val : Boolean) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Flag7 := Val;
       end Set_Flag7;
 
       procedure Set_Flag8 (N : Node_Id; Val : Boolean) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Flag8 := Val;
       end Set_Flag8;
 
       procedure Set_Flag9 (N : Node_Id; Val : Boolean) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Flag9 := Val;
       end Set_Flag9;
 
       procedure Set_Flag10 (N : Node_Id; Val : Boolean) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Flag10 := Val;
       end Set_Flag10;
 
       procedure Set_Flag11 (N : Node_Id; Val : Boolean) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Flag11 := Val;
       end Set_Flag11;
 
       procedure Set_Flag12 (N : Node_Id; Val : Boolean) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Flag12 := Val;
       end Set_Flag12;
 
       procedure Set_Flag13 (N : Node_Id; Val : Boolean) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Flag13 := Val;
       end Set_Flag13;
 
       procedure Set_Flag14 (N : Node_Id; Val : Boolean) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Flag14 := Val;
       end Set_Flag14;
 
       procedure Set_Flag15 (N : Node_Id; Val : Boolean) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Flag15 := Val;
       end Set_Flag15;
 
       procedure Set_Flag16 (N : Node_Id; Val : Boolean) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Flag16 := Val;
       end Set_Flag16;
 
       procedure Set_Flag17 (N : Node_Id; Val : Boolean) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Flag17 := Val;
       end Set_Flag17;
 
       procedure Set_Flag18 (N : Node_Id; Val : Boolean) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          Nodes.Table (N).Flag18 := Val;
       end Set_Flag18;
 
@@ -6570,42 +6655,48 @@
 
       procedure Set_Node1_With_Parent (N : Node_Id; Val : Node_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          if Val > Error then Set_Parent (Val, N); end if;
          Set_Node1 (N, Val);
       end Set_Node1_With_Parent;
 
       procedure Set_Node2_With_Parent (N : Node_Id; Val : Node_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          if Val > Error then Set_Parent (Val, N); end if;
          Set_Node2 (N, Val);
       end Set_Node2_With_Parent;
 
       procedure Set_Node3_With_Parent (N : Node_Id; Val : Node_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          if Val > Error then Set_Parent (Val, N); end if;
          Set_Node3 (N, Val);
       end Set_Node3_With_Parent;
 
       procedure Set_Node4_With_Parent (N : Node_Id; Val : Node_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          if Val > Error then Set_Parent (Val, N); end if;
          Set_Node4 (N, Val);
       end Set_Node4_With_Parent;
 
       procedure Set_Node5_With_Parent (N : Node_Id; Val : Node_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          if Val > Error then Set_Parent (Val, N); end if;
          Set_Node5 (N, Val);
       end Set_Node5_With_Parent;
 
       procedure Set_List1_With_Parent (N : Node_Id; Val : List_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          if Val /= No_List and then Val /= Error_List then
             Set_Parent (Val, N);
          end if;
@@ -6614,7 +6705,8 @@
 
       procedure Set_List2_With_Parent (N : Node_Id; Val : List_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          if Val /= No_List and then Val /= Error_List then
             Set_Parent (Val, N);
          end if;
@@ -6623,7 +6715,8 @@
 
       procedure Set_List3_With_Parent (N : Node_Id; Val : List_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          if Val /= No_List and then Val /= Error_List then
             Set_Parent (Val, N);
          end if;
@@ -6632,7 +6725,8 @@
 
       procedure Set_List4_With_Parent (N : Node_Id; Val : List_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          if Val /= No_List and then Val /= Error_List then
             Set_Parent (Val, N);
          end if;
@@ -6641,7 +6735,8 @@
 
       procedure Set_List5_With_Parent (N : Node_Id; Val : List_Id) is
       begin
-         pragma Assert (N in Nodes.First .. Nodes.Last);
+         --  LLVM local
+         pragma Assert (N <= Nodes.Last);
          if Val /= No_List and then Val /= Error_List then
             Set_Parent (Val, N);
          end if;

Modified: llvm-gcc-4.2/trunk/gcc/ada/comperr.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/comperr.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/comperr.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/comperr.adb Wed Apr  9 14:32:05 2008
@@ -174,15 +174,18 @@
 
             begin
                for P in 40 .. 69 loop
-                  if X (P) = ' ' then
+                  --  LLVM local
+                  if X (X'First + P - 1) = ' ' then
                      Last_Blank := P;
                   end if;
                end loop;
 
-               Write_Str (X (1 .. Last_Blank));
+               --  LLVM local
+               Write_Str (X (X'First .. X'First + Last_Blank - 1));
                End_Line;
                Write_Str ("|    ");
-               Write_Str (X (Last_Blank + 1 .. X'Length));
+               --  LLVM local
+               Write_Str (X (X'First + Last_Blank .. X'Last));
             end;
          else
             Write_Str (X);

Modified: llvm-gcc-4.2/trunk/gcc/ada/einfo.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/einfo.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/einfo.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/einfo.adb Wed Apr  9 14:32:05 2008
@@ -6243,7 +6243,7 @@
          end loop;
       end if;
 
-      raise Program_Error;
+      --  LLVM local deleted unreachable line
    end Root_Type;
 
    -----------------

Modified: llvm-gcc-4.2/trunk/gcc/ada/exp_ch5.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/exp_ch5.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/exp_ch5.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/exp_ch5.adb Wed Apr  9 14:32:05 2008
@@ -165,7 +165,8 @@
       --  This switch is set to True if the array move must be done using
       --  an explicit front end generated loop.
 
-      procedure Apply_Dereference (Arg : in out Node_Id);
+      --  LLVM local
+      procedure Apply_Dereference (Arg : Node_Id);
       --  If the argument is an access to an array, and the assignment is
       --  converted into a procedure call, apply explicit dereference.
 
@@ -188,7 +189,8 @@
       -- Apply_Dereference --
       -----------------------
 
-      procedure Apply_Dereference (Arg : in out Node_Id) is
+      --  LLVM local
+      procedure Apply_Dereference (Arg : Node_Id) is
          Typ : constant Entity_Id := Etype (Arg);
       begin
          if Is_Access_Type (Typ) then

Modified: llvm-gcc-4.2/trunk/gcc/ada/exp_ch6.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/exp_ch6.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/exp_ch6.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/exp_ch6.adb Wed Apr  9 14:32:05 2008
@@ -623,7 +623,8 @@
                            Low_Bound  =>
                              Make_Attribute_Reference (Loc,
                                Prefix => New_Occurrence_Of (Var, Loc),
-                               Attribute_name => Name_First),
+               --  LLVM local
+                               Attribute_Name => Name_First),
                            High_Bound =>
                              Make_Attribute_Reference (Loc,
                                Prefix => New_Occurrence_Of (Var, Loc),
@@ -2478,7 +2479,8 @@
                      end loop;
 
                      while Present (Next (Temp)) loop
-                        Discard := Remove_Next (Temp);
+                        --  LLVM local
+                        Remove (Next (Temp));
                      end loop;
                   end if;
 

Modified: llvm-gcc-4.2/trunk/gcc/ada/exp_disp.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/exp_disp.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/exp_disp.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/exp_disp.adb Wed Apr  9 14:32:05 2008
@@ -4762,7 +4762,8 @@
       --  Protect this procedure against wrong usage. Required because it will
       --  be used directly from GDB
 
-      if not (Typ in First_Node_Id .. Last_Node_Id)
+      --  LLVM local
+      if not (Typ <= Last_Node_Id)
         or else not Is_Tagged_Type (Typ)
       then
          Write_Str ("wrong usage: Write_DT must be used with tagged types");

Modified: llvm-gcc-4.2/trunk/gcc/ada/exp_dist.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/exp_dist.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/exp_dist.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/exp_dist.adb Wed Apr  9 14:32:05 2008
@@ -8342,7 +8342,8 @@
                                  Build_From_Any_Call (Etype (Field),
                                    Build_Get_Aggregate_Element (Loc,
                                      Any => Any,
-                                     Tc  => Build_TypeCode_Call (Loc,
+                           --  LLVM local
+                                     TC  => Build_TypeCode_Call (Loc,
                                               Etype (Field), Decls),
                                      Idx => Make_Integer_Literal (Loc,
                                               Counter)),
@@ -8382,7 +8383,8 @@
                                       Parameter_Associations => New_List (
                                         Build_Get_Aggregate_Element (Loc,
                                           Any => Any,
-                                          Tc  => Make_Function_Call (Loc,
+                                          --  LLVM local
+                                          TC  => Make_Function_Call (Loc,
                                             Name => New_Occurrence_Of (
                                               RTE (RE_Any_Member_Type), Loc),
                                             Parameter_Associations =>
@@ -8461,7 +8463,8 @@
                                     Build_From_Any_Call (Etype (Disc),
                                       Build_Get_Aggregate_Element (Loc,
                                         Any => Any_Parameter,
-                                        Tc  => Build_TypeCode_Call
+                              --  LLVM local
+                                        TC  => Build_TypeCode_Call
                                                  (Loc, Etype (Disc), Decls),
                                         Idx => Make_Integer_Literal
                                                  (Loc, Component_Counter)),
@@ -8544,7 +8547,8 @@
                      Element_Any : constant Node_Id :=
                        Build_Get_Aggregate_Element (Loc,
                          Any => Any,
-                         Tc  => Build_TypeCode_Call (Loc,
+                     --  LLVM local
+                         TC  => Build_TypeCode_Call (Loc,
                                   Etype (Datum), Decls),
                          Idx => New_Occurrence_Of (Counter, Loc));
 
@@ -8633,7 +8637,8 @@
                                    Indt,
                                    Build_Get_Aggregate_Element (Loc,
                                      Any => Any_Parameter,
-                                     Tc  => Build_TypeCode_Call (Loc,
+                           --  LLVM local
+                                     TC  => Build_TypeCode_Call (Loc,
                                               Indt, Decls),
                                      Idx => Make_Integer_Literal (Loc, J - 1)),
                                    Decls)));

Modified: llvm-gcc-4.2/trunk/gcc/ada/exp_util.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/exp_util.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/exp_util.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/exp_util.adb Wed Apr  9 14:32:05 2008
@@ -91,8 +91,10 @@
        Pos    : out Entity_Id;
        Prefix : Entity_Id;
        Sum    : Node_Id;
-       Decls  : in out List_Id;
-       Stats  : in out List_Id);
+   --  LLVM local begin
+       Decls  : List_Id;
+       Stats  : List_Id);
+   --  LLVM local end
    --  Common processing for Task_Array_Image and Task_Record_Image.
    --  Create local variables and assign prefix of name to result string.
 
@@ -402,8 +404,10 @@
       T : Entity_Id;
       --  Entity for name at one index position
 
-      Decls : List_Id := New_List;
-      Stats : List_Id := New_List;
+      --  LLVM local begin
+      Decls : constant List_Id := New_List;
+      Stats : constant List_Id := New_List;
+      --  LLVM local end
 
    begin
       Pref := Make_Defining_Identifier (Loc, New_Internal_Name ('P'));
@@ -708,8 +712,10 @@
        Pos    : out Entity_Id;
        Prefix : Entity_Id;
        Sum    : Node_Id;
-       Decls  : in out List_Id;
-       Stats  : in out List_Id)
+   --  LLVM local begin
+       Decls  : List_Id;
+       Stats  : List_Id)
+   --  LLVM local end
    is
    begin
       Len := Make_Defining_Identifier (Loc, New_Internal_Name ('L'));
@@ -804,8 +810,10 @@
       Sel : Entity_Id;
       --  Entity for selector name
 
-      Decls : List_Id := New_List;
-      Stats : List_Id := New_List;
+      --  LLVM local begin
+      Decls : constant List_Id := New_List;
+      Stats : constant List_Id := New_List;
+      --  LLVM local end
 
    begin
       Pref := Make_Defining_Identifier (Loc, New_Internal_Name ('P'));

Modified: llvm-gcc-4.2/trunk/gcc/ada/freeze.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/freeze.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/freeze.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/freeze.adb Wed Apr  9 14:32:05 2008
@@ -1086,7 +1086,8 @@
          New_N :=
            Make_Object_Declaration (Loc,
              Defining_Identifier => Temp,
-             Object_definition => New_Occurrence_Of (Typ, Loc),
+         --  LLVM local
+             Object_Definition => New_Occurrence_Of (Typ, Loc),
              Expression => Relocate_Node (E));
          Insert_Before (Parent (E), New_N);
          Analyze (New_N);
@@ -4707,8 +4708,11 @@
             return True;
          end;
 
-      else return not Is_Private_Type (T)
-        or else Present (Full_View (Base_Type (T)));
+      --  LLVM local begin
+      else
+         return not Is_Private_Type (T)
+           or else Present (Full_View (Base_Type (T)));
+      --  LLVM local end
       end if;
    end Is_Fully_Defined;
 

Modified: llvm-gcc-4.2/trunk/gcc/ada/get_targ.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/get_targ.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/get_targ.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/get_targ.adb Wed Apr  9 14:32:05 2008
@@ -32,11 +32,18 @@
 
    function Digits_From_Size (Size : Pos) return Pos is
    begin
-      if    Size =  32 then return  6;
-      elsif Size =  48 then return  9;
-      elsif Size =  64 then return 15;
-      elsif Size =  96 then return 18;
-      elsif Size = 128 then return 18;
+      --  LLVM local begin
+      if    Size =  32 then
+         return  6;
+      elsif Size =  48 then
+         return  9;
+      elsif Size =  64 then
+         return 15;
+      elsif Size =  96 then
+         return 18;
+      elsif Size = 128 then
+         return 18;
+      --  LLVM local end
       else
          raise Program_Error;
       end if;
@@ -48,10 +55,16 @@
 
    function Width_From_Size  (Size : Pos) return Pos is
    begin
-      if    Size =  8 then return  4;
-      elsif Size = 16 then return  6;
-      elsif Size = 32 then return 11;
-      elsif Size = 64 then return 21;
+      --  LLVM local begin
+      if    Size =  8 then
+         return  4;
+      elsif Size = 16 then
+         return  6;
+      elsif Size = 32 then
+         return 11;
+      elsif Size = 64 then
+         return 21;
+      --  LLVM local end
       else
          raise Program_Error;
       end if;

Modified: llvm-gcc-4.2/trunk/gcc/ada/gnatbind.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/gnatbind.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/gnatbind.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/gnatbind.adb Wed Apr  9 14:32:05 2008
@@ -206,6 +206,8 @@
    -------------------
 
    procedure Scan_Bind_Arg (Argv : String) is
+      --  LLVM local
+      pragma Assert (Argv'First = 1);
    begin
       --  Now scan arguments that are specific to the binder and are not
       --  handled by the common circuitry in Switch.

Modified: llvm-gcc-4.2/trunk/gcc/ada/init.c
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/init.c?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/init.c (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/init.c Wed Apr  9 14:32:05 2008
@@ -95,6 +95,11 @@
 char  __gl_locking_policy           = ' ';
 char  __gl_queuing_policy           = ' ';
 char  __gl_task_dispatching_policy  = ' ';
+/* LLVM local begin */
+char *__gl_priority_specific_dispatching          __attribute__ ((__weak__)) = 0;
+int   __gl_num_specific_dispatching               __attribute__ ((__weak__)) = 0;
+int   system__restrictions__run_time_restrictions __attribute__ ((__weak__)) = 0;
+/* LLVM local end */
 char *__gl_restrictions             = 0;
 char *__gl_interrupt_states         = 0;
 int   __gl_num_interrupt_states     = 0;

Modified: llvm-gcc-4.2/trunk/gcc/ada/krunch.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/krunch.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/krunch.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/krunch.adb Wed Apr  9 14:32:05 2008
@@ -40,6 +40,9 @@
    No_Predef : Boolean)
 
 is
+   --  LLVM local
+   pragma Assert (Buffer'First = 1);
+
    B1       : Character renames Buffer (1);
    Curlen   : Natural;
    Krlen    : Natural;

Modified: llvm-gcc-4.2/trunk/gcc/ada/lib-util.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/lib-util.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/lib-util.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/lib-util.adb Wed Apr  9 14:32:05 2008
@@ -75,10 +75,12 @@
    --  Start of processing for Write_Info_Char_Code
 
    begin
-      if Code in 16#00# .. 16#7F# then
+      --  LLVM local
+      if Code <= 16#7F# then
          Write_Info_Char (Character'Val (Code));
 
-      elsif Code in 16#80# .. 16#FF# then
+      --  LLVM local
+      elsif Code <= 16#FF# then
          Write_Info_Char ('U');
          Write_Info_Hex_Byte (Natural (Code));
 

Modified: llvm-gcc-4.2/trunk/gcc/ada/namet.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/namet.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/namet.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/namet.adb Wed Apr  9 14:32:05 2008
@@ -149,7 +149,8 @@
 
             else
                Write_Str ("Hash_Table (");
-               Write_Int (Int (J));
+               --  LLVM local
+               Write_Int (J);
                Write_Str (") has ");
 
                declare

Modified: llvm-gcc-4.2/trunk/gcc/ada/nlists.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/nlists.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/nlists.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/nlists.adb Wed Apr  9 14:32:05 2008
@@ -293,7 +293,8 @@
       if List = No_List then
          return Empty;
       else
-         pragma Assert (List in First_List_Id .. Lists.Last);
+         --  LLVM local
+         pragma Assert (List <= Lists.Last);
          return Lists.Table (List).First;
       end if;
    end First;
@@ -619,7 +620,8 @@
 
    function Last (List : List_Id) return Node_Id is
    begin
-      pragma Assert (List in First_List_Id .. Lists.Last);
+      --  LLVM local
+      pragma Assert (List <= Lists.Last);
       return Lists.Table (List).Last;
    end Last;
 
@@ -1017,7 +1019,8 @@
 
    function Parent (List : List_Id) return Node_Id is
    begin
-      pragma Assert (List in First_List_Id .. Lists.Last);
+      --  LLVM local
+      pragma Assert (List <= Lists.Last);
       return Lists.Table (List).Parent;
    end Parent;
 
@@ -1344,7 +1347,8 @@
 
    procedure Set_Parent (List : List_Id; Node : Node_Id) is
    begin
-      pragma Assert (List in First_List_Id .. Lists.Last);
+      --  LLVM local
+      pragma Assert (List <= Lists.Last);
       Lists.Table (List).Parent := Node;
    end Set_Parent;
 

Modified: llvm-gcc-4.2/trunk/gcc/ada/osint.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/osint.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/osint.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/osint.adb Wed Apr  9 14:32:05 2008
@@ -2124,6 +2124,8 @@
 
       Status : Boolean;
       --  For the call to Close
+      --  LLVM local
+      pragma Warnings (Off, Status);
 
    begin
       Current_Full_Source_Name  := Find_File (N, T);

Modified: llvm-gcc-4.2/trunk/gcc/ada/par-ch3.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/par-ch3.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/par-ch3.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/par-ch3.adb Wed Apr  9 14:32:05 2008
@@ -4334,6 +4334,8 @@
 
    procedure Skip_Declaration (S : List_Id) is
       Dummy_Done : Boolean;
+      --  LLVM local
+      pragma Warnings (Off, Dummy_Done);
 
    begin
       P_Declarative_Items (S, Dummy_Done, False);

Modified: llvm-gcc-4.2/trunk/gcc/ada/par-util.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/par-util.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/par-util.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/par-util.adb Wed Apr  9 14:32:05 2008
@@ -61,7 +61,8 @@
       end if;
 
       for J in S'Range loop
-         S (J) := Fold_Lower (Tname (Integer (J) + 4));
+         --  LLVM local
+         S (J) := Fold_Lower (Tname (J + 4));
       end loop;
 
       Get_Name_String (Token_Name);

Modified: llvm-gcc-4.2/trunk/gcc/ada/rtsfind.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/rtsfind.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/rtsfind.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/rtsfind.adb Wed Apr  9 14:32:05 2008
@@ -1062,7 +1062,8 @@
          --  Bump count of violations if we are in configurable run-time
          --  mode and this is not a continuation message.
 
-         if Configurable_Run_Time_Mode and then Msg (1) /= '\' then
+         --  LLVM local
+         if Configurable_Run_Time_Mode and then Msg (Msg'First) /= '\' then
             Configurable_Run_Time_Violations :=
               Configurable_Run_Time_Violations + 1;
          end if;

Modified: llvm-gcc-4.2/trunk/gcc/ada/scng.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/scng.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/scng.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/scng.adb Wed Apr  9 14:32:05 2008
@@ -477,7 +477,7 @@
          UI_Int_Value := Uint_0;
          Scale := 0;
          Scan_Integer;
-         Scale := 0;
+         --  LLVM local deleted one line
          Point_Scanned := False;
          UI_Num_Value := UI_Int_Value;
 
@@ -1140,7 +1140,11 @@
          --  Horizontal tab, just skip past it
 
          when HT =>
-            if Style_Check then Style.Check_HT; end if;
+            --  LLVM local begin
+            if Style_Check then
+               Style.Check_HT;
+            end if;
+            --  LLVM local end
             Scan_Ptr := Scan_Ptr + 1;
 
          --  End of file character, treated as an end of file only if it is
@@ -1149,7 +1153,11 @@
          when EOF =>
             if Scan_Ptr = Source_Last (Current_Source_File) then
                Check_End_Of_Line;
-               if Style_Check then Style.Check_EOF; end if;
+               --  LLVM local begin
+               if Style_Check then
+                  Style.Check_EOF;
+               end if;
+               --  LLVM local end
                Token := Tok_EOF;
                return;
             else
@@ -1199,7 +1207,11 @@
 
             if Double_Char_Token ('=') then
                Token := Tok_Colon_Equal;
-               if Style_Check then Style.Check_Colon_Equal; end if;
+               --  LLVM local begin
+               if Style_Check then
+                  Style.Check_Colon_Equal;
+               end if;
+               --  LLVM local end
                return;
 
             elsif Source (Scan_Ptr + 1) = '-'
@@ -1213,7 +1225,11 @@
             else
                Scan_Ptr := Scan_Ptr + 1;
                Token := Tok_Colon;
-               if Style_Check then Style.Check_Colon; end if;
+               --  LLVM local begin
+               if Style_Check then
+                  Style.Check_Colon;
+               end if;
+               --  LLVM local end
                return;
             end if;
 
@@ -1223,7 +1239,11 @@
             Accumulate_Checksum ('(');
             Scan_Ptr := Scan_Ptr + 1;
             Token := Tok_Left_Paren;
-            if Style_Check then Style.Check_Left_Paren; end if;
+            --  LLVM local begin
+            if Style_Check then
+               Style.Check_Left_Paren;
+            end if;
+            --  LLVM local end
             return;
 
          --  Left bracket
@@ -1253,7 +1273,11 @@
             Accumulate_Checksum (',');
             Scan_Ptr := Scan_Ptr + 1;
             Token := Tok_Comma;
-            if Style_Check then Style.Check_Comma; end if;
+            --  LLVM local begin
+            if Style_Check then
+               Style.Check_Comma;
+            end if;
+            --  LLVM local end
             return;
 
          --  Dot, which is either an isolated period, or part of a double dot
@@ -1265,7 +1289,11 @@
 
             if Double_Char_Token ('.') then
                Token := Tok_Dot_Dot;
-               if Style_Check then Style.Check_Dot_Dot; end if;
+               --  LLVM local begin
+               if Style_Check then
+                  Style.Check_Dot_Dot;
+               end if;
+               --  LLVM local end
                return;
 
             elsif Source (Scan_Ptr + 1) in '0' .. '9' then
@@ -1286,7 +1314,11 @@
 
             if Double_Char_Token ('>') then
                Token := Tok_Arrow;
-               if Style_Check then Style.Check_Arrow; end if;
+               --  LLVM local begin
+               if Style_Check then
+                  Style.Check_Arrow;
+               end if;
+               --  LLVM local end
                return;
 
             elsif Source (Scan_Ptr + 1) = '=' then
@@ -1331,7 +1363,11 @@
 
             elsif Double_Char_Token ('>') then
                Token := Tok_Box;
-               if Style_Check then Style.Check_Box; end if;
+               --  LLVM local begin
+               if Style_Check then
+                  Style.Check_Box;
+               end if;
+               --  LLVM local end
                return;
 
             elsif Double_Char_Token ('<') then
@@ -1363,7 +1399,11 @@
             --  Comment
 
             else -- Source (Scan_Ptr + 1) = '-' then
-               if Style_Check then Style.Check_Comment; end if;
+               --  LLVM local begin
+               if Style_Check then
+                  Style.Check_Comment;
+               end if;
+               --  LLVM local end
                Scan_Ptr := Scan_Ptr + 2;
 
                --  If we are in preprocessor mode with Replace_In_Comments set,
@@ -1409,7 +1449,11 @@
                   --  Keep going if horizontal tab
 
                   if Source (Scan_Ptr) = HT then
-                     if Style_Check then Style.Check_HT; end if;
+                     --  LLVM local begin
+                     if Style_Check then
+                        Style.Check_HT;
+                     end if;
+                     --  LLVM local end
                      Scan_Ptr := Scan_Ptr + 1;
 
                   --  Terminate scan of comment if line terminator
@@ -1543,7 +1587,11 @@
                or else Prev_Token in Token_Class_Literal
             then
                Token := Tok_Apostrophe;
-               if Style_Check then Style.Check_Apostrophe; end if;
+               --  LLVM local begin
+               if Style_Check then
+                  Style.Check_Apostrophe;
+               end if;
+               --  LLVM local end
                return;
 
             --  Otherwise the apostrophe starts a character literal
@@ -1648,7 +1696,11 @@
             Accumulate_Checksum (')');
             Scan_Ptr := Scan_Ptr + 1;
             Token := Tok_Right_Paren;
-            if Style_Check then Style.Check_Right_Paren; end if;
+            --  LLVM local begin
+            if Style_Check then
+               Style.Check_Right_Paren;
+            end if;
+            --  LLVM local end
             return;
 
          --  Right bracket or right brace, treated as right paren
@@ -1679,7 +1731,11 @@
             Accumulate_Checksum (';');
             Scan_Ptr := Scan_Ptr + 1;
             Token := Tok_Semicolon;
-            if Style_Check then Style.Check_Semicolon; end if;
+            --  LLVM local begin
+            if Style_Check then
+               Style.Check_Semicolon;
+            end if;
+            --  LLVM local end
             return;
 
          --  Vertical bar
@@ -1698,7 +1754,11 @@
             else
                Scan_Ptr := Scan_Ptr + 1;
                Token := Tok_Vertical_Bar;
-               if Style_Check then Style.Check_Vertical_Bar; end if;
+               --  LLVM local begin
+               if Style_Check then
+                  Style.Check_Vertical_Bar;
+               end if;
+               --  LLVM local end
                return;
             end if;
          end Vertical_Bar_Case;
@@ -2385,7 +2445,11 @@
          --  Outer loop keeps going only if a horizontal tab follows
 
          if Source (Scan_Ptr) = HT then
-            if Style_Check then Style.Check_HT; end if;
+            --  LLVM local begin
+            if Style_Check then
+               Style.Check_HT;
+            end if;
+            --  LLVM local end
             Scan_Ptr := Scan_Ptr + 1;
             Start_Column := (Start_Column / 8) * 8 + 8;
          else

Modified: llvm-gcc-4.2/trunk/gcc/ada/sem_cat.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/sem_cat.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/sem_cat.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/sem_cat.adb Wed Apr  9 14:32:05 2008
@@ -1565,8 +1565,9 @@
          --  If we have a true dereference that comes from source and that
          --  is a controlling argument for a dispatching call, accept it.
 
-         if K = N_Explicit_Dereference
-           and then Is_Actual_Parameter (N)
+         --  LLVM local begin
+         if Is_Actual_Parameter (N)
+         --  LLVM local end
            and then Is_Controlling_Actual (N)
          then
             return;

Modified: llvm-gcc-4.2/trunk/gcc/ada/sem_ch3.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/sem_ch3.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/sem_ch3.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/sem_ch3.adb Wed Apr  9 14:32:05 2008
@@ -12723,7 +12723,7 @@
                Ancestor := Etype (Ancestor);
             end loop;
 
-            return True;
+            --  LLVM local deleted unreachable line
          end;
       end if;
    end Is_Visible_Component;

Modified: llvm-gcc-4.2/trunk/gcc/ada/sem_ch6.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/sem_ch6.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/sem_ch6.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/sem_ch6.adb Wed Apr  9 14:32:05 2008
@@ -2388,7 +2388,8 @@
          --  Remove last character (question mark) to make this into an error,
          --  because the Inline_Always pragma cannot be obeyed.
 
-         Error_Msg_NE (Msg (1 .. Msg'Length - 1), N, Subp);
+         --  LLVM local
+         Error_Msg_NE (Msg (Msg'First .. Msg'Last - 1), N, Subp);
 
       elsif Ineffective_Inline_Warnings then
          Error_Msg_NE (Msg, N, Subp);
@@ -2999,6 +3000,8 @@
       Err_Loc : Node_Id := Empty)
    is
       Result : Boolean;
+      --  LLVM local
+      pragma Warnings (Off, Result);
    begin
       Check_Conformance
         (New_Id, Old_Id, Fully_Conformant, True, Result, Err_Loc);
@@ -3015,6 +3018,8 @@
       Get_Inst : Boolean := False)
    is
       Result : Boolean;
+      --  LLVM local
+      pragma Warnings (Off, Result);
 
    begin
       Check_Conformance
@@ -3480,6 +3485,8 @@
       Err_Loc : Node_Id := Empty)
    is
       Result : Boolean;
+      --  LLVM local
+      pragma Warnings (Off, Result);
    begin
       Check_Conformance
         (New_Id, Old_Id, Subtype_Conformant, True, Result, Err_Loc);
@@ -3495,6 +3502,8 @@
       Err_Loc : Node_Id := Empty)
    is
       Result : Boolean;
+      --  LLVM local
+      pragma Warnings (Off, Result);
    begin
       Check_Conformance
         (New_Id, Old_Id, Type_Conformant, True, Result, Err_Loc);

Modified: llvm-gcc-4.2/trunk/gcc/ada/sem_elab.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/sem_elab.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/sem_elab.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/sem_elab.adb Wed Apr  9 14:32:05 2008
@@ -2824,7 +2824,7 @@
          end if;
       end loop;
 
-      raise Program_Error;
+      --  LLVM local deleted unreachable line
    end Within;
 
    --------------------------

Modified: llvm-gcc-4.2/trunk/gcc/ada/sem_maps.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/sem_maps.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/sem_maps.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/sem_maps.adb Wed Apr  9 14:32:05 2008
@@ -55,7 +55,8 @@
    ---------------------
 
    procedure Add_Association
-     (M    : in out Map;
+   --  LLVM local
+     (M    : Map;
       O_Id : Entity_Id;
       N_Id : Entity_Id;
       Kind : Scope_Kind := S_Local)
@@ -318,7 +319,8 @@
    ------------------------
 
    procedure Update_Association
-     (M    : in out Map;
+   --  LLVM local
+     (M    : Map;
       O_Id : Entity_Id;
       N_Id : Entity_Id;
       Kind : Scope_Kind := S_Local)

Modified: llvm-gcc-4.2/trunk/gcc/ada/sem_maps.ads
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/sem_maps.ads?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/sem_maps.ads (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/sem_maps.ads Wed Apr  9 14:32:05 2008
@@ -64,14 +64,16 @@
    --  Retrieve image of E under M, Empty if undefined
 
    procedure Add_Association
-     (M    : in out Map;
+   --  LLVM local
+     (M    : Map;
       O_Id : Entity_Id;
       N_Id : Entity_Id;
       Kind : Scope_Kind := S_Local);
    --  Update M in place. On entry M (O_Id) must not be defined
 
    procedure Update_Association
-     (M    : in out Map;
+   --  LLVM local
+     (M    : Map;
       O_Id : Entity_Id;
       N_Id : Entity_Id;
       Kind : Scope_Kind := S_Local);

Modified: llvm-gcc-4.2/trunk/gcc/ada/sem_res.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/sem_res.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/sem_res.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/sem_res.adb Wed Apr  9 14:32:05 2008
@@ -1363,23 +1363,42 @@
 
    begin
       if Is_Binary then
-         if    Op_Name =  Name_Op_And      then Kind := N_Op_And;
-         elsif Op_Name =  Name_Op_Or       then Kind := N_Op_Or;
-         elsif Op_Name =  Name_Op_Xor      then Kind := N_Op_Xor;
-         elsif Op_Name =  Name_Op_Eq       then Kind := N_Op_Eq;
-         elsif Op_Name =  Name_Op_Ne       then Kind := N_Op_Ne;
-         elsif Op_Name =  Name_Op_Lt       then Kind := N_Op_Lt;
-         elsif Op_Name =  Name_Op_Le       then Kind := N_Op_Le;
-         elsif Op_Name =  Name_Op_Gt       then Kind := N_Op_Gt;
-         elsif Op_Name =  Name_Op_Ge       then Kind := N_Op_Ge;
-         elsif Op_Name =  Name_Op_Add      then Kind := N_Op_Add;
-         elsif Op_Name =  Name_Op_Subtract then Kind := N_Op_Subtract;
-         elsif Op_Name =  Name_Op_Concat   then Kind := N_Op_Concat;
-         elsif Op_Name =  Name_Op_Multiply then Kind := N_Op_Multiply;
-         elsif Op_Name =  Name_Op_Divide   then Kind := N_Op_Divide;
-         elsif Op_Name =  Name_Op_Mod      then Kind := N_Op_Mod;
-         elsif Op_Name =  Name_Op_Rem      then Kind := N_Op_Rem;
-         elsif Op_Name =  Name_Op_Expon    then Kind := N_Op_Expon;
+         --  LLVM local begin
+         if    Op_Name =  Name_Op_And      then
+            Kind := N_Op_And;
+         elsif Op_Name =  Name_Op_Or       then
+            Kind := N_Op_Or;
+         elsif Op_Name =  Name_Op_Xor      then
+            Kind := N_Op_Xor;
+         elsif Op_Name =  Name_Op_Eq       then
+            Kind := N_Op_Eq;
+         elsif Op_Name =  Name_Op_Ne       then
+            Kind := N_Op_Ne;
+         elsif Op_Name =  Name_Op_Lt       then
+            Kind := N_Op_Lt;
+         elsif Op_Name =  Name_Op_Le       then
+            Kind := N_Op_Le;
+         elsif Op_Name =  Name_Op_Gt       then
+            Kind := N_Op_Gt;
+         elsif Op_Name =  Name_Op_Ge       then
+            Kind := N_Op_Ge;
+         elsif Op_Name =  Name_Op_Add      then
+            Kind := N_Op_Add;
+         elsif Op_Name =  Name_Op_Subtract then
+            Kind := N_Op_Subtract;
+         elsif Op_Name =  Name_Op_Concat   then
+            Kind := N_Op_Concat;
+         elsif Op_Name =  Name_Op_Multiply then
+            Kind := N_Op_Multiply;
+         elsif Op_Name =  Name_Op_Divide   then
+            Kind := N_Op_Divide;
+         elsif Op_Name =  Name_Op_Mod      then
+            Kind := N_Op_Mod;
+         elsif Op_Name =  Name_Op_Rem      then
+            Kind := N_Op_Rem;
+         elsif Op_Name =  Name_Op_Expon    then
+            Kind := N_Op_Expon;
+         --  LLVM local end
          else
             raise Program_Error;
          end if;
@@ -1387,10 +1406,16 @@
       --  Unary operators
 
       else
-         if    Op_Name =  Name_Op_Add      then Kind := N_Op_Plus;
-         elsif Op_Name =  Name_Op_Subtract then Kind := N_Op_Minus;
-         elsif Op_Name =  Name_Op_Abs      then Kind := N_Op_Abs;
-         elsif Op_Name =  Name_Op_Not      then Kind := N_Op_Not;
+         --  LLVM local begin
+         if    Op_Name =  Name_Op_Add      then
+            Kind := N_Op_Plus;
+         elsif Op_Name =  Name_Op_Subtract then
+            Kind := N_Op_Minus;
+         elsif Op_Name =  Name_Op_Abs      then
+            Kind := N_Op_Abs;
+         elsif Op_Name =  Name_Op_Not      then
+            Kind := N_Op_Not;
+         --  LLVM local end
          else
             raise Program_Error;
          end if;

Modified: llvm-gcc-4.2/trunk/gcc/ada/sem_type.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/sem_type.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/sem_type.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/sem_type.adb Wed Apr  9 14:32:05 2008
@@ -2254,8 +2254,10 @@
       then
          return False;
 
-      else return
-        Is_Numeric_Type (T)
+      --  LLVM local begin
+      else
+         return Is_Numeric_Type (T)
+      --  LLVM local end
           and then not In_Open_Scopes (Scope (T))
           and then not Is_Potentially_Use_Visible (T)
           and then not In_Use (T)

Modified: llvm-gcc-4.2/trunk/gcc/ada/sem_util.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/sem_util.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/sem_util.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/sem_util.adb Wed Apr  9 14:32:05 2008
@@ -1130,7 +1130,8 @@
 
          --  Message is a warning, even in Ada 95 case
 
-         if Msg (Msg'Length) = '?' then
+         --  LLVM local
+         if Msg (Msg'Last) = '?' then
             Wmsg := True;
 
          --  In Ada 83, all messages are warnings. In the private part and
@@ -3835,7 +3836,7 @@
          end loop;
       end if;
 
-      raise Program_Error;
+      --  LLVM local deleted unreachable line
    end Is_Descendent_Of;
 
    ------------------------------

Modified: llvm-gcc-4.2/trunk/gcc/ada/sprint.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/sprint.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/sprint.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/sprint.adb Wed Apr  9 14:32:05 2008
@@ -3694,8 +3694,10 @@
       if Int (S'Last) + Column > Line_Limit then
          Write_Indent_Str ("  ");
 
-         if S (1) = ' ' then
-            Write_Str (S (2 .. S'Length));
+         --  LLVM local begin
+         if S (S'First) = ' ' then
+            Write_Str (S (S'First + 1 .. S'Last));
+         --  LLVM local end
          else
             Write_Str (S);
          end if;
@@ -3714,8 +3716,10 @@
       if Int (S'Last) + Column > Line_Limit then
          Write_Indent_Str ("  ");
 
-         if S (1) = ' ' then
-            Write_Str_Sloc (S (2 .. S'Length));
+         --  LLVM local begin
+         if S (S'First) = ' ' then
+            Write_Str_Sloc (S (S'First + 1 .. S'Last));
+         --  LLVM local end
          else
             Write_Str_Sloc (S);
          end if;

Modified: llvm-gcc-4.2/trunk/gcc/ada/uintp.adb
URL: http://llvm.org/viewvc/llvm-project/llvm-gcc-4.2/trunk/gcc/ada/uintp.adb?rev=49444&r1=49443&r2=49444&view=diff

==============================================================================
--- llvm-gcc-4.2/trunk/gcc/ada/uintp.adb (original)
+++ llvm-gcc-4.2/trunk/gcc/ada/uintp.adb Wed Apr  9 14:32:05 2008
@@ -1071,7 +1071,11 @@
             X_Bigger := True;
          else
             Sum_Length := R_Length + 1;
-            if R_Length > L_Length then Y_Bigger := True; end if;
+            --  LLVM local begin
+            if R_Length > L_Length then
+               Y_Bigger := True;
+            end if;
+            --  LLVM local end
          end if;
 
          --  Make copies of the absolute values of L_Vec and R_Vec into





More information about the llvm-commits mailing list