https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109542
--- Comment #3 from Amos Maimon <amos.maimon at sap dot com> --- 1. the same will occur if you will do : p[0xffffe] = 0xfc; 2. how do you explin the fact that if the null set in the function (SIMPLE_WRITE case) gcc compile it without ud2a