diff options
| author | Yannick Moy <moy@adacore.com> | 2017-09-11 08:37:51 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-09-11 10:37:51 +0200 |
| commit | 13126368df2c6784969c126425d8ae03e4f1d284 (patch) | |
| tree | 120a6004ce71c0c5afd16e6076325decbcb98ba7 /gcc/ada/sem_aux.ads | |
| parent | 6afd4d646d9b262fdb409274af69d2c7ad3f53db (diff) | |
| download | gcc-13126368df2c6784969c126425d8ae03e4f1d284.zip gcc-13126368df2c6784969c126425d8ae03e4f1d284.tar.gz gcc-13126368df2c6784969c126425d8ae03e4f1d284.tar.bz2 | |
sem_util.adb (Check_Result_And_Post_State): Do not issue a warning about missing reference to an outcome if...
2017-09-11 Yannick Moy <moy@adacore.com>
* sem_util.adb (Check_Result_And_Post_State):
Do not issue a warning about missing reference to an outcome if
the subprogram is ghost and has no outputs.
* lib-xref-spark_specific.adb, sem_aggr.adb, sem_aux.ads: Minor
reformatting.
From-SVN: r251960
Diffstat (limited to 'gcc/ada/sem_aux.ads')
| -rw-r--r-- | gcc/ada/sem_aux.ads | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/sem_aux.ads b/gcc/ada/sem_aux.ads index a1e38ee..2ab9ef6 100644 --- a/gcc/ada/sem_aux.ads +++ b/gcc/ada/sem_aux.ads @@ -162,7 +162,8 @@ package Sem_Aux is -- (Op) /= E_Operator. function Get_Called_Entity (Call : Node_Id) return Entity_Id; - -- Returns the entity associated with the call + -- Obtain the entity of the entry, operator, or subprogram being invoked + -- by call Call. function Get_Low_Bound (E : Entity_Id) return Node_Id; -- For an index subtype or string literal subtype, returns its low bound |