Ada: Suppress warning about unused quantified variables with junk names
Suppressed warnings for trivially-named unused variables in Ada quantified expressions.
This commit prevents GCC from issuing warnings about unused variables within quantified expressions (e.g., for all Dummy in ... => True) when those variables have intentionally meaningless names. This avoids spurious warnings in situations where the variable is syntactically required but its value is irrelevant.
In Details
This commit modifies sem_ch4.adb to suppress warnings about unused quantified variables with junk names. This addresses a specific case in Ada's semantics where the compiler would incorrectly flag variables as unused due to their naming, impacting the user experience without reflecting a genuine issue in the code.
For Context
This commit addresses a warning message in the Ada compiler related to 'quantified expressions,' which are logical statements that apply to a range of values. The change prevents the compiler from displaying a warning when a variable within such an expression is intentionally given a 'junk name' (a meaningless name) and is not actually used. This avoids unnecessary warnings and keeps the compiler output clean.