projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6e063ac) | patch
[Ada] Reuse Get_Index_Subtype in the special expander for GNATprove
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 11 Feb 2020 22:01:06 +0000 (23:01 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 8 Jun 2020 07:50:57 +0000 (03:50 -0400)
commit3ebf0cbda50a5f5682456cdbb064576e0a08c0f7
tree50292a3cbd06b219734939b2e4524b638985242dtree
parent6e063ac3887d7e3b2992fa5fa12a57e743be6c1dcommit | diff
[Ada] Reuse Get_Index_Subtype in the special expander for GNATprove

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

gcc/ada/

* exp_attr.adb, exp_util.ads, exp_util.adb (Get_Index_Subtype):
Move from the body of Exp_Attr to Exp_Util and expose from the
spec.
* exp_spark.adb (Expand_SPARK_N_Attribute_Reference): Replace
duplicated code with a call to Get_Index_Subtype.
gcc/ada/exp_attr.adb diff | blob | history
gcc/ada/exp_spark.adb diff | blob | history
gcc/ada/exp_util.adb diff | blob | history
gcc/ada/exp_util.ads diff | blob | history