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

29 Feb 2024


      Attention is currently required from: Nico Huber.
Thomas Heijligen has posted comments on this change. ( https://review.coreboot.org/c/coreboot/+/80616?usp=email )
Change subject: [TEST] drivers/intel/gma: Allow SPARK function with side effects
......................................................................
Patch Set 2: Code-Review+2
(1 comment)
File src/drivers/intel/gma/gma.ads:
https://review.coreboot.org/c/coreboot/+/80616/comment/3121f53f_708db16c :
PS2, Line 18: 
```
pragma Warnings
  (GNAT, Off, """Side_Effects"" is not a valid aspect identifier");
```
Only the warning in the function above should be turned off.
-- 
To view, visit https://review.coreboot.org/c/coreboot/+/80616?usp=email
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: coreboot
Gerrit-Branch: main
Gerrit-Change-Id: I1eb879f57437587dc11d879fcc4042a70d384786
Gerrit-Change-Number: 80616
Gerrit-PatchSet: 2
Gerrit-Owner: Nico Huber nico.h@gmx.de
Gerrit-Reviewer: Thomas Heijligen src@posteo.de
Gerrit-Reviewer: build bot (Jenkins) no-reply@coreboot.org
Gerrit-CC: Felix Singer service+coreboot-gerrit@felixsinger.de
Gerrit-Attention: Nico Huber nico.h@gmx.de
Gerrit-Comment-Date: Thu, 29 Feb 2024 14:04:31 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: Yes
Gerrit-MessageType: comment