https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110402
--- Comment #4 from lsof at mailbox dot org --- I retract my previous comment about `&v[key] != 0` being possibly false, since in C it is undefined behavior to perform pointer arithmetic on the null pointer even with an addend of zero. But I still think that it shouldn't occur in the context of a subexpression like the one in the testcase.
