[PATCH] D55875: [analyzer] pr38668: RegionStore: Do not attempt to cast loaded values of non-scalar types.
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Thu Dec 20 11:39:52 PST 2018
NoQ reopened this revision.
NoQ added a comment.
This revision is now accepted and ready to land.
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.
CHANGES SINCE LAST ACTION
More information about the cfe-commits