maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

Invert condition on branch (was causing RegionStore::ArrayToPointer to return 'unknown' on most cases. 

llvm-svn: 62129
This commit is contained in:
Ted Kremenek 2009-01-13 01:03:27 +00:00
parent c5e61070f6
commit 167f2fa5f4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
clang/lib/Analysis/RegionStore.cpp
View File

@ -452,7 +452,7 @@ SVal RegionStoreManager::ArrayToPointer(SVal Array) {
const MemRegion* R = cast<loc::MemRegionVal>(&Array)->getRegion();
const TypedRegion* ArrayR = dyn_cast<TypedRegion>(R);
if (ArrayR)
if (!ArrayR)
return UnknownVal();
nonloc::ConcreteInt Idx(getBasicVals().getZeroWithPtrWidth(false));