https://gcc.gnu.org/bugzilla/show_bug.cgi?id=84747
--- Comment #3 from Stefan M Freudenberger <stefan at reservoir dot com> --- In this case I would have expected that TARGET_ADDR_SPACE_SUBSET_P will return TRUE, as appropriate. Granted, it would render my example invalid for x86.