[Ada] Check all pairs of actuals for overlapping
Pierre-Marie de Rodat
derodat@adacore.com
Thu Jun 17 14:33:11 GMT 2021
When detecting overlapping actuals GNAT was giving up on the first pair
of parameters that refer to the same object (even when there was no
overlapping because both parameters had mode IN). Now we examine all
pairs.
Tested on x86_64-pc-linux-gnu, committed on trunk
gcc/ada/
* sem_warn.adb (Warn_On_Overlapping_Actuals): Fix style;
refactor repeated calls to Nkind; remove early RETURN.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch.diff
Type: text/x-diff
Size: 1015 bytes
Desc: not available
URL: <https://gcc.gnu.org/pipermail/gcc-patches/attachments/20210617/1d8ed898/attachment.bin>
More information about the Gcc-patches
mailing list