| // 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 files 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 GRSimpleVals : public GRTransferFuncs { |
| public: |
| GRSimpleVals() {} |
| virtual ~GRSimpleVals() {} |
| |
| // Casts. |
| |
| virtual RValue EvalCast(ValueManager& ValMgr, NonLValue V, Expr* CastExpr); |
| virtual RValue EvalCast(ValueManager& ValMgr, LValue V, Expr* CastExpr); |
| |
| // Unary Operators. |
| |
| virtual NonLValue EvalMinus(ValueManager& ValMgr, UnaryOperator* U, |
| NonLValue X); |
| |
| virtual NonLValue EvalComplement(ValueManager& ValMgr, NonLValue X); |
| |
| // Binary Operators. |
| |
| virtual NonLValue EvalBinaryOp(ValueManager& ValMgr, |
| BinaryOperator::Opcode Op, |
| NonLValue LHS, NonLValue RHS); |
| |
| virtual RValue EvalBinaryOp(ValueManager& ValMgr, |
| BinaryOperator::Opcode Op, |
| LValue LHS, LValue RHS); |
| |
| // Pointer arithmetic. |
| |
| virtual LValue EvalBinaryOp(ValueManager& ValMgr, BinaryOperator::Opcode Op, |
| LValue LHS, NonLValue RHS); |
| |
| protected: |
| // Equality operators for LValues. |
| NonLValue EvalEQ(ValueManager& ValMgr, LValue LHS, LValue RHS); |
| NonLValue EvalNE(ValueManager& ValMgr, LValue LHS, LValue RHS); |
| }; |
| |
| |
| } // end clang namespace |
| |
| #endif |