https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99797
--- Comment #6 from Martin Uecker <muecker at gwdg dot de> --- Annex J is not normative. The normative text is the one I cited and that mentions "address taken". Reading an indeterminate values is not UB if it is not a trap representation and then yield an unspecified value (at least according to the normative text of the most recent ISO C standard). But the standard is up to interpretation and may very well change. This is not my main point. My main point is that the behavior is dangerous because it breaks basic logical assumptions about the code. So even if this were UB I think it is not ideal.
