[Ada] Replace warning suppression with assertion
Pierre-Marie de Rodat
Thu Nov 26 08:41:00 GMT 2020
Routine Resolve_Membership_Op didn't reference its Typ parameter and
instead suppressed warning with a suspicious pragma Warning. This could
be rather pragma Unreferenced, but actually we can reference the type in
assertion that enforces an existing comment.
Tested on x86_64-pc-linux-gnu, committed on trunk
* sem_res.adb (Resolve_Membership_Op): Replace pragma Warnings
with pragma Assert.
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 437 bytes
Desc: not available
More information about the Gcc-patches