projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28290cb) | patch
[Ada] Do not remove side effects from any object declarations in SPARK
authorPiotr Trojanek <trojanek@adacore.com>
Fri, 19 Jun 2020 15:14:42 +0000 (17:14 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 15 Oct 2020 09:39:06 +0000 (05:39 -0400)
commitd43123ee06f0cef47ffcacad8f6c9f9d753c1841
tree40ec27c4fe9bd3e7747c49691b96776f0a8c8885tree
parent28290cb50c7dbf87458befeb3e295b5cb13560b5commit | diff
[Ada] Do not remove side effects from any object declarations in SPARK

gcc/ada/

* exp_util.adb (Remove_Side_Effects): Move special-casing for
GNATprove to be applied to all object declarations.
gcc/ada/exp_util.adb diff | blob | history