projects / platform / upstream / linaro-gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e14937e) | patch
2014-01-21 Robert Dewar <dewar@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 21 Jan 2014 16:13:56 +0000 (16:13 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 21 Jan 2014 16:13:56 +0000 (16:13 +0000)
commit2f44f097de0a7f8e26995d8fbc68d52489b755c7
tree305c53c5ee27e210d3e0813f8806a082260595c5tree | snapshot
parente14937e9c12a142c4eea7b6b29f8b5f003473f9bcommit | diff
2014-01-21  Robert Dewar  <dewar@adacore.com>

* sem_prag.adb (Analyze_Pragma, case SPARK_Mode): Fix problem
with pragma or aspect that applies to package spec or subprogram
spec.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@206885 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history
Domain: System / Toolchain;