projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 24241bd) | patch
[Ada] Crash processing SPARK annotate aspect
authorJavier Miranda <miranda@adacore.com>
Tue, 21 Aug 2018 14:48:35 +0000 (14:48 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Tue, 21 Aug 2018 14:48:35 +0000 (14:48 +0000)
commit322d87a9b17660f7d04a7320505591538582892a
treef2c5a63f3c954a385252992ef259e7cb05ccc167tree
parent24241bd0388ec6f730788540b289da12c13a34cccommit | 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.

From-SVN: r263732
gcc/ada/ChangeLog diff | blob | history
gcc/ada/lib-writ.adb diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gnat.dg/spark2.adb [new file with mode: 0644] blob
gcc/testsuite/gnat.dg/spark2.ads [new file with mode: 0644] blob