erichkeane wrote: > > This did require some work to ensure that the cache doesn't have 'vars' > > that aren't inside of the loop, but Sema is taking care of that with a > > warning > > Because it's a warning, is there anything we can add to existing verifiers to > sanity check the invariant?
I couldn't think of any? Though the purpose of it/the warning is to avoid the 'does not dominate' validation warnings, which are caused if we try to emit something that violates these rules. https://github.com/llvm/llvm-project/pull/146915 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits