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 // Copy the results into the Dst set. 21 for (NodeBuilder::iterator I = NB.results_begin(), 22 E = NB.results_end(); I != E; ++I) { 23 Dst.Add(*I); 24 } 25 } 26