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

Reply via email to