<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Fri, Apr 3, 2015 at 5:21 PM, Jonathan Roelofs <span dir="ltr"><<a href="mailto:jonathan@codesourcery.com" target="_blank">jonathan@codesourcery.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">In <a href="http://reviews.llvm.org/D8811#151714" target="_blank">http://reviews.llvm.org/D8811#151714</a>, @rsmith wrote:<br>
<br>
> What confuses you about that output? The patch says that a pointer type whose pointee type is 'void' cannot catch a pointer-to-function; this appears to be a correct change to me.<br>
<br>
<br>
</span>I expect that output.<br>
<br>
I'm confused by the patch because I don't understand how a thrown pointer-to-function could result in `is_equal(__pointee, &typeid(void), false))` being true...</blockquote><div><br></div><div>The existing code is checking whether the type of the *catch parameter* is a pointer to void. The new code is checking whether the type of the *thrown object* is a pointer to function.</div></div></div></div>