This is the mail archive of the
gcc-cvs@gcc.gnu.org
mailing list for the GCC project.
r260725 - in /trunk/gcc/ada: ChangeLog sem_util...
- From: pmderodat at gcc dot gnu dot org
- To: gcc-cvs at gcc dot gnu dot org
- Date: Fri, 25 May 2018 09:03:54 -0000
- Subject: r260725 - in /trunk/gcc/ada: ChangeLog sem_util...
Author: pmderodat
Date: Fri May 25 09:03:54 2018
New Revision: 260725
URL: https://gcc.gnu.org/viewcvs?rev=260725&root=gcc&view=rev
Log:
[Ada] Rewrite Iterate_Call_Parameters in more assertive style
The formal and actual parameters in a subprogram call must match each other.
This is now checked with assertion (so that we can detect possible mistakes),
while the production builds have less work to do. Semantics unchanged.
2018-05-25 Piotr Trojanek <trojanek@adacore.com>
gcc/ada/
* sem_util.adb (Iterate_Call_Parameters): Rewrite with extra
assertions; replace function versions of Next_Formal/Next_Actual with
their procedural versions (which are more concise).
Modified:
trunk/gcc/ada/ChangeLog
trunk/gcc/ada/sem_util.adb