<p>Nico Huber has uploaded this change for <strong>review</strong>.</p><p><a href="https://review.coreboot.org/26350">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">lib/gnat: Drop Restriction `No_Exception_Propagation`<br><br>It turns out that even with the `-gnatp` switch to suppress runtime<br>checks, the compiler is still allowed to generate them (it only doesn't<br>have to). If we can't control generation of exceptions, we also can't<br>make assumptions about their propagation.<br><br>Change-Id: I7470d74b1f96f90d0d15b24dfd636d5f1c778d46<br>Signed-off-by: Nico Huber <nico.huber@secunet.com><br>---<br>M src/lib/gnat/system.ads<br>1 file changed, 0 insertions(+), 1 deletion(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">git pull ssh://review.coreboot.org:29418/coreboot refs/changes/50/26350/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;"><span>diff --git a/src/lib/gnat/system.ads b/src/lib/gnat/system.ads</span><br><span>index aed5592..74ced54 100644</span><br><span>--- a/src/lib/gnat/system.ads</span><br><span>+++ b/src/lib/gnat/system.ads</span><br><span>@@ -34,7 +34,6 @@</span><br><span> --                                                                          --</span><br><span> ------------------------------------------------------------------------------</span><br><span> </span><br><span style="color: hsl(0, 100%, 40%);">-pragma Restrictions (No_Exception_Propagation);</span><br><span> pragma Restrictions (No_Exception_Registration);</span><br><span> </span><br><span> pragma Restrictions (No_Implicit_Dynamic_Code);</span><br><span></span><br></pre><p>To view, visit <a href="https://review.coreboot.org/26350">change 26350</a>. To unsubscribe, or for help writing mail filters, visit <a href="https://review.coreboot.org/settings">settings</a>.</p><div itemscope itemtype="http://schema.org/EmailMessage"><div itemscope itemprop="action" itemtype="http://schema.org/ViewAction"><link itemprop="url" href="https://review.coreboot.org/26350"/><meta itemprop="name" content="View Change"/></div></div>

<div style="display:none"> Gerrit-Project: coreboot </div>
<div style="display:none"> Gerrit-Branch: master </div>
<div style="display:none"> Gerrit-MessageType: newchange </div>
<div style="display:none"> Gerrit-Change-Id: I7470d74b1f96f90d0d15b24dfd636d5f1c778d46 </div>
<div style="display:none"> Gerrit-Change-Number: 26350 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: Nico Huber <nico.h@gmx.de> </div>