summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNico Huber <nico.huber@secunet.com>2018-05-17 15:59:55 +0200
committerNico Huber <nico.h@gmx.de>2018-05-19 20:39:09 +0000
commit4a027e6e95665f2c7cb9297c04d60e1b58b815b2 (patch)
tree7ea560974a55e17399f349aeea7c05f49dfd1b91
parentc4b614ca153360131cd4c09290cfb4899fff8f91 (diff)
downloadcoreboot-4a027e6e95665f2c7cb9297c04d60e1b58b815b2.tar.xz
lib/gnat: Drop Restriction `No_Exception_Propagation`
It turns out that even with the `-gnatp` switch to suppress runtime checks, the compiler is still allowed to generate them (it only doesn't have to). If we can't control generation of checks, we also can't make assumptions about propagation of their exceptions. The compiler warning that led to this change seems spurious, though (the check might be generated, but is dropped later). So we might revert this decision if the compiler can be fixed. Change-Id: I7470d74b1f96f90d0d15b24dfd636d5f1c778d46 Signed-off-by: Nico Huber <nico.huber@secunet.com> Reviewed-on: https://review.coreboot.org/26350 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Patrick Georgi <pgeorgi@google.com>
-rw-r--r--src/lib/gnat/system.ads1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/lib/gnat/system.ads b/src/lib/gnat/system.ads
index aed5592f73..74ced54492 100644
--- a/src/lib/gnat/system.ads
+++ b/src/lib/gnat/system.ads
@@ -34,7 +34,6 @@
-- --
------------------------------------------------------------------------------
-pragma Restrictions (No_Exception_Propagation);
pragma Restrictions (No_Exception_Registration);
pragma Restrictions (No_Implicit_Dynamic_Code);