blob: 5038dc9d6d6d676f411e34ab95aaaf246837b7cb [file] [log] [blame]
Chris Lattnerb93a9a62009-08-23 03:56:06 +00001//===- LeaksContext.h - LeadDetector Implementation ------------*- C++ -*--===//
Owen Andersonc34ebf62009-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
Owen Andersonc34ebf62009-08-19 17:07:46 +000015#include "llvm/ADT/SmallPtrSet.h"
Chandler Carruth0b8c9a82013-01-02 11:36:10 +000016#include "llvm/IR/Value.h"
Dan Gohmanb3579832010-04-15 17:08:50 +000017
18namespace llvm {
Owen Andersonc34ebf62009-08-19 17:07:46 +000019
20template <class T>
21struct PrinterTrait {
Chris Lattnerb93a9a62009-08-23 03:56:06 +000022 static void print(const T* P) { errs() << P; }
Owen Andersonc34ebf62009-08-19 17:07:46 +000023};
24
25template<>
26struct PrinterTrait<Value> {
Chris Lattnerb93a9a62009-08-23 03:56:06 +000027 static void print(const Value* P) { errs() << *P; }
Owen Andersonc34ebf62009-08-19 17:07:46 +000028};
29
30template <typename T>
31struct LeakDetectorImpl {
32 explicit LeakDetectorImpl(const char* const name = "") :
33 Cache(0), Name(name) { }
34
35 void clear() {
36 Cache = 0;
37 Ts.clear();
38 }
39
40 void setName(const char* n) {
41 Name = n;
42 }
43
44 // Because the most common usage pattern, by far, is to add a
45 // garbage object, then remove it immediately, we optimize this
46 // case. When an object is added, it is not added to the set
47 // immediately, it is added to the CachedValue Value. If it is
48 // immediately removed, no set search need be performed.
49 void addGarbage(const T* o) {
Rafael Espindola1cefd7c2009-12-18 20:35:38 +000050 assert(Ts.count(o) == 0 && "Object already in set!");
Owen Andersonc34ebf62009-08-19 17:07:46 +000051 if (Cache) {
Rafael Espindola1cefd7c2009-12-18 20:35:38 +000052 assert(Cache != o && "Object already in set!");
Owen Andersonc34ebf62009-08-19 17:07:46 +000053 Ts.insert(Cache);
54 }
55 Cache = o;
56 }
57
58 void removeGarbage(const T* o) {
59 if (o == Cache)
60 Cache = 0; // Cache hit
61 else
62 Ts.erase(o);
63 }
64
65 bool hasGarbage(const std::string& Message) {
66 addGarbage(0); // Flush the Cache
67
68 assert(Cache == 0 && "No value should be cached anymore!");
69
70 if (!Ts.empty()) {
Chris Lattnerb93a9a62009-08-23 03:56:06 +000071 errs() << "Leaked " << Name << " objects found: " << Message << ":\n";
Owen Andersonc34ebf62009-08-19 17:07:46 +000072 for (typename SmallPtrSet<const T*, 8>::iterator I = Ts.begin(),
73 E = Ts.end(); I != E; ++I) {
Chris Lattnerb93a9a62009-08-23 03:56:06 +000074 errs() << '\t';
Owen Andersonc34ebf62009-08-19 17:07:46 +000075 PrinterTrait<T>::print(*I);
Chris Lattnerb93a9a62009-08-23 03:56:06 +000076 errs() << '\n';
Owen Andersonc34ebf62009-08-19 17:07:46 +000077 }
Chris Lattnerb93a9a62009-08-23 03:56:06 +000078 errs() << '\n';
Owen Andersonc34ebf62009-08-19 17:07:46 +000079
80 return true;
81 }
82
83 return false;
84 }
85
86private:
87 SmallPtrSet<const T*, 8> Ts;
88 const T* Cache;
89 const char* Name;
90};
Dan Gohmanb3579832010-04-15 17:08:50 +000091
92}