[PATCH] D105273: [analyzer] Introduce range-based reasoning for subtraction operator

[Manas Gupta via Phabricator via cfe-commits]

manas added a comment.

In D105273#2891921 <https://reviews.llvm.org/D105273#2891921>, @manas wrote:

> Here is the proof using Z3: https://gist.github.com/weirdsmiley/8a35a0e1f55f310e3566cbd47555491a

I have updated the proof for Sub.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D105273