[S] Change in libgfxinit[master]: gma: Work around GNATprove issue with nested loops - coreboot-gerrit

28 Nov 2022


      Attention is currently required from: Angel Pons.
Nico Huber has posted comments on this change. ( https://review.coreboot.org/c/libgfxinit/+/68112 )
Change subject: gma: Work around GNATprove issue with nested loops
......................................................................
Patch Set 1:
(1 comment)
Commit Message:
https://review.coreboot.org/c/libgfxinit/+/68112/comment/be0b7901_7c72fc5d 
PS1, Line 10: weird check messages.
...
Do these messages have something in common? Is it worth providing an example?
Problems were varying from toolchain version to version, I'll check with something newish.
-- 
To view, visit https://review.coreboot.org/c/libgfxinit/+/68112
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: libgfxinit
Gerrit-Branch: master
Gerrit-Change-Id: I5430081767c760b85401300e0db4d26fd78270d7
Gerrit-Change-Number: 68112
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber nico.h@gmx.de
Gerrit-Reviewer: Angel Pons th3fanbus@gmail.com
Gerrit-Attention: Angel Pons th3fanbus@gmail.com
Gerrit-Comment-Date: Mon, 28 Nov 2022 16:41:27 +0000
Gerrit-HasComments: Yes
Gerrit-Has-Labels: No
Comment-In-Reply-To: Angel Pons th3fanbus@gmail.com
Gerrit-MessageType: comment