[PATCH] D36564: [analyzer] Fix SimpleSValBuilder::simplifySVal

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added a comment.

I see, it seems that we've constructed `$x - 1` somewhere, where `$x` is a pointer, while such stuff normally looks as `&element{SymRegion{$x}, -1}`. I guess i'd have to take a more careful look at it soon.


Repository:
  rL LLVM

https://reviews.llvm.org/D36564