Current Path : /compat/linux/proc/68247/root/usr/src/contrib/llvm/tools/clang/lib/Analysis/ |
FreeBSD hs32.drive.ne.jp 9.1-RELEASE FreeBSD 9.1-RELEASE #1: Wed Jan 14 12:18:08 JST 2015 root@hs32.drive.ne.jp:/sys/amd64/compile/hs32 amd64 |
Current File : //compat/linux/proc/68247/root/usr/src/contrib/llvm/tools/clang/lib/Analysis/ProgramPoint.cpp |
//==- ProgramPoint.cpp - Program Points for Path-Sensitive Analysis -*- 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 the interface ProgramPoint, which identifies a // distinct location in a function. // //===----------------------------------------------------------------------===// #include "clang/Analysis/ProgramPoint.h" using namespace clang; ProgramPointTag::~ProgramPointTag() {} ProgramPoint ProgramPoint::getProgramPoint(const Stmt *S, ProgramPoint::Kind K, const LocationContext *LC, const ProgramPointTag *tag){ switch (K) { default: llvm_unreachable("Unhandled ProgramPoint kind"); case ProgramPoint::PreStmtKind: return PreStmt(S, LC, tag); case ProgramPoint::PostStmtKind: return PostStmt(S, LC, tag); case ProgramPoint::PreLoadKind: return PreLoad(S, LC, tag); case ProgramPoint::PostLoadKind: return PostLoad(S, LC, tag); case ProgramPoint::PreStoreKind: return PreStore(S, LC, tag); case ProgramPoint::PostLValueKind: return PostLValue(S, LC, tag); case ProgramPoint::PostPurgeDeadSymbolsKind: return PostPurgeDeadSymbols(S, LC, tag); } } SimpleProgramPointTag::SimpleProgramPointTag(StringRef description) : desc(description) {} StringRef SimpleProgramPointTag::getTagDescription() const { return desc; }