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
  • [clang] [... Erich Keane via cfe-commits
    • [cla... via cfe-commits
    • [cla... via cfe-commits
    • [cla... Bruno Cardoso Lopes via cfe-commits
    • [cla... Bruno Cardoso Lopes via cfe-commits
    • [cla... Bruno Cardoso Lopes via cfe-commits
    • [cla... Bruno Cardoso Lopes via cfe-commits
    • [cla... Valentin Clement バレンタイン クレメン via cfe-commits
    • [cla... Erich Keane via cfe-commits
    • [cla... Erich Keane via cfe-commits
    • [cla... Erich Keane via cfe-commits
    • [cla... Erich Keane via cfe-commits
    • [cla... LLVM Continuous Integration via cfe-commits

Reply via email to