2009-08-23 11:56:06 +08:00
|
|
|
//===- LeaksContext.h - LeadDetector Implementation ------------*- C++ -*--===//
|
2009-08-20 01:07:46 +08:00
|
|
|
//
|
|
|
|
// The LLVM Compiler Infrastructure
|
|
|
|
//
|
|
|
|
// This file is distributed under the University of Illinois Open Source
|
|
|
|
// License. See LICENSE.TXT for details.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
//
|
|
|
|
// This file defines various helper methods and classes used by
|
|
|
|
// LLVMContextImpl for leaks detectors.
|
|
|
|
//
|
|
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
|
2014-08-14 00:26:38 +08:00
|
|
|
#ifndef LLVM_LIB_IR_LEAKSCONTEXT_H
|
|
|
|
#define LLVM_LIB_IR_LEAKSCONTEXT_H
|
2014-04-26 08:53:26 +08:00
|
|
|
|
2009-08-20 01:07:46 +08:00
|
|
|
#include "llvm/ADT/SmallPtrSet.h"
|
2013-01-02 19:36:10 +08:00
|
|
|
#include "llvm/IR/Value.h"
|
2014-04-26 08:53:26 +08:00
|
|
|
#include "llvm/Support/raw_ostream.h"
|
2010-04-16 01:08:50 +08:00
|
|
|
|
|
|
|
namespace llvm {
|
2009-08-20 01:07:46 +08:00
|
|
|
|
|
|
|
template <class T>
|
|
|
|
struct PrinterTrait {
|
2009-08-23 11:56:06 +08:00
|
|
|
static void print(const T* P) { errs() << P; }
|
2009-08-20 01:07:46 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
template<>
|
|
|
|
struct PrinterTrait<Value> {
|
2009-08-23 11:56:06 +08:00
|
|
|
static void print(const Value* P) { errs() << *P; }
|
2009-08-20 01:07:46 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
template <typename T>
|
2013-09-12 02:05:11 +08:00
|
|
|
struct LeakDetectorImpl {
|
2009-08-20 01:07:46 +08:00
|
|
|
explicit LeakDetectorImpl(const char* const name = "") :
|
2014-04-28 12:05:08 +08:00
|
|
|
Cache(nullptr), Name(name) { }
|
2009-08-20 01:07:46 +08:00
|
|
|
|
|
|
|
void clear() {
|
2014-04-28 12:05:08 +08:00
|
|
|
Cache = nullptr;
|
2009-08-20 01:07:46 +08:00
|
|
|
Ts.clear();
|
|
|
|
}
|
|
|
|
|
|
|
|
void setName(const char* n) {
|
|
|
|
Name = n;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Because the most common usage pattern, by far, is to add a
|
|
|
|
// garbage object, then remove it immediately, we optimize this
|
|
|
|
// case. When an object is added, it is not added to the set
|
|
|
|
// immediately, it is added to the CachedValue Value. If it is
|
|
|
|
// immediately removed, no set search need be performed.
|
|
|
|
void addGarbage(const T* o) {
|
2009-12-19 04:35:38 +08:00
|
|
|
assert(Ts.count(o) == 0 && "Object already in set!");
|
2009-08-20 01:07:46 +08:00
|
|
|
if (Cache) {
|
2009-12-19 04:35:38 +08:00
|
|
|
assert(Cache != o && "Object already in set!");
|
2009-08-20 01:07:46 +08:00
|
|
|
Ts.insert(Cache);
|
|
|
|
}
|
|
|
|
Cache = o;
|
|
|
|
}
|
|
|
|
|
|
|
|
void removeGarbage(const T* o) {
|
|
|
|
if (o == Cache)
|
2014-04-28 12:05:08 +08:00
|
|
|
Cache = nullptr; // Cache hit
|
2009-08-20 01:07:46 +08:00
|
|
|
else
|
|
|
|
Ts.erase(o);
|
|
|
|
}
|
|
|
|
|
|
|
|
bool hasGarbage(const std::string& Message) {
|
2014-04-28 12:05:08 +08:00
|
|
|
addGarbage(nullptr); // Flush the Cache
|
2009-08-20 01:07:46 +08:00
|
|
|
|
2014-04-28 12:05:08 +08:00
|
|
|
assert(!Cache && "No value should be cached anymore!");
|
2009-08-20 01:07:46 +08:00
|
|
|
|
|
|
|
if (!Ts.empty()) {
|
2009-08-23 11:56:06 +08:00
|
|
|
errs() << "Leaked " << Name << " objects found: " << Message << ":\n";
|
2009-08-20 01:07:46 +08:00
|
|
|
for (typename SmallPtrSet<const T*, 8>::iterator I = Ts.begin(),
|
|
|
|
E = Ts.end(); I != E; ++I) {
|
2009-08-23 11:56:06 +08:00
|
|
|
errs() << '\t';
|
2009-08-20 01:07:46 +08:00
|
|
|
PrinterTrait<T>::print(*I);
|
2009-08-23 11:56:06 +08:00
|
|
|
errs() << '\n';
|
2009-08-20 01:07:46 +08:00
|
|
|
}
|
2009-08-23 11:56:06 +08:00
|
|
|
errs() << '\n';
|
2009-08-20 01:07:46 +08:00
|
|
|
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
SmallPtrSet<const T*, 8> Ts;
|
|
|
|
const T* Cache;
|
|
|
|
const char* Name;
|
|
|
|
};
|
2010-04-16 01:08:50 +08:00
|
|
|
|
|
|
|
}
|
2014-04-26 08:53:26 +08:00
|
|
|
|
2014-08-14 00:26:38 +08:00
|
|
|
#endif
|