[PATCH] D107960: [clang][analyzer] Make ReturnPtrRange checker warn at negative index.

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

steakhal requested changes to this revision.
steakhal added a comment.
This revision now requires changes to proceed.

If `assumeInBound()` behaves unexpectedly, we should probably fix that instead.
This change would workaround the issue, instead of fixing it. By fixing the root cause all users of `assumeInBound()` would benefit.
I recommend you to have a deeper look at the insides of `assumeInBound()` investigating why it behaves that way.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D107960