[coreboot-gerrit] Change in libgfxinit[master]: gma config: Enable Restrictions (No_Elaboration_Code)

Nico Huber (Code Review) gerrit at coreboot.org
Sun Jun 17 23:20:14 CEST 2018


Nico Huber has uploaded this change for review. ( https://review.coreboot.org/27143


Change subject: gma config: Enable Restrictions (No_Elaboration_Code)
......................................................................

gma config: Enable Restrictions (No_Elaboration_Code)

Forcing compile-time evaluation seems to be the right thing and works
well now. It also helps to compare binaries after refactorizations.

Change-Id: I4eea973836a05eefcc2c98de75e6721ef3cd278b
Signed-off-by: Nico Huber <nico.h at gmx.de>
---
M common/hw-gfx-gma-config.ads.template
1 file changed, 2 insertions(+), 0 deletions(-)



  git pull ssh://review.coreboot.org:29418/libgfxinit refs/changes/43/27143/1

diff --git a/common/hw-gfx-gma-config.ads.template b/common/hw-gfx-gma-config.ads.template
index 1977742..c4f68ea 100644
--- a/common/hw-gfx-gma-config.ads.template
+++ b/common/hw-gfx-gma-config.ads.template
@@ -12,6 +12,8 @@
 -- GNU General Public License for more details.
 --
 
+pragma Restrictions (No_Elaboration_Code);
+
 private package HW.GFX.GMA.Config is
 
    Gen : constant Generation := <<GEN>>;

-- 
To view, visit https://review.coreboot.org/27143
To unsubscribe, or for help writing mail filters, visit https://review.coreboot.org/settings

Gerrit-Project: libgfxinit
Gerrit-Branch: master
Gerrit-MessageType: newchange
Gerrit-Change-Id: I4eea973836a05eefcc2c98de75e6721ef3cd278b
Gerrit-Change-Number: 27143
Gerrit-PatchSet: 1
Gerrit-Owner: Nico Huber <nico.h at gmx.de>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.coreboot.org/pipermail/coreboot-gerrit/attachments/20180617/83d6062b/attachment.html>


More information about the coreboot-gerrit mailing list