From d9bc33efa195114d6f2a365c26e5b8dba4e1cc38 Mon Sep 17 00:00:00 2001 From: Ted Kremenek Date: Fri, 17 Oct 2008 00:51:01 +0000 Subject: Remove lval::FieldOffset, lval::ArrayOffset. These will be replaced with regions. Remove GRExprEngine::getLVal and RValues::MakeVal. Enhance StoreManager "GetLValue" methods to dispatch for specific kinds of lvalue queries, as opposed to interogating the expression tree (GRExprEngine already does this). Added FIXMEs. In particular, we no longer "assume" that a base pointer in a field/array access is null (this logic was removed). Perhaps we should do this when fetching the lvalue for fields and array elements? git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@57657 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Analysis/BasicConstraintManager.cpp | 8 -------- 1 file changed, 8 deletions(-) (limited to 'lib/Analysis/BasicConstraintManager.cpp') diff --git a/lib/Analysis/BasicConstraintManager.cpp b/lib/Analysis/BasicConstraintManager.cpp index 66bf082b13..8d391bbb58 100644 --- a/lib/Analysis/BasicConstraintManager.cpp +++ b/lib/Analysis/BasicConstraintManager.cpp @@ -136,14 +136,6 @@ const GRState* BasicConstraintManager::AssumeAux(const GRState* St, LVal Cond, isFeasible = Assumption; return St; - case lval::FieldOffsetKind: - return AssumeAux(St, cast(Cond).getBase(), - Assumption, isFeasible); - - case lval::ArrayOffsetKind: - return AssumeAux(St, cast(Cond).getBase(), - Assumption, isFeasible); - case lval::ConcreteIntKind: { bool b = cast(Cond).getValue() != 0; isFeasible = b ? Assumption : !Assumption; -- cgit v1.2.3-18-g5258