diff options
| author | Yannick Moy <moy@adacore.com> | 2021-07-20 13:59:19 +0200 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2021-09-22 15:01:46 +0000 |
| commit | 8c61547d80c8b4c611284b63e92d10f87c9898b2 (patch) | |
| tree | ff4b1fa963e22c44430bf79894eb7dea59a7652d /gcc/ada/atree.ads | |
| parent | 0b7ddfb9f13b3bfb7f4fc9ac23f6adf4f36e7098 (diff) | |
| download | gcc-8c61547d80c8b4c611284b63e92d10f87c9898b2.tar.gz | |
[Ada] Fix infinite loop in compilation of illegal code
gcc/ada/
* atree.adb (Rewrite): Fix parent node of shared aspects.
* atree.ads (Rewrite): Add ??? comment on incorrect
documentation.
* einfo-utils.adb (Known_Esize): Fix logic.
* sem_ch13.adb (Alignment_Check_For_Size_Change,
Analyze_Attribute_Definition_Clause): Protect against unset
Size.
Diffstat (limited to 'gcc/ada/atree.ads')
| -rw-r--r-- | gcc/ada/atree.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/atree.ads b/gcc/ada/atree.ads index 6fb5aa6c2b6..94e589e70ac 100644 --- a/gcc/ada/atree.ads +++ b/gcc/ada/atree.ads @@ -501,6 +501,7 @@ package Atree is -- the contents of these two nodes fixing up the parent pointers of the -- replaced node (we do not attempt to preserve parent pointers for the -- original node). Neither Old_Node nor New_Node can be extended nodes. + -- ??? The above explanation is incorrect, instead Copy_Node is called. -- -- Note: New_Node may not contain references to Old_Node, for example as -- descendants, since the rewrite would make such references invalid. If |