diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2020-04-08 23:38:51 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2020-06-17 04:13:58 -0400 |
| commit | 6be763897bcabab90eeae0dfda963531802a4ae9 (patch) | |
| tree | e8c528e0082e2ccbd0e945ca96dc1eacc3ea3106 /gcc/gcov.c | |
| parent | c7199fb6e694d1a0964351200648c24c3ee97973 (diff) | |
| download | gcc-6be763897bcabab90eeae0dfda963531802a4ae9.zip gcc-6be763897bcabab90eeae0dfda963531802a4ae9.tar.gz gcc-6be763897bcabab90eeae0dfda963531802a4ae9.tar.bz2 | |
[Ada] Fix expansion of "for X of Y loop" in GNATprove
2020-06-17 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_ch5.adb (Analyze_Iterator_Specification): Enable expansion
that creates a renaming that removes side effects from the
iterated object in the GNATprove mode; then analyze reference to
this renaming (it is required for GNATprove and harmless for
GNAT).
Diffstat (limited to 'gcc/gcov.c')
0 files changed, 0 insertions, 0 deletions