https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102720
--- Comment #10 from Jan Hubicka <hubicka at gcc dot gnu.org> --- copied ealias dump rather than alis dump in previous comment. alias dump is int main () { void * p; long unsigned int _1; <bb 2> [local count: 1073741824]: # PT = null { D.2014 } # ALIGN = 8, MISALIGN = 0 # USE = anything # CLB = anything p_4 = malloc (1024); # USE = anything # CLB = anything memset (p_4, 15, 1024); MEM[(uint8_t *)p_4 + 1B] = 0; # USE = nonlocal escaped { D.2008 } _1 = test_uint8_tsize_t (p_4); if (_1 != 1) goto <bb 3>; [0.00%] else goto <bb 4>; [100.00%] <bb 3> [count: 0]: # USE = nonlocal escaped # CLB = nonlocal escaped __builtin_abort (); <bb 4> [local count: 1073741824]: return 0; }