[cfe-commits] r74231 - /cfe/trunk/lib/Analysis/GRSimpleVals.h

[Ted Kremenek]

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