projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e7cb6e) | patch
[Ada] Implement AI12-0216 on restricting overlap errors in calls
authorEd Schonberg <schonberg@adacore.com>
Tue, 7 Apr 2020 18:16:14 +0000 (14:16 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Tue, 16 Jun 2020 13:07:15 +0000 (09:07 -0400)
commit3c9a82fec0e08b24ee49c94c3cdfd6c426042f64
tree62d17df86b658fc80bc77c0bb2920040ec1a1fc6tree
parent7e7cb6eee494e3ec59ae1faf679fe2c3a578a95ecommit | diff
[Ada] Implement AI12-0216 on restricting overlap errors in calls

2020-06-16  Ed Schonberg  <schonberg@adacore.com>

gcc/ada/

* sem_warn.adb (Warn_On_Overlapping_Actuals): Simplify code and
implement AI12-0216 which clarifies the conditions under which
overlapping actuals in a call are illegal. If proper warnings
are enabled, GNAT also emits warnings in legal cases of
overlopping actuals.
gcc/ada/sem_warn.adb diff | blob | history