From 13126368df2c6784969c126425d8ae03e4f1d284 Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Mon, 11 Sep 2017 08:37:51 +0000 Subject: 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 * 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 --- gcc/ada/lib-xref-spark_specific.adb | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'gcc/ada/lib-xref-spark_specific.adb') 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) -- cgit v1.1