compiler: Skip copy-backs only if no write to the guard intervenes - #3062

compiler: Skip copy-backs only if no write to the guard intervenes#3062

ggorman wants to merge 1 commit into

fix-buffering-guardsdevitocodes/devito:fix-buffering-guardsfrom

fix-buffering-skip-ruledevitocodes/devito:fix-buffering-skip-ruleCopy head branch name to clipboard