diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-02-11 23:01:06 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-08 03:50:57 -0400 |
| commit | 3ebf0cbda50a5f5682456cdbb064576e0a08c0f7 (patch) | |
| tree | 50292a3cbd06b219734939b2e4524b638985242d /gcc/ada/sinfo.adb | |
| parent | 6e063ac3887d7e3b2992fa5fa12a57e743be6c1d (diff) | |
| download | gcc-3ebf0cbda50a5f5682456cdbb064576e0a08c0f7.zip gcc-3ebf0cbda50a5f5682456cdbb064576e0a08c0f7.tar.gz gcc-3ebf0cbda50a5f5682456cdbb064576e0a08c0f7.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/sinfo.adb')
0 files changed, 0 insertions, 0 deletions