https://gcc.gnu.org/bugzilla/show_bug.cgi?id=104475
--- Comment #5 from Andrew Macleod <amacleod at redhat dot com> --- We do have the option of not trying to determine anything about _1 in situations like this.. I tried removing the op1_range() routine for addr_expr, and we pass all tests just fine. we would pick up non-null, if relevant, during normal processing. It may not be necessary to try to determine things like this during the outgoing edge calculation.. especially if its causing issues...