diff options
| author | Yannick Moy <moy@adacore.com> | 2019-08-13 08:06:55 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-13 08:06:55 +0000 |
| commit | fa0c3ab8c54e8cba46c26c3d29f3e7be435e126a (patch) | |
| tree | 11e38229b6417efe1a0d40a55bdf112c4128a9df /gcc/ada/gcc-interface/Make-lang.in | |
| parent | 943c82d7b9bc15161ac344953b2deb0a4121b279 (diff) | |
| download | gcc-fa0c3ab8c54e8cba46c26c3d29f3e7be435e126a.zip gcc-fa0c3ab8c54e8cba46c26c3d29f3e7be435e126a.tar.gz gcc-fa0c3ab8c54e8cba46c26c3d29f3e7be435e126a.tar.bz2 | |
[Ada] Avoid spurious errors on dimensionality checking in GNATprove
Complete the partial treatment that was started in r273405. Instead of
checking for the special case of nodes inside inlined bodies at the call
site, check for this condition inside the top-level procedures called
for dimensionality checking.
There is no impact on compilation.
2019-08-13 Yannick Moy <moy@adacore.com>
gcc/ada/
* sem_dim.adb (Analyze_Dimension,
Analyze_Dimension_Array_Aggregate, Analyze_Dimension_Call,
Analyze_Dimension_Extension_Or_Record_Aggregate): Return
immediately when inside an inlined body.
* sem_res.adb (Resolve_Call): Remove special checking now done
inside Analyze_Dimension_Call.
From-SVN: r274339
Diffstat (limited to 'gcc/ada/gcc-interface/Make-lang.in')
0 files changed, 0 insertions, 0 deletions