2013-07-05 Ed Schonberg <schonberg@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 5 Jul 2013 10:52:13 +0000 (10:52 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 5 Jul 2013 10:52:13 +0000 (10:52 +0000)
commit6f88dcfb7df75dcf62a699d203dd898ce09bef04
tree8553dce599017e8d0a53a5bad4d1e829bd94e17e
parente502f26d07607e1e5099c490304e78ec7454e852
2013-07-05  Ed Schonberg  <schonberg@adacore.com>

* sem_ch13.adb (Analyze_Aspect_Specifications): For
pre/postconditions copy the expression to the generated pragma,
to avoid sharing between the original aspect and the pragma node,
because in ASIS_Mode both will be independently analyzed.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@200710 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog
gcc/ada/sem_ch13.adb