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/lib-xref-spark_specific.adb | |
| 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/lib-xref-spark_specific.adb')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index 8cb2628..7542d23 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -539,9 +539,9 @@ package body SPARK_Specific is function Is_SPARK_Scope (E : Entity_Id) return Boolean is Can_Be_Renamed : constant Boolean := - Present (E) - and then (Is_Subprogram_Or_Entry (E) - or else Ekind (E) = E_Package); + Present (E) + and then (Is_Subprogram_Or_Entry (E) + or else Ekind (E) = E_Package); begin return Present (E) and then not Is_Generic_Unit (E) |