From ff2d863515334d3b90e03d4cf62c9a6c90df7ed0 Mon Sep 17 00:00:00 2001
From: Nico Huber <nico.huber@secunet.com>
Date: Mon, 19 Feb 2024 15:02:55 +0100
Subject: drivers/intel/gma: Allow SPARK function with side effects

Explicitly specifying the aspect `Side_Effects' is necessary for GCC
toolchains from 14.0 on. As older toolchains don't know the aspect,
we have to silence a warning about it, though.

Change-Id: I1eb879f57437587dc11d879fcc4042a70d384786
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/80616
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Reviewed-by: Thomas Heijligen <src@posteo.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
---
 src/drivers/intel/gma/gma.ads | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/drivers/intel/gma')

diff --git a/src/drivers/intel/gma/gma.ads b/src/drivers/intel/gma/gma.ads
index d264960d2b..5cb45da8e7 100644
--- a/src/drivers/intel/gma/gma.ads
+++ b/src/drivers/intel/gma/gma.ads
@@ -11,6 +11,6 @@ package GMA is
       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;
-- 
cgit v1.2.3