diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-06-19 17:14:42 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-10-15 05:39:06 -0400 |
| commit | d43123ee06f0cef47ffcacad8f6c9f9d753c1841 (patch) | |
| tree | 40ec27c4fe9bd3e7747c49691b96776f0a8c8885 /gcc/ada/debug.adb | |
| parent | 28290cb50c7dbf87458befeb3e295b5cb13560b5 (diff) | |
| download | gcc-d43123ee06f0cef47ffcacad8f6c9f9d753c1841.zip gcc-d43123ee06f0cef47ffcacad8f6c9f9d753c1841.tar.gz gcc-d43123ee06f0cef47ffcacad8f6c9f9d753c1841.tar.bz2 | |
[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.
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions