projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 258325d) | patch
[Ada] Avoid crash in GNATprove due to inlining inside type
authorYannick Moy <moy@adacore.com>
Tue, 13 Aug 2019 08:07:24 +0000 (08:07 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 13 Aug 2019 08:07:24 +0000 (08:07 +0000)
commit1788bf118c1c97a2e3cb8c0526ffe617859eb7d4
tree13d25fa03f84232da9405e112199ac46ec4c6912tree
parent258325dddf752c578f1da15f63577090b1db2de5commit | diff
[Ada] Avoid crash in GNATprove due to inlining inside type

The special inlining for GNATprove should not inline calls inside record
types, used for the constraints of components.

There is no impact on compilation.

2019-08-13  Yannick Moy  <moy@adacore.com>

gcc/ada/

* sem_res.adb (Resolve_Call): Do not inline calls inside record
types.

From-SVN: r274344
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_res.adb diff | blob | history