This piece of code was introduced in 2011 in order to prevent spurious
false positives from appearing on specific code patterns making use of
Component_Size.
It seems that now this piece of code is causing small false positives
instead of preventing them, so let's remove it.
gcc/ada/
* sem_ch13.adb (Analyze_Attribute_Definition_Clause): Stop
ignoring Component_Size attribute in CodePeer_Mode.
Check_Restriction_No_Specification_Of_Aspect (N);
end if;
- -- Ignore some selected attributes in CodePeer mode since they are not
- -- relevant in this context.
-
- if CodePeer_Mode then
- case Id is
-
- -- Ignore Component_Size in CodePeer mode, to avoid changing the
- -- internal representation of types by implicitly packing them.
-
- when Attribute_Component_Size =>
- Rewrite (N, Make_Null_Statement (Sloc (N)));
- return;
-
- when others =>
- null;
- end case;
- end if;
-
-- Process Ignore_Rep_Clauses option
if Ignore_Rep_Clauses then