[Ada] Make Object Specific Dispatch tables constant
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 16 Mar 2020 21:54:13 +0000 (22:54 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 11 Jun 2020 09:53:40 +0000 (05:53 -0400)
2020-06-11  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* exp_disp.adb (Make_Secondary_DT): Internally generated OSD
tables are now constant.

gcc/ada/exp_disp.adb

index c8975749b588c0aabfa2ef21677bb28c4eaf8978..617cb1be7bd1b79159551195fc893d649a4e7c5e 100644 (file)
@@ -4310,6 +4310,7 @@ package body Exp_Disp is
             Append_To (Result,
               Make_Object_Declaration (Loc,
                 Defining_Identifier => OSD,
+                Constant_Present    => True,
                 Object_Definition   =>
                   Make_Subtype_Indication (Loc,
                     Subtype_Mark =>