diff options
| author | Yannick Moy <moy@adacore.com> | 2019-08-13 08:07:24 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-13 08:07:24 +0000 |
| commit | 1788bf118c1c97a2e3cb8c0526ffe617859eb7d4 (patch) | |
| tree | 13d25fa03f84232da9405e112199ac46ec4c6912 /gcc/ada/inline.adb | |
| parent | 258325dddf752c578f1da15f63577090b1db2de5 (diff) | |
| download | gcc-1788bf118c1c97a2e3cb8c0526ffe617859eb7d4.zip gcc-1788bf118c1c97a2e3cb8c0526ffe617859eb7d4.tar.gz gcc-1788bf118c1c97a2e3cb8c0526ffe617859eb7d4.tar.bz2 | |
[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
Diffstat (limited to 'gcc/ada/inline.adb')
0 files changed, 0 insertions, 0 deletions