projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6afd4d6) | patch
sem_util.adb (Check_Result_And_Post_State): Do not issue a warning about missing...
authorYannick Moy <moy@adacore.com>
Mon, 11 Sep 2017 08:37:51 +0000 (08:37 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 11 Sep 2017 08:37:51 +0000 (10:37 +0200)
commit13126368df2c6784969c126425d8ae03e4f1d284
tree120a6004ce71c0c5afd16e6076325decbcb98ba7tree
parent6afd4d646d9b262fdb409274af69d2c7ad3f53dbcommit | diff
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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/lib-xref-spark_specific.adb diff | blob | history
gcc/ada/sem_aggr.adb diff | blob | history
gcc/ada/sem_aux.ads diff | blob | history
gcc/ada/sem_util.adb diff | blob | history