diff options
| author | Yannick Moy <moy@adacore.com> | 2019-07-11 08:03:24 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-11 08:03:24 +0000 |
| commit | 8b727104817f1b0c2a03013ed397e99f8673405c (patch) | |
| tree | 379d8b6a9c0283f4c1cf4dada41c41399f3b9bc4 /gcc/ada/sem.adb | |
| parent | d99ef225ac0722ab011cd39386fed4e346311edb (diff) | |
| download | gcc-8b727104817f1b0c2a03013ed397e99f8673405c.zip gcc-8b727104817f1b0c2a03013ed397e99f8673405c.tar.gz gcc-8b727104817f1b0c2a03013ed397e99f8673405c.tar.bz2 | |
[Ada] Avoid spurious errors on dimensionality checking in GNATprove
In the special GNATprove mode of the frontend, automatic inlining is
performed, which may lead to spurious errors on dimensionality checking.
Avoid performing this checking on inlined code, which has already been
checked for dimensionality errors.
There is no impact on compilation.
2019-07-11 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_res.adb (Resolve_Call): Do not perform dimensionality
checking on inlined bodies.
From-SVN: r273405
Diffstat (limited to 'gcc/ada/sem.adb')
0 files changed, 0 insertions, 0 deletions