https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82925
Jan Hubicka <hubicka at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #2 from Jan Hubicka <hubicka at gcc dot gnu.org> --- I get ;; Function main (main, funcdef_no=0, decl_uid=1892, cgraph_uid=0, symbol_order=1) (executed once) main () { <bb 2> [local count: 1073741825]: return 0; } which seems fine and vrp101 passes for me, so I am closing.