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

Handle lval::ArrayOffset and lval::FieldOffset in EvalNE and EvalEQ. 

llvm-svn: 50486
This commit is contained in:
Ted Kremenek 2008-04-30 16:07:22 +00:00
parent dd477ce32b
commit 39a736f723
1 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
clang/lib/Analysis/GRSimpleVals.cpp
View File

@ -483,6 +483,11 @@ RVal GRSimpleVals::EvalEQ(GRExprEngine& Eng, LVal L, LVal R) {
return UnknownVal();
}
// FIXME: Different offsets can map to the same memory cell.
case lval::ArrayOffsetKind:
case lval::FieldOffsetKind:
// Fall-through.
case lval::DeclValKind:
case lval::FuncValKind:
case lval::GotoLabelKind:
@ -541,6 +546,11 @@ RVal GRSimpleVals::EvalNE(GRExprEngine& Eng, LVal L, LVal R) {
break;
}
// FIXME: Different offsets can map to the same memory cell.
case lval::ArrayOffsetKind:
case lval::FieldOffsetKind:
// Fall-through.
case lval::DeclValKind:
case lval::FuncValKind:
case lval::GotoLabelKind: