On 5/16/19 7:12 PM, Paolo Carlini wrote:
Hi,when Roberto Agostino and I implemented the front-end devirtualization of final overriders we missed this case, where it comes from the base. It seems to me that by way of access_path the existing approach can be neatly extended. Tested x86_64-linux.
+ || CLASSTYPE_FINAL (TREE_TYPE (cand->access_path)))
This will give the wrong type when the function is called with an explicit scope; you probably want to look at argtype instead.
Jason
