[cfe-commits] r74231 - /cfe/trunk/lib/Analysis/GRSimpleVals.h
Ted Kremenek
kremenek at apple.com
Thu Jun 25 17:08:20 PDT 2009
Author: kremenek
Date: Thu Jun 25 19:08:20 2009
New Revision: 74231
URL: http://llvm.org/viewvc/llvm-project?rev=74231&view=rev
Log:
Remove orphaned header file.
Removed:
cfe/trunk/lib/Analysis/GRSimpleVals.h
Removed: cfe/trunk/lib/Analysis/GRSimpleVals.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/GRSimpleVals.h?rev=74230&view=auto
==============================================================================
--- cfe/trunk/lib/Analysis/GRSimpleVals.h (original)
+++ cfe/trunk/lib/Analysis/GRSimpleVals.h (removed)
@@ -1,80 +0,0 @@
-// GRSimpleVals.h - Transfer functions for tracking simple values -*- C++ -*--//
-//
-// The LLVM Compiler Infrastructure
-//
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-//===----------------------------------------------------------------------===//
-//
-// This file defines GRSimpleVals, a sub-class of GRTransferFuncs that
-// provides transfer functions for performing simple value tracking with
-// limited support for symbolics.
-//
-//===----------------------------------------------------------------------===//
-
-#ifndef LLVM_CLANG_ANALYSIS_GRSIMPLEVALS
-#define LLVM_CLANG_ANALYSIS_GRSIMPLEVALS
-
-#include "clang/Analysis/PathSensitive/GRTransferFuncs.h"
-#include "clang/Analysis/PathSensitive/GRExprEngine.h"
-
-namespace clang {
-
-class PathDiagnostic;
-class ASTContext;
-
-class GRSimpleVals : public GRTransferFuncs {
-protected:
-
- virtual SVal DetermEvalBinOpNN(GRExprEngine& Eng,
- BinaryOperator::Opcode Op,
- NonLoc L, NonLoc R, QualType T);
-
-public:
- GRSimpleVals() {}
- virtual ~GRSimpleVals() {}
-
- // Casts.
-
- virtual SVal EvalCast(GRExprEngine& Engine, NonLoc V, QualType CastT);
- virtual SVal EvalCast(GRExprEngine& Engine, Loc V, QualType CastT);
-
- // Unary Operators.
-
- virtual SVal EvalMinus(GRExprEngine& Engine, UnaryOperator* U, NonLoc X);
-
- virtual SVal EvalComplement(GRExprEngine& Engine, NonLoc X);
-
- // Binary Operators.
-
- virtual SVal EvalBinOp(GRExprEngine& Engine, BinaryOperator::Opcode Op,
- Loc L, Loc R);
-
- // Pointer arithmetic.
-
- virtual SVal EvalBinOp(GRExprEngine& Engine, const GRState *state,
- BinaryOperator::Opcode Op, Loc L, NonLoc R);
-
- // Calls.
-
- virtual void EvalCall(ExplodedNodeSet<GRState>& Dst,
- GRExprEngine& Engine,
- GRStmtNodeBuilder<GRState>& Builder,
- CallExpr* CE, SVal L,
- ExplodedNode<GRState>* Pred);
-
- virtual void EvalObjCMessageExpr(ExplodedNodeSet<GRState>& Dst,
- GRExprEngine& Engine,
- GRStmtNodeBuilder<GRState>& Builder,
- ObjCMessageExpr* ME,
- ExplodedNode<GRState>* Pred);
-protected:
-
- // Equality (==, !=) operators for Locs.
- SVal EvalEquality(GRExprEngine& Engine, Loc L, Loc R, bool isEqual);
-};
-
-} // end clang namespace
-
-#endif
More information about the cfe-commits
mailing list