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

Punt on unifying symbolic lvalues. This won't be needed for many checkers. 

llvm-svn: 47489
This commit is contained in:
Ted Kremenek 2008-02-22 18:41:59 +00:00
parent ac6951a0b9
commit 43638a87e5
1 changed files with 12 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
clang/Analysis/GRSimpleVals.cpp
View File

@ -225,11 +225,12 @@ RVal GRSimpleVals::EvalEQ(ValueManager& ValMgr, LVal L, LVal R) {
return nonlval::SymIntConstraintVal(C);
}
// FIXME: Implement unification
return UnknownVal();
//assert (!isa<lval::SymbolVal>(R) && "FIXME: Implement unification.");
break;
// FIXME: Implement == for lval Symbols. This is mainly useful
// in iterator loops when traversing a buffer, e.g. while(z != zTerm).
// Since this is not useful for many checkers we'll punt on this for
// now.
return UnknownVal();
}
case lval::DeclValKind:
@ -278,7 +279,12 @@ RVal GRSimpleVals::EvalNE(ValueManager& ValMgr, LVal L, LVal R) {
return nonlval::SymIntConstraintVal(C);
}
assert (!isa<lval::SymbolVal>(R) && "FIXME: Implement sym !=.");
// FIXME: Implement != for lval Symbols. This is mainly useful
// in iterator loops when traversing a buffer, e.g. while(z != zTerm).
// Since this is not useful for many checkers we'll punt on this for
// now.
return UnknownVal();
break;
}