steakhal added a comment.

This would be a serious change. Especially if we internally already depend on 
modulo arithmetic.
For example, the `ArrayBoundV2` might exploit this fact - when it rearranges 
the inequality. I might be wrong on this though.
Besides that checker, I can't mention any others.

Furthermore, the readability of the bug reports in their current form is not 
quite enough.
I'm not against the idea, but it probably needs some refinement and measurement.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D92634/new/

https://reviews.llvm.org/D92634

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to