[S] Change in libgfxinit[master]: display probing: Update warning justification

[Nico Huber (Code Review)]

Nico Huber has uploaded this change for review. ( https://review.coreboot.org/c/libgfxinit/+/68107 )

Change subject: display probing: Update warning justification
......................................................................

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 
---
M common/hw-gfx-gma-display_probing.adb
1 file changed, 17 insertions(+), 0 deletions(-)

git pull ssh://review.coreboot.org:29418/libgfxinit refs/changes/07/68107/1

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;