diff options
author | George Karpenkov <ekarpenkov@apple.com> | 2018-02-27 19:28:52 +0000 |
---|---|---|
committer | George Karpenkov <ekarpenkov@apple.com> | 2018-02-27 19:28:52 +0000 |
commit | d1400213f524607820734ebf2efdf5e12db4a662 (patch) | |
tree | f57b4682d6d606a8c670ced73b2c3965a3086162 | |
parent | 53c1c10bebf401c2a1e5492725b56ba91cc62477 (diff) | |
download | bcm5719-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.cpp | 2 |
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!"); |