diff options
| author | Yannick Moy <moy@adacore.com> | 2019-07-11 08:03:14 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-11 08:03:14 +0000 |
| commit | 708fb956d9b625c150aadf9fb6394651ef054b5a (patch) | |
| tree | b6dff91a901a8ed27e14ee5fd4e472d06cb8de97 /gcc/resource.c | |
| parent | a8fa1b3d08ea4cc31f858d2add1b22e62b8db5e1 (diff) | |
| download | gcc-708fb956d9b625c150aadf9fb6394651ef054b5a.zip gcc-708fb956d9b625c150aadf9fb6394651ef054b5a.tar.gz gcc-708fb956d9b625c150aadf9fb6394651ef054b5a.tar.bz2 | |
[Ada] Avoid spurious warning on assertions with Loop_Entry
When the Loop_Entry attribute is used inside a loop invariant or another
assertion where it is allowed, it may lead to spurious warnings on
conditions that are detected to be always valid. Now fixed.
2019-07-11 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_eval.adb (Is_Same_Value): Add special case for rewritten
Loop_Entry attribute.
gcc/testsuite/
* gnat.dg/loop_entry1.adb: New testcase.
From-SVN: r273403
Diffstat (limited to 'gcc/resource.c')
0 files changed, 0 insertions, 0 deletions