diff options
| author | Yannick Moy <moy@adacore.com> | 2017-09-08 14:36:54 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-08 16:36:54 +0200 |
| commit | 8437edb4c28091d5f863dee1d9a0ffd7cfe3e595 (patch) | |
| tree | 122a15be5c7b06e888641abfa05a1c93d0750b1d /gcc/ada/sem_aux.ads | |
| parent | 139e8d2aacb2d4221ca94d8c413acd824820040e (diff) | |
| download | gcc-8437edb4c28091d5f863dee1d9a0ffd7cfe3e595.zip gcc-8437edb4c28091d5f863dee1d9a0ffd7cfe3e595.tar.gz gcc-8437edb4c28091d5f863dee1d9a0ffd7cfe3e595.tar.bz2 | |
sem_aux.adb, [...] (Get_Called_Entity): New function to return the entity associated with the call.
2017-09-08 Yannick Moy <moy@adacore.com>
* sem_aux.adb, sem_aux.ads (Get_Called_Entity): New function to
return the entity associated with the call.
* sem_util.adb, sem_util.ads (Check_Function_Writable_Actuals):
Replace the internal Get_Function_Id with the new
Sem_Aux.Get_Called_Entity.
(Iterate_Call_Parameters): New
procedure to iterate on formals and actuals at the same time.
* sem_ch12.adb (Analyze_Subprogram_Instantiation):
Set SPARK_Mode from spec when set, for analysis
of instance. Restore after analysis of instance.
(Instantiate_Subprogram_Body): Set SPARK_Mode from body when
set, for analysis of body instance. Restored automatically at
the end of the subprogram.
* gnat1drv.adb (Adjust_Global_Switches): Set
Check_Validity_Of_Parameters to False in GNATprove mode.
* opt.ads (Check_Validity_Of_Parameters): Document switch to
set option.
From-SVN: r251900
Diffstat (limited to 'gcc/ada/sem_aux.ads')
| -rw-r--r-- | gcc/ada/sem_aux.ads | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gcc/ada/sem_aux.ads b/gcc/ada/sem_aux.ads index 97a4f14..a1e38ee 100644 --- a/gcc/ada/sem_aux.ads +++ b/gcc/ada/sem_aux.ads @@ -6,7 +6,7 @@ -- -- -- S p e c -- -- -- --- Copyright (C) 1992-2016, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2017, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -161,8 +161,11 @@ package Sem_Aux is -- referencing this entity. It is an error to call this function if Ekind -- (Op) /= E_Operator. + function Get_Called_Entity (Call : Node_Id) return Entity_Id; + -- Returns the entity associated with the call + function Get_Low_Bound (E : Entity_Id) return Node_Id; - -- For an index subtype or string literal subtype, return its low bound + -- For an index subtype or string literal subtype, returns its low bound function Get_Unary_Nkind (Op : Entity_Id) return Node_Kind; -- Op must be an entity with an Ekind of E_Operator. This function returns |