Example: int *f(int *b) { int * a = new int[104]; *a = 1; if (a == 0) return b; return a; } ----- Found this while looking into tramp3d.
-- Summary: Fowardprop does harm for VRP to figure out if a point is non zero Product: gcc Version: 4.2.0 Status: UNCONFIRMED Keywords: missed-optimization Severity: enhancement Priority: P3 Component: tree-optimization AssignedTo: unassigned at gcc dot gnu dot org ReportedBy: pinskia at gcc dot gnu dot org OtherBugsDependingO 22501 nThis: http://gcc.gnu.org/bugzilla/show_bug.cgi?id=26406