Attention is currently required from: Nico Huber, Thomas Heijligen.
Hello Thomas Heijligen, build bot (Jenkins),
I'd like you to reexamine a change. Please visit
https://review.coreboot.org/c/coreboot/+/80616?usp=email
to look at the new patch set (#3).
The following approvals got outdated and were removed: Code-Review+2 by Thomas Heijligen, Verified+1 by build bot (Jenkins)
The change is no longer submittable: Code-Review and Verified are unsatisfied now.
Change subject: drivers/intel/gma: Allow SPARK function with side effects ......................................................................
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 --- M gnat.adc M src/drivers/intel/gma/gma.ads 2 files changed, 5 insertions(+), 1 deletion(-)
git pull ssh://review.coreboot.org:29418/coreboot refs/changes/16/80616/3