diff options
| author | Ed Schonberg <schonberg@adacore.com> | 2013-07-05 10:52:13 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-07-05 12:52:13 +0200 |
| commit | 9fc154c8cc66d8ab7baca7d80573ecd0f64c3a10 (patch) | |
| tree | 8553dce599017e8d0a53a5bad4d1e829bd94e17e /gcc/ada/sem_ch13.adb | |
| parent | fa1608c29d80bfc90a408ff0ac02c0aeda046dcb (diff) | |
| download | gcc-9fc154c8cc66d8ab7baca7d80573ecd0f64c3a10.zip gcc-9fc154c8cc66d8ab7baca7d80573ecd0f64c3a10.tar.gz gcc-9fc154c8cc66d8ab7baca7d80573ecd0f64c3a10.tar.bz2 | |
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
Diffstat (limited to 'gcc/ada/sem_ch13.adb')
| -rw-r--r-- | gcc/ada/sem_ch13.adb | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/gcc/ada/sem_ch13.adb b/gcc/ada/sem_ch13.adb index 1496912..0eb18f1 100644 --- a/gcc/ada/sem_ch13.adb +++ b/gcc/ada/sem_ch13.adb @@ -1799,13 +1799,16 @@ package body Sem_Ch13 is end loop; end if; - -- Build the precondition/postcondition pragma + -- Build the precondition/postcondition pragma. We copy + -- the expression to avoid sharing between the original + -- aspect and the pragma node, because in ASIS_Mode both + -- will be independently analyzed. Make_Aitem_Pragma (Pragma_Argument_Associations => New_List ( Make_Pragma_Argument_Association (Eloc, Chars => Name_Check, - Expression => Relocate_Node (Expr))), + Expression => New_Copy_Tree (Expr))), Pragma_Name => Pname); -- Add message unless exception messages are suppressed |