Ada Updates References to Parameter Associations RM 6.4.1.
This commit updates references to the Ada Reference Manual (RM) section 6.4.1 to account for a new paragraph added by AI12-0095-1.
This commit updates references to section 6.4.1 of the Ada Reference Manual (RM) in sem_util.adb, sem_util.ads, and sem_warn.adb. This change accounts for the addition of a new paragraph after RM 6.4.1(6.3/3) by AI12-0095-1, which may have shifted subsequent RM references within section 6.x by one.
In Details
The Ada compiler's semantic analysis phase (sem_util.adb, sem_util.ads, sem_warn.adb) refers to specific sections of the Ada Reference Manual (RM) for language rules. AI12-0095-1 introduced a new paragraph in RM section 6.4.1, potentially offsetting subsequent references. This commit updates those references to maintain accuracy.
For Context
The Ada compiler is built against the Ada Reference Manual, which rigorously defines the language. This commit updates internal references to a specific section of the manual to keep the Ada compiler aligned with changes in the standard. This ensures that the compiler correctly enforces the rules and semantics of the Ada language.