blob: abff090b87963ff4701cd50863b73d9f3db5b054 [file] [log] [blame]
Chris Lattner213a9f92009-08-23 03:56:06 +00001//===- LeaksContext.h - LeadDetector Implementation ------------*- C++ -*--===//
Owen Anderson6d549d62009-08-19 17:07:46 +00002//
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 various helper methods and classes used by
11// LLVMContextImpl for leaks detectors.
12//
13//===----------------------------------------------------------------------===//
14
15#include "llvm/Value.h"
Owen Anderson6d549d62009-08-19 17:07:46 +000016#include "llvm/ADT/SmallPtrSet.h"
Owen Anderson6d549d62009-08-19 17:07:46 +000017using namespace llvm;
18
19template <class T>
20struct PrinterTrait {
Chris Lattner213a9f92009-08-23 03:56:06 +000021 static void print(const T* P) { errs() << P; }
Owen Anderson6d549d62009-08-19 17:07:46 +000022};
23
24template<>
25struct PrinterTrait<Value> {
Chris Lattner213a9f92009-08-23 03:56:06 +000026 static void print(const Value* P) { errs() << *P; }
Owen Anderson6d549d62009-08-19 17:07:46 +000027};
28
29template <typename T>
30struct LeakDetectorImpl {
31 explicit LeakDetectorImpl(const char* const name = "") :
32 Cache(0), Name(name) { }
33
34 void clear() {
35 Cache = 0;
36 Ts.clear();
37 }
38
39 void setName(const char* n) {
40 Name = n;
41 }
42
43 // Because the most common usage pattern, by far, is to add a
44 // garbage object, then remove it immediately, we optimize this
45 // case. When an object is added, it is not added to the set
46 // immediately, it is added to the CachedValue Value. If it is
47 // immediately removed, no set search need be performed.
48 void addGarbage(const T* o) {
Rafael Espindola2c5792a2009-12-18 20:35:38 +000049 assert(Ts.count(o) == 0 && "Object already in set!");
Owen Anderson6d549d62009-08-19 17:07:46 +000050 if (Cache) {
Rafael Espindola2c5792a2009-12-18 20:35:38 +000051 assert(Cache != o && "Object already in set!");
Owen Anderson6d549d62009-08-19 17:07:46 +000052 Ts.insert(Cache);
53 }
54 Cache = o;
55 }
56
57 void removeGarbage(const T* o) {
58 if (o == Cache)
59 Cache = 0; // Cache hit
60 else
61 Ts.erase(o);
62 }
63
64 bool hasGarbage(const std::string& Message) {
65 addGarbage(0); // Flush the Cache
66
67 assert(Cache == 0 && "No value should be cached anymore!");
68
69 if (!Ts.empty()) {
Chris Lattner213a9f92009-08-23 03:56:06 +000070 errs() << "Leaked " << Name << " objects found: " << Message << ":\n";
Owen Anderson6d549d62009-08-19 17:07:46 +000071 for (typename SmallPtrSet<const T*, 8>::iterator I = Ts.begin(),
72 E = Ts.end(); I != E; ++I) {
Chris Lattner213a9f92009-08-23 03:56:06 +000073 errs() << '\t';
Owen Anderson6d549d62009-08-19 17:07:46 +000074 PrinterTrait<T>::print(*I);
Chris Lattner213a9f92009-08-23 03:56:06 +000075 errs() << '\n';
Owen Anderson6d549d62009-08-19 17:07:46 +000076 }
Chris Lattner213a9f92009-08-23 03:56:06 +000077 errs() << '\n';
Owen Anderson6d549d62009-08-19 17:07:46 +000078
79 return true;
80 }
81
82 return false;
83 }
84
85private:
86 SmallPtrSet<const T*, 8> Ts;
87 const T* Cache;
88 const char* Name;
89};