On 11/24/2015 04:01 PM, Jakub Jelinek wrote:
2) the downcast check is just DERIVED_FROM_P check, but my undestanding of that is that DERIVED_FROM_P (x, x) is true too
Yes, but you can use is_properly_derived_from instead. With that change the first cast is OK for trunk and branch. Jason