diff options
author | Ed Schonberg <schonberg@adacore.com> | 2014-07-30 13:46:35 +0000 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-07-30 15:46:35 +0200 |
commit | 274d2584e534a5e63be48999c794e90a73d420cb (patch) | |
tree | b9dd594866f029f8cb02de684dc83e809212b720 /gcc/ada/a-tasatt.adb | |
parent | 2afa8fdd1b6c2757b6d73660c10801647b7c0a18 (diff) | |
download | gcc-274d2584e534a5e63be48999c794e90a73d420cb.zip gcc-274d2584e534a5e63be48999c794e90a73d420cb.tar.gz gcc-274d2584e534a5e63be48999c794e90a73d420cb.tar.bz2 |
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
Diffstat (limited to 'gcc/ada/a-tasatt.adb')
0 files changed, 0 insertions, 0 deletions