diff options
| author | Yannick Moy <moy@adacore.com> | 2019-12-13 09:03:56 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-12-13 09:03:56 +0000 |
| commit | 2e3795d016a7263c82a4f64a7204f416d12a72da (patch) | |
| tree | 50251f6c4c7b8928e9a446e70b716e274ee54f7c /gcc/ada/gcc-interface | |
| parent | e841d4d8b3d1e64fe2f31329c8644ceca341874f (diff) | |
| download | gcc-2e3795d016a7263c82a4f64a7204f416d12a72da.zip gcc-2e3795d016a7263c82a4f64a7204f416d12a72da.tar.gz gcc-2e3795d016a7263c82a4f64a7204f416d12a72da.tar.bz2 | |
[Ada] Prevent inlining inside condition of while loop in GNATprove
2019-12-13 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_res.adb (Resolve_Call): Prevent inlining inside while loop
conditions.
* sem_util.adb, sem_util.ads (In_While_Loop_Condition): New
query function.
From-SVN: r279347
Diffstat (limited to 'gcc/ada/gcc-interface')
0 files changed, 0 insertions, 0 deletions