projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fa1608c) | patch
sem_ch13.adb (Analyze_Aspect_Specifications): For pre/postconditions copy the express...
authorEd Schonberg <schonberg@adacore.com>
Fri, 5 Jul 2013 10:52:13 +0000 (10:52 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Fri, 5 Jul 2013 10:52:13 +0000 (12:52 +0200)
commit9fc154c8cc66d8ab7baca7d80573ecd0f64c3a10
tree8553dce599017e8d0a53a5bad4d1e829bd94e17etree
parentfa1608c29d80bfc90a408ff0ac02c0aeda046dcbcommit | diff
sem_ch13.adb (Analyze_Aspect_Specifications): For pre/postconditions copy the expression to the generated pragma...

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.

From-SVN: r200710
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_ch13.adb diff | blob | history