summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorGeorge Karpenkov <ekarpenkov@apple.com>2018-02-27 19:28:52 +0000
committerGeorge Karpenkov <ekarpenkov@apple.com>2018-02-27 19:28:52 +0000
commitd1400213f524607820734ebf2efdf5e12db4a662 (patch)
treef57b4682d6d606a8c670ced73b2c3965a3086162
parent53c1c10bebf401c2a1e5492725b56ba91cc62477 (diff)
downloadbcm5719-llvm-d1400213f524607820734ebf2efdf5e12db4a662.tar.gz
bcm5719-llvm-d1400213f524607820734ebf2efdf5e12db4a662.zip
[analyzer] Remove redundant check
There is no point in assigning void just to crash on it in the next line Differential Revision: https://reviews.llvm.org/D43802 llvm-svn: 326234
-rw-r--r--clang/lib/StaticAnalyzer/Core/RegionStore.cpp2
1 files changed, 0 insertions, 2 deletions
diff --git a/clang/lib/StaticAnalyzer/Core/RegionStore.cpp b/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
index 604adde9a7f..686216ae29e 100644
--- a/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
+++ b/clang/lib/StaticAnalyzer/Core/RegionStore.cpp
@@ -1401,8 +1401,6 @@ SVal RegionStoreManager::getBinding(RegionBindingsConstRef B, Loc L, QualType T)
T = TR->getLocationType()->getPointeeType();
else if (const SymbolicRegion *SR = dyn_cast<SymbolicRegion>(MR))
T = SR->getSymbol()->getType()->getPointeeType();
- else if (isa<AllocaRegion>(MR))
- T = Ctx.VoidTy;
}
assert(!T.isNull() && "Unable to auto-detect binding type!");
assert(!T->isVoidType() && "Attempting to dereference a void pointer!");
OpenPOWER on IntegriCloud