[PATCH] D26837: [analyzer] Litter the SVal/SymExpr/MemRegion class hierarchy with asserts.
Sean Eveson via cfe-commits
cfe-commits at lists.llvm.org
Fri Nov 18 01:40:56 PST 2016
seaneveson added inline comments.
================
Comment at: lib/StaticAnalyzer/Core/MemRegion.cpp:334
void BlockCodeRegion::Profile(llvm::FoldingSetNodeID& ID) const {
+ locTy->getTypePtr()->isBlockPointerType();
BlockCodeRegion::ProfileRegion(ID, BD, locTy, AC, superRegion);
----------------
Was this meant to be an assert?
https://reviews.llvm.org/D26837
More information about the cfe-commits
mailing list