diff options
| author | Javier Miranda <miranda@adacore.com> | 2018-08-21 14:48:35 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2018-08-21 14:48:35 +0000 |
| commit | 0b86d9375cebd1eeb07ef0c8f7a40181edf8745a (patch) | |
| tree | f2c5a63f3c954a385252992ef259e7cb05ccc167 /libcc1 | |
| parent | 6aed58803f4de424833415fa303976f4b4e28b5d (diff) | |
[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.
git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@263732 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libcc1')
0 files changed, 0 insertions, 0 deletions