display probing: Update warning justification
The wording for the unused-assignment warning changed. To support
both older and newer version of GNATprove, add another justification
to the existing one.
Change-Id: I832d40a8e515eff63be2b196b18ca7b6f0114914
Signed-off-by: Nico Huber <nico.h@gmx.de>
Reviewed-on: https://review.coreboot.org/c/libgfxinit/+/68107
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
diff --git a/common/hw-gfx-gma-display_probing.adb b/common/hw-gfx-gma-display_probing.adb
index 79421c9..67f8ddf 100644
--- a/common/hw-gfx-gma-display_probing.adb
+++ b/common/hw-gfx-gma-display_probing.adb
@@ -132,6 +132,8 @@
pragma Warnings (GNATprove, Off, "unused assignment to ""Raw_EDID""",
Reason => "We just want to check if it's readable.");
+ pragma Warnings (GNATprove, Off, """Raw_EDID"" is set by * but*",
+ Reason => "We just want to check if it's readable.");
if Has_Sibling_Port (Port) then
-- Probe sibling port too and bail out if something is detected.
-- This is a precaution for adapters that expose the pins of a
@@ -148,6 +150,7 @@
end if;
end;
end if;
+ pragma Warnings (GNATprove, On, """Raw_EDID"" is set by * but*");
pragma Warnings (GNATprove, On, "unused assignment to ""Raw_EDID""");
else
Success := False;