[coreboot-gerrit] [XS] Change in coreboot[main]: [TEST] drivers/intel/gma: Allow SPARK function with side effects

[Nico Huber (Code Review)]

Nico Huber has uploaded this change for review. ( https://review.coreboot.org/c/coreboot/+/80616?usp=email )

Change subject: [TEST] drivers/intel/gma: Allow SPARK function with side effects
......................................................................

[TEST] drivers/intel/gma: Allow SPARK function with side effects

Change-Id: I1eb879f57437587dc11d879fcc4042a70d384786
Signed-off-by: Nico Huber 
---
M src/drivers/intel/gma/gma.ads
1 file changed, 4 insertions(+), 1 deletion(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/16/80616/1

diff --git a/src/drivers/intel/gma/gma.ads b/src/drivers/intel/gma/gma.ads
index d264960..55fe973 100644
--- a/src/drivers/intel/gma/gma.ads
+++ b/src/drivers/intel/gma/gma.ads
@@ -6,11 +6,14 @@

package GMA is

+   pragma Warnings
+     (GNAT, Off, """Side_Effects"" is not a valid aspect identifier",
+      Reason => """Side_Effects"" is new and needed for toolchain transition.");
    function read_edid
      (raw_edid :    out HW.GFX.EDID.Raw_EDID_Data;
       port     : in     Interfaces.C.int)
       return Interfaces.C.int
    with
-      Export, Convention => C, External_Name => "gma_read_edid";
+      Side_Effects, Export, Convention => C, External_Name => "gma_read_edid";

end GMA;