blob: 3716ed9691096891bedfbcfff4cbba4a9cf41731 [file] [log] [blame]
//== GRTransferFuncs.cpp - Path-Sens. Transfer Functions Interface -*- 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 GRTransferFuncs, which provides a base-class that
// defines an interface for transfer functions used by GRExprEngine.
//
//===----------------------------------------------------------------------===//
#include "clang/Analysis/PathSensitive/GRTransferFuncs.h"
using namespace clang;
//===----------------------------------------------------------------------===//
// Transfer function for Casts.
//===----------------------------------------------------------------------===//
RValue GRTransferFuncs::EvalCast(ValueManager& ValMgr, RValue X,
Expr* CastExpr) {
switch (X.getBaseKind()) {
default:
assert(false && "Invalid RValue."); break;
case RValue::LValueKind:
return EvalCast(ValMgr, cast<LValue>(X), CastExpr);
case RValue::NonLValueKind:
return EvalCast(ValMgr, cast<NonLValue>(X), CastExpr);
case RValue::UninitializedKind:
case RValue::UnknownKind: break;
}
return X;
}