[Ada] Fix detection of overlapping slices indexed by characters

gcc/ada/

	* sem_util.adb (Denotes_Same_Object): Handle character literals
	just like integer literals.

diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb
index 44a4dc21f14e2cf7f287275530559b94604421b2..fb44823d4097dec961e0eac42f4ca9398b9cc496 100644 (file)
--- a/gcc/ada/sem_util.adb
+++ b/gcc/ada/sem_util.adb
@@ -7504,13 +7504,20 @@ package body Sem_Util is
       then
          return Denotes_Same_Object (A1, Renamed_Entity (Entity (A2)));
 
-      --  In the recursion, literals appear as slice bounds
+      --  In the recursion, integer literals appear as slice bounds
 
       elsif Nkind (A1) = N_Integer_Literal
         and then Nkind (A2) = N_Integer_Literal
       then
          return Intval (A1) = Intval (A2);
 
+      --  Likewise for character literals
+
+      elsif Nkind (A1) = N_Character_Literal
+        and then Nkind (A2) = N_Character_Literal
+      then
+         return Char_Literal_Value (A1) = Char_Literal_Value (A2);
+
       else
          return False;
       end if;