blob: 3c14ee9ab5c2db1ab3fccdf62721771f0333e0e7 [file] [log] [blame]
Ted Kremenek36cf32c2008-04-16 18:39:25 +00001//== GRTransferFuncs.cpp - Path-Sens. Transfer Functions Interface -*- C++ -*--=
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file defines GRTransferFuncs, which provides a base-class that
11// defines an interface for transfer functions used by GRExprEngine.
12//
13//===----------------------------------------------------------------------===//
14
15#include "clang/Analysis/PathSensitive/GRTransferFuncs.h"
Ted Kremenek7aef4842008-04-16 20:40:59 +000016#include "clang/Analysis/PathSensitive/GRExprEngine.h"
Ted Kremenek36cf32c2008-04-16 18:39:25 +000017
18using namespace clang;
19
Ted Kremenekabd89ac2008-08-13 04:27:00 +000020void GRTransferFuncs::EvalBinOpNN(GRStateSet& OStates,
Ted Kremenek61b89eb2008-11-15 00:20:05 +000021 GRExprEngine& Eng,
Ted Kremenekabd89ac2008-08-13 04:27:00 +000022 const GRState *St, Expr* Ex,
Ted Kremenekfa81dff2008-07-17 21:27:31 +000023 BinaryOperator::Opcode Op,
Ted Kremenek74556a12009-03-26 03:35:11 +000024 NonLoc L, NonLoc R, QualType T) {
Ted Kremenekfa81dff2008-07-17 21:27:31 +000025
Ted Kremenekc0cccca2009-06-18 23:58:37 +000026 OStates.Add(St->bindExpr(Ex, DetermEvalBinOpNN(Eng, Op, L, R, T)));
Ted Kremenekfa81dff2008-07-17 21:27:31 +000027}