1//==- ProgramPoint.cpp - Program Points for Path-Sensitive Analysis -*- 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 the interface ProgramPoint, which identifies a 11// distinct location in a function. 12// 13//===----------------------------------------------------------------------===// 14 15#include "clang/Analysis/ProgramPoint.h" 16 17using namespace clang; 18 19ProgramPointTag::~ProgramPointTag() {} 20 21ProgramPoint ProgramPoint::getProgramPoint(const Stmt *S, ProgramPoint::Kind K, 22 const LocationContext *LC, 23 const ProgramPointTag *tag){ 24 switch (K) { 25 default: 26 llvm_unreachable("Unhandled ProgramPoint kind"); 27 case ProgramPoint::PreStmtKind: 28 return PreStmt(S, LC, tag); 29 case ProgramPoint::PostStmtKind: 30 return PostStmt(S, LC, tag); 31 case ProgramPoint::PreLoadKind: 32 return PreLoad(S, LC, tag); 33 case ProgramPoint::PostLoadKind: 34 return PostLoad(S, LC, tag); 35 case ProgramPoint::PreStoreKind: 36 return PreStore(S, LC, tag); 37 case ProgramPoint::PostLValueKind: 38 return PostLValue(S, LC, tag); 39 case ProgramPoint::PostStmtPurgeDeadSymbolsKind: 40 return PostStmtPurgeDeadSymbols(S, LC, tag); 41 case ProgramPoint::PreStmtPurgeDeadSymbolsKind: 42 return PreStmtPurgeDeadSymbols(S, LC, tag); 43 } 44} 45 46SimpleProgramPointTag::SimpleProgramPointTag(StringRef MsgProvider, 47 StringRef Msg) 48 : Desc((MsgProvider + " : " + Msg).str()) {} 49 50StringRef SimpleProgramPointTag::getTagDescription() const { 51 return Desc; 52} 53