<p>Patrick Georgi has uploaded this change for <strong>review</strong>.</p><p><a href="https://review.coreboot.org/20366">View Change</a></p><pre style="font-family: monospace,monospace; white-space: pre-wrap;">util/crossgcc: Fix building gcc 6.3.0 with clang<br><br>It assumes that __builtin_longjmp takes a void **, which is decidedly<br>distinctive from void *.<br><br>Change-Id: I1930bb01dd62bd6abf0688b118236db2a9299e40<br>Signed-off-by: Patrick Georgi <pgeorgi@chromium.org><br>---<br>A util/crossgcc/patches/gcc-6.3.0_ada-raise.patch<br>1 file changed, 11 insertions(+), 0 deletions(-)<br><br></pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">git pull ssh://review.coreboot.org:29418/coreboot refs/changes/66/20366/1</pre><pre style="font-family: monospace,monospace; white-space: pre-wrap;">diff --git a/util/crossgcc/patches/gcc-6.3.0_ada-raise.patch b/util/crossgcc/patches/gcc-6.3.0_ada-raise.patch<br>new file mode 100644<br>index 0000000..a081957<br>--- /dev/null<br>+++ b/util/crossgcc/patches/gcc-6.3.0_ada-raise.patch<br>@@ -0,0 +1,11 @@<br>+--- gcc-6.3.0/gcc/ada/raise.c.orig        2017-06-24 07:06:41.524685169 +0200<br>++++ gcc-6.3.0/gcc/ada/raise.c     2017-06-24 07:07:12.945162120 +0200<br>+@@ -55,7 +55,7 @@<br>+ void<br>+ _gnat_builtin_longjmp (void *ptr, int flag ATTRIBUTE_UNUSED)<br>+ {<br>+-   __builtin_longjmp (ptr, 1);<br>++   __builtin_longjmp ((void **)ptr, 1);<br>+ }<br>+ #endif<br>+ <br></pre><p>To view, visit <a href="https://review.coreboot.org/20366">change 20366</a>. To unsubscribe, 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/20366"/><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: I1930bb01dd62bd6abf0688b118236db2a9299e40 </div>
<div style="display:none"> Gerrit-Change-Number: 20366 </div>
<div style="display:none"> Gerrit-PatchSet: 1 </div>
<div style="display:none"> Gerrit-Owner: Patrick Georgi <pgeorgi@google.com> </div>