On 06/30/2017 05:37 PM, Pedro Alves wrote: > I've now sent the patch to gdb-patches: > > https://sourceware.org/ml/gdb-patches/2017-06/msg00827.html > > Could one of you check whether the type printer kicks in with that, > in the problematic cast case? I put it on the users/palves/whatis branch as well, btw. Thanks, Pedro Alves