projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6dc5653) | patch
[Ada] Remove a dubious optimization for Object Specific Data dispatching
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 16 Mar 2020 20:29:27 +0000 (21:29 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 11 Jun 2020 09:53:41 +0000 (05:53 -0400)
commitc7cb99f885d2d6d520ef8ff0ff35e0158f2c6264
treec9230d289d80f53d984c534514408fbf1e6760e2tree
parent6dc5653584ca84f7d396dd2aa8b65070a1c1f7e1commit | diff
[Ada] Remove a dubious optimization for Object Specific Data dispatching

2020-06-11  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* exp_disp.adb: Minor reformatting.
* exp_aggr.adb (Is_Static_Dispatch_Table_Aggregate): Recognize
aggregates of the Ada.Tags.Object_Specific_Data type as static.
* sem_aggr.adb (Check_Static_Discriminated_Subtype): Deconstruct
and do not call it from Build_Constrained_Itype.
gcc/ada/exp_aggr.adb diff | blob | history
gcc/ada/exp_disp.adb diff | blob | history
gcc/ada/sem_aggr.adb diff | blob | history