diff options
| author | Javier Miranda <miranda@adacore.com> | 2018-08-21 14:48:35 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-08-21 14:48:35 +0000 |
| commit | 322d87a9b17660f7d04a7320505591538582892a (patch) | |
| tree | f2c5a63f3c954a385252992ef259e7cb05ccc167 /libgfortran/io/async.h | |
| parent | 24241bd0388ec6f730788540b289da12c13a34cc (diff) | |
| download | gcc-322d87a9b17660f7d04a7320505591538582892a.zip gcc-322d87a9b17660f7d04a7320505591538582892a.tar.gz gcc-322d87a9b17660f7d04a7320505591538582892a.tar.bz2 | |
[Ada] Crash processing SPARK annotate aspect
The compiler blows up writing the ALI file of a package that has a ghost
subprogram with an annotate contract.
2018-08-21 Javier Miranda <miranda@adacore.com>
gcc/ada/
* lib-writ.adb (Write_Unit_Information): Handle pragmas removed
by the expander.
gcc/testsuite/
* gnat.dg/spark2.adb, gnat.dg/spark2.ads: New testcase.
From-SVN: r263732
Diffstat (limited to 'libgfortran/io/async.h')
0 files changed, 0 insertions, 0 deletions