projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5c0972b) | patch
[Ada] Crash compiling SPARK ghost functions with callgraph info
authorJavier Miranda <miranda@adacore.com>
Tue, 21 Aug 2018 14:47:05 +0000 (14:47 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 21 Aug 2018 14:47:05 +0000 (14:47 +0000)
commitdc88759c874104bbf96cb56e44f2ea319541324a
treed89306d6d39ea8ac81f253ffbf96d891472603fftree | snapshot
parent5c0972ba85975672ae89ce70a562133a506689d1commit | 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.

From-SVN: r263722
gcc/ada/ChangeLog diff | blob | history
gcc/ada/exp_cg.adb diff | blob | history
Domain: System / Toolchain;