From 4a027e6e95665f2c7cb9297c04d60e1b58b815b2 Mon Sep 17 00:00:00 2001 From: Nico Huber Date: Thu, 17 May 2018 15:59:55 +0200 Subject: 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 Reviewed-on: https://review.coreboot.org/26350 Tested-by: build bot (Jenkins) Reviewed-by: Patrick Georgi --- src/lib/gnat/system.ads | 1 - 1 file changed, 1 deletion(-) 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); -- cgit v1.2.3