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/einfo-utils.adb | |
| parent | 0b7ddfb9f13b3bfb7f4fc9ac23f6adf4f36e7098 (diff) | |
| download | gcc-8c61547d80c8b4c611284b63e92d10f87c9898b2.zip gcc-8c61547d80c8b4c611284b63e92d10f87c9898b2.tar.gz gcc-8c61547d80c8b4c611284b63e92d10f87c9898b2.tar.bz2 | |
[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/einfo-utils.adb')
| -rw-r--r-- | gcc/ada/einfo-utils.adb | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gcc/ada/einfo-utils.adb b/gcc/ada/einfo-utils.adb index 15bd9e8..cbd957b 100644 --- a/gcc/ada/einfo-utils.adb +++ b/gcc/ada/einfo-utils.adb @@ -414,8 +414,7 @@ package body Einfo.Utils is if Use_New_Unknown_Rep then return not Field_Is_Initial_Zero (E, F_Esize); else - return Esize (E) /= Uint_0 - and then Present (Esize (E)); + return Present (Esize (E)) and then Esize (E) /= Uint_0; end if; end Known_Esize; |