]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3fb32d2) | patch
[Ada] Crash compiling SPARK ghost functions with callgraph info
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 21 Aug 2018 14:47:05 +0000 (14:47 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 21 Aug 2018 14:47:05 +0000 (14:47 +0000)
commita85e94af9424e4ee1162a5314be4f2d2117d181f
treed89306d6d39ea8ac81f253ffbf96d891472603fftree
parent3fb32d240b588bcee09594d3c44e2941c2f4344dcommit | diff
[Ada] Crash compiling SPARK ghost functions with callgraph info

The compiler blows up generating the callgraph output of SPARK ghost
subprograms whose contracts invoke ghost functions.

2018-08-21  Javier Miranda  <miranda@adacore.com>

gcc/ada/

* exp_cg.adb (Generate_CG_Output): Handle calls removed by the
expander.

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