https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102200
Martin Sebor <msebor at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |msebor at gcc dot
gnu.org
Status|NEW |ASSIGNED
--- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> ---
The pointer_query code assumes that both pointer operands of a MIN_EXPR and
MAX_EXPR refer to the same object as required by the language. The test case
violates that assumption by setting curr to point to the function first and
then comparing it to the address of the local variable end. pointer_query
simply needs to avoid making this assumption (ideally while also arranging for
the invalid pointer relational expressions to be diagnosed).
