diff options
| author | Javier Miranda <miranda@adacore.com> | 2018-08-21 14:47:05 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-08-21 14:47:05 +0000 |
| commit | dc88759c874104bbf96cb56e44f2ea319541324a (patch) | |
| tree | d89306d6d39ea8ac81f253ffbf96d891472603ff /libgfortran | |
| parent | 5c0972ba85975672ae89ce70a562133a506689d1 (diff) | |
| download | gcc-dc88759c874104bbf96cb56e44f2ea319541324a.zip gcc-dc88759c874104bbf96cb56e44f2ea319541324a.tar.gz gcc-dc88759c874104bbf96cb56e44f2ea319541324a.tar.bz2 | |
[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
Diffstat (limited to 'libgfortran')
0 files changed, 0 insertions, 0 deletions