]> git.ipfire.org Git - thirdparty/gcc.git/commit - gcc/ada/ChangeLog
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db3b1a4) | patch
[Ada] Avoid crash in GNATprove due to inlining inside type
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 13 Aug 2019 08:07:24 +0000 (08:07 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 13 Aug 2019 08:07:24 +0000 (08:07 +0000)
commit5bf51e61f1a7d16a08199902401d6ee02e312052
tree13d25fa03f84232da9405e112199ac46ec4c6912tree | snapshot
parentdb3b1a4760bdc70e4b06578c187f80df13306242commit | 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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@274344 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/sem_res.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git