[PATCH] D55875: [analyzer] pr38668: RegionStore: Do not attempt to cast loaded values of non-scalar types.

[Artem Dergachev via Phabricator via cfe-commits]

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

Revert!



================
Comment at: lib/StaticAnalyzer/Core/Store.cpp:410
 
+  QualType OrigTy = R->getValueType();
+
----------------
This is entirely incorrect. The whole point of this function is to handle the case when `R->getValueType()` has nothing to do with the original type of `V`.

Unfortunately, "type of an `SVal`" is not a thing, so it's going to be a bit more verbose.


Repository:
  rC Clang

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

https://reviews.llvm.org/D55875