blob: 29d6216b717633f99a7bc6d9a3dfe7bfe6a6473b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
|
//== 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.
//===----------------------------------------------------------------------===//
RVal GRTransferFuncs::EvalCast(ValueManager& ValMgr, RVal X, Expr* CastExpr) {
switch (X.getBaseKind()) {
default:
assert(false && "Invalid RVal."); break;
case RVal::LValKind:
return EvalCast(ValMgr, cast<LVal>(X), CastExpr);
case RVal::NonLValKind:
return EvalCast(ValMgr, cast<NonLVal>(X), CastExpr);
case RVal::UninitializedKind:
case RVal::UnknownKind: break;
}
return X;
}
|
