OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

[Ada] Fix handling of PATs

Browse Source 
gcc/ada/

	* exp_pakd.adb (Expand_Packed_Eq): Fix handling of PATs.
This commit is contained in:
Arnaud Charlet 2021-01-19 03:32:24 -05:00 committed by Pierre-Marie de Rodat
parent 6068795883
commit 5413faaec7
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ada/exp_pakd.adb
View File

@ -1909,9 +1909,10 @@ package body Exp_Pakd is
-- where PAT is the packed array type. This works fine, since in the
-- modular case we guarantee that the unused bits are always zeroes.
-- We do have to compare the lengths because we could be comparing
-- two different subtypes of the same base type.
-- two different subtypes of the same base type. We can only do this
-- if the PATs on both sides are the same.
if Is_Modular_Integer_Type (PAT) then
if Is_Modular_Integer_Type (PAT) and then PAT = Etype (R) then
Rewrite (N,
Make_And_Then (Loc,
Left_Opnd =>