In http://reviews.llvm.org/D8811#151714, @rsmith wrote:

> 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.


I expect that output.

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... pointer-to-function's typeid is different than void's 
(the example output was meant to show that). What causes control to enter the 
'then' side of that if in that case?


http://reviews.llvm.org/D8811

EMAIL PREFERENCES
  http://reviews.llvm.org/settings/panel/emailpreferences/



_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits

Reply via email to