https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65958
--- Comment #2 from Felix Janda <felix.janda at posteo dot de> --- Actually I can hit this issue also with sh4 and microblaze. The test program needs to be modified slightly: int main(void) { char *p; if(1) { char i[48]; p = __builtin_alloca(8); p[0] = 1; } if(1) { char i[48] , j[64]; j[52] = 0; } return !p[0]; }