https://gcc.gnu.org/bugzilla/show_bug.cgi?id=29970
--- Comment #13 from Martin Uecker <muecker at gwdg dot de> --- The remaining problem with constant index 0 for the patch mentioned above, appears to be related to fold_binary_loc which transforms (a + (x, 0)) to (x, a) which breaks if 'x' depends on something in 'a'.