[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