projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2afa8fd) | patch
sem_ch5.adb: Improve error recovery.
authorEd Schonberg <schonberg@adacore.com>
Wed, 30 Jul 2014 13:46:35 +0000 (13:46 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Wed, 30 Jul 2014 13:46:35 +0000 (15:46 +0200)
commit274d2584e534a5e63be48999c794e90a73d420cb
treeb9dd594866f029f8cb02de684dc83e809212b720tree
parent2afa8fdd1b6c2757b6d73660c10801647b7c0a18commit | diff
sem_ch5.adb: Improve error recovery.

2014-07-30  Ed Schonberg  <schonberg@adacore.com>

* sem_ch5.adb: Improve error recovery.
* inline.adb (Build_Body_To_Inline): Set Full_Analysis to false
before analyzing the body, so that in GNATprove mode there is
no light expansion. Whatever expansion is required by SPARK will
be performed when analysing the inlined code.

From-SVN: r213267
gcc/ada/ChangeLog diff | blob | history
gcc/ada/inline.adb diff | blob | history
gcc/ada/sem_ch5.adb diff | blob | history