sem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode...
authorEd Schonberg <schonberg@adacore.com>
Mon, 8 Jul 2013 07:39:55 +0000 (07:39 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 8 Jul 2013 07:39:55 +0000 (09:39 +0200)
commit1bc331122b9f6a30124d1deb32a7af5eef006a00
tree241352b549f57fad231ce14d95c5330f965a20ab
parent930b700ba28617ea074b0f4e54d3b00b8d9be0a2
sem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode...

2013-07-08  Ed Schonberg  <schonberg@adacore.com>

* sem_prag.adb (Analyze_PPC_In_Decl_Part): In ASIS mode,
pre-analyze only the original expression attached to the source
aspect, not the relocated expression of the pragma, to prevent
malformed trees in ASIS mode.
* sem_ch13.adb (Analyze_Aspect_Specifications): Revert previous
patch: the expression in the aspect for pre/post must be relocated
to the pragma for proper analysis.

From-SVN: r200752
gcc/ada/ChangeLog
gcc/ada/sem_ch13.adb
gcc/ada/sem_prag.adb