projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8408120) | patch
ada: Remove useless validity suppression for attribute Input
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 12 Oct 2022 10:17:34 +0000 (12:17 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Mon, 7 Nov 2022 08:36:28 +0000 (09:36 +0100)
commitf74a049a5371d421c5f4637dfae1ce0afc8a01ff
tree1b2816b27ab3325abffb3a845a16c9888888a406tree | snapshot
parent8408120fecc56385b316dafec1bdfe3aac61fc05commit | diff
ada: Remove useless validity suppression for attribute Input

Attributes 'Input and 'Read are similar, but only the 'Read denotes a
subprogram with parameter of mode OUT where operand validity checks need
to be suppressed.

Cleanup related to fix for attributes 'Has_Same_Storage and
'Overlaps_Storage.

gcc/ada/

* exp_attr.adb (Expand_N_Attribute_Reference): Remove useless
skipping for attribute Input.
gcc/ada/exp_attr.adb diff | blob | history
Domain: System / Toolchain;