[PATCH] D55701: [analyzer] Pass the correct loc Expr from VisitIncDecOp to evalStore

[Artem Dergachev via Phabricator via cfe-commits]

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

Thanks! Neat test.

Can we now `assert(LocationE->isGLValue())` in `evalStore()`? What about `evalLoad()`?

Also, were no other checkers affected? Like, will null pointer dereference checker now warn upon something like `(*0)++` or `++(*0)`?

You can commit the patch, but i would also love to see these questions investigated.


Repository:
  rC Clang

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

https://reviews.llvm.org/D55701