[PATCH] D124761: [analyzer] Replace adjacent assumeInBound calls to assumeInBoundDual

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

steakhal accepted this revision.
steakhal added a comment.
This revision is now accepted and ready to land.

LGTM; Although, I missed some doc comments here and there. This is a really important API, it deserves a few words.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D124761