]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fec1e5e) | patch
[Ada] Crash processing SPARK annotate aspect
authorpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 21 Aug 2018 14:48:35 +0000 (14:48 +0000)
committerpmderodat <pmderodat@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 21 Aug 2018 14:48:35 +0000 (14:48 +0000)
commit36bf51692bb3710f921fb4c1be7349db1e95cf26
treef2c5a63f3c954a385252992ef259e7cb05ccc167tree | snapshot
parentfec1e5e70836056f2a602537232c2908da56ed41commit | 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: svn+ssh://gcc.gnu.org/svn/gcc/trunk@263732 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/lib-writ.adb diff | blob | blame | history
gcc/testsuite/ChangeLog diff | blob | blame | 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
Mirror of https://gcc.gnu.org/git/gcc.git