[PATCH] D26837: [analyzer] Litter the SVal/SymExpr/MemRegion class hierarchy with asserts.

Artem Dergachev via cfe-commits cfe-commits at lists.llvm.org
Fri Nov 18 01:59:31 PST 2016


NoQ 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);
----------------
seaneveson wrote:
> Was this meant to be an assert?
Whoops thanks :) No, it's misplaced code, the similar assert is in the constructor.


https://reviews.llvm.org/D26837





More information about the cfe-commits mailing list