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

Fix variables used only in asserts. 

Summary: Fix variables used only in asserts.

Subscribers: cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D81522
This commit is contained in:
Sterling Augustine 2020-06-09 17:10:22 -07:00
parent 938cc573ee
commit ccd192204d
1 changed files with 8 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
clang/unittests/StaticAnalyzer/ParamRegionTest.cpp
View File

@ -20,8 +20,8 @@ class ParamRegionTestConsumer : public ExprEngineConsumer {
const StackFrameContext *SFC,
const ParmVarDecl *PVD) {
for (const auto *D2: PVD->redecls()) {
const auto *PVD2 = cast<ParmVarDecl>(D2);
assert(MRMgr.getVarRegion(PVD, SFC) == MRMgr.getVarRegion(PVD2, SFC));
assert(MRMgr.getVarRegion(PVD, SFC) ==
MRMgr.getVarRegion(cast<ParmVarDecl>(D2), SFC));
}
}
@ -33,29 +33,26 @@ class ParamRegionTestConsumer : public ExprEngineConsumer {
if (const auto *FD = dyn_cast<FunctionDecl>(D)) {
for (const auto *P : FD->parameters()) {
const TypedValueRegion *Reg = MRMgr.getVarRegion(P, SFC);
if (SFC->inTopFrame())
assert(isa<NonParamVarRegion>(Reg));
assert(isa<NonParamVarRegion>(MRMgr.getVarRegion(P, SFC)));
else
assert(isa<ParamVarRegion>(Reg));
assert(isa<ParamVarRegion>(MRMgr.getVarRegion(P, SFC)));
checkForSameParamRegions(MRMgr, SFC, P);
}
} else if (const auto *CD = dyn_cast<CXXConstructorDecl>(D)) {
for (const auto *P : CD->parameters()) {
const TypedValueRegion *Reg = MRMgr.getVarRegion(P, SFC);
if (SFC->inTopFrame())
assert(isa<NonParamVarRegion>(Reg));
assert(isa<NonParamVarRegion>(MRMgr.getVarRegion(P, SFC)));
else
assert(isa<ParamVarRegion>(Reg));
assert(isa<ParamVarRegion>(MRMgr.getVarRegion(P, SFC)));
checkForSameParamRegions(MRMgr, SFC, P);
}
} else if (const auto *MD = dyn_cast<ObjCMethodDecl>(D)) {
for (const auto *P : MD->parameters()) {
const TypedValueRegion *Reg = MRMgr.getVarRegion(P, SFC);
if (SFC->inTopFrame())
assert(isa<NonParamVarRegion>(Reg));
assert(isa<NonParamVarRegion>(MRMgr.getVarRegion(P, SFC)));
else
assert(isa<ParamVarRegion>(Reg));
assert(isa<ParamVarRegion>(MRMgr.getVarRegion(P, SFC)));
checkForSameParamRegions(MRMgr, SFC, P);
}
}