[PATCH] D38214: [analyzer] Fix crash on modeling of pointer arithmetic

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

Looks good!

I guess the accurate thing to do would be to return LocAsInteger of type `intptr_t` of an ElementRegion with index `-1` from SymbolicRegion around `p`. But i'm totally fine with another `UnknownVal` placeholder until this becomes an actual problem.


Repository:
  rL LLVM

https://reviews.llvm.org/D38214