Re: [PATCH] better handle MIN/MAX_EXPR of unrelated objects [PR102200]

2021-09-16 Thread Jeff Law via Gcc-patches
On 9/16/2021 6:28 PM, Martin Sebor via Gcc-patches wrote: When computing the size of an object pointed to by the result of a MIN/MAX_EXPR, the handle_min_max_size() function tries to deal gracefully with operands that designate distinct objects.  But the handling fails to consider an edge case

[PATCH] better handle MIN/MAX_EXPR of unrelated objects [PR102200]

2021-09-16 Thread Martin Sebor via Gcc-patches
When computing the size of an object pointed to by the result of a MIN/MAX_EXPR, the handle_min_max_size() function tries to deal gracefully with operands that designate distinct objects. But the handling fails to consider an edge case when one of the operands is a PHI one of whose operands refer