https://gcc.gnu.org/bugzilla/show_bug.cgi?id=59660
--- Comment #21 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #20) > Current failures with updated patch: > +XPASS: gcc.dg/attr-alloc_size-11.c missing range info for short (test for > warnings, line 51) > +XPASS: gcc.dg/attr-alloc_size-11.c missing range info for signed char (test > for warnings, line 50) This is unrelated to this patch; see PR 80006 . > > +FAIL: gcc.dg/pr46309-2.c scan-tree-dump-times reassoc1 "Optimizing range > tests a_[0-9]*.D. -.1, 1. and -.2, 2. and -.3, 3. and -.4, 4. and -.5, 5. > and -.6, 6. and -.7, 7. and -.8, 8.[\\n\\r]* into" 7 > +FAIL: gcc.dg/pr46309-2.c scan-tree-dump-times reassoc1 "Optimizing range > tests a_[0-9]*.D. -.1, 1. and -.2, 2. and -.3, 3. and -.4, 4.[\\n\\r]* into" > 2 So gcc.dg/pr46309-2.c is f10 being missed out, there is nothing wrong with the transformation that phiprop did. In fact with the C++ front-end, we end up with the same IR as after