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

[Gabor Marton via Phabricator via cfe-commits]

martong added a comment.

Would it make sense to tweak `assumeInBound` in a way to handle symbolic regions differently than concrete regions?
I mean

  static int arr[10];
  return arr - 1; // we want a warning here
  ...
  
  int *p = conjure();
  return p - 1;  // no warning here


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D107960