On 05/11/2018 11:06 AM, Jakub Jelinek wrote:
If any change needs to be done, yeah. For the middle-end, having POINTER_TYPE_P including reference type is highly desirable, otherwise people will just forget to handle REFERENCE_TYPE; after all, useless_type_conversion_p says that POINTER_TYPE <-> REFERENCE_TYPE conversions are useless, so the distinction is lost during optimizations really soon.
The middle ends don't know that in C++ REFERENCE_TYPE is never a null pointer (IIUC). It might be nice if they knew that.
nathan -- Nathan Sidwell