1 //== CheckerContext.cpp - Context info for path-sensitive checkers-----------=// 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 CheckerContext that provides contextual info for 11 // path-sensitive checkers. 12 // 13 //===----------------------------------------------------------------------===// 14 15 #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" 16 using namespace clang; 17 using namespace ento; 18 19 CheckerContext::~CheckerContext() { 20 // Do we need to autotransition? 'Dst' can get populated in a variety of 21 // ways, including 'addTransition()' adding the predecessor node to Dst 22 // without actually generated a new node. We also shouldn't autotransition 23 // if we are building sinks or we generated a node and decided to not 24 // add it as a transition. 25 if (Dst.size() == size && !B.BuildSinks && !B.hasGeneratedNode) { 26 if (ST && ST != B.GetState(Pred)) { 27 static int autoTransitionTag = 0; 28 addTransition(ST, &autoTransitionTag); 29 } 30 else 31 Dst.Add(Pred); 32 } 33 } 34
