https://gcc.gnu.org/bugzilla/show_bug.cgi?id=85509
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Severity|normal |enhancement --- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> --- For some reason CCP1 is not able to do it but CCP2 can; though CCP2 is after inlining so IPA so nothing is done with respect to inlining and such. CCP1 dump: Visiting statement: # VUSE <.MEM_13> PerformSafely.3_3 = _ZZL7RunTestvE13PerformSafelyD.2380; which is likely CONSTANT Lattice value changed to VARYING. Adding SSA edges to worklist. CCP2 dump: Visiting statement: # VUSE <.MEM_8> # PT = nonlocal escaped null PerformSafely.2_2 = _ZZ7RunTestvE13PerformSafelyD.2379; which is likely CONSTANT Lattice value changed to CONSTANT _Z7PerformIL_ZL9SumSafelyRiRKiEEbS0_S2_D.2380. Adding SSA edges to worklist. marking stmt to be not simulated again