[PATCH] D92634: [Analyzer] Diagnose signed integer overflow

[Balázs Benics via Phabricator via cfe-commits]

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