//===-- LeakDetector.cpp - Implement LeakDetector interface ---------------===//
-//
+//
// The LLVM Compiler Infrastructure
//
-// This file was developed by the LLVM research group and is distributed under
-// the University of Illinois Open Source License. See LICENSE.TXT for details.
-//
+// This file is distributed under the University of Illinois Open Source
+// License. See LICENSE.TXT for details.
+//
//===----------------------------------------------------------------------===//
//
// This file implements the LeakDetector class.
//===----------------------------------------------------------------------===//
#include "llvm/Support/LeakDetector.h"
+#include "llvm/ADT/SmallPtrSet.h"
+#include "llvm/Support/Compiler.h"
+#include "llvm/Support/ManagedStatic.h"
+#include "llvm/Support/Streams.h"
+#include "llvm/Support/Threading.h"
+#include "llvm/System/RWMutex.h"
#include "llvm/Value.h"
-#include <iostream>
-#include <set>
using namespace llvm;
namespace {
template <class T>
- struct PrinterTrait {
- static void print(const T* P) { std::cerr << P; }
+ struct VISIBILITY_HIDDEN PrinterTrait {
+ static void print(const T* P) { cerr << P; }
};
template<>
- struct PrinterTrait<Value> {
- static void print(const Value* P) { std::cerr << *P; }
+ struct VISIBILITY_HIDDEN PrinterTrait<Value> {
+ static void print(const Value* P) { cerr << *P; }
};
+ ManagedStatic<sys::RWMutex> LeakDetectorLock;
+
template <typename T>
- struct LeakDetectorImpl {
- LeakDetectorImpl(const char* const name) : Cache(0), Name(name) { }
+ struct VISIBILITY_HIDDEN LeakDetectorImpl {
+ explicit LeakDetectorImpl(const char* const name = "") :
+ Cache(0), Name(name) { }
+ void clear() {
+ Cache = 0;
+ 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) {
- if (Cache) {
- assert(Ts.count(Cache) == 0 && "Object already in set!");
- Ts.insert(Cache);
+ if (llvm_is_multithreaded()) {
+ sys::ScopedWriter Writer(&*LeakDetectorLock);
+ if (Cache) {
+ assert(Ts.count(Cache) == 0 && "Object already in set!");
+ Ts.insert(Cache);
+ }
+ Cache = o;
+ } else {
+ if (Cache) {
+ assert(Ts.count(Cache) == 0 && "Object already in set!");
+ Ts.insert(Cache);
+ }
+ Cache = o;
}
- Cache = o;
}
void removeGarbage(const T* o) {
- if (o == Cache)
- Cache = 0; // Cache hit
- else
- Ts.erase(o);
+ if (llvm_is_multithreaded()) {
+ sys::ScopedWriter Writer(&*LeakDetectorLock);
+ if (o == Cache)
+ Cache = 0; // Cache hit
+ else
+ Ts.erase(o);
+ } else {
+ if (o == Cache)
+ Cache = 0; // Cache hit
+ else
+ Ts.erase(o);
+ }
}
bool hasGarbage(const std::string& Message) {
addGarbage(0); // Flush the Cache
+ if (llvm_is_multithreaded()) LeakDetectorLock->reader_acquire();
assert(Cache == 0 && "No value should be cached anymore!");
if (!Ts.empty()) {
- std::cerr
- << "Leaked " << Name << " objects found: " << Message << ":\n";
- for (typename std::set<const T*>::iterator I = Ts.begin(),
+ cerr << "Leaked " << Name << " objects found: " << Message << ":\n";
+ for (typename SmallPtrSet<const T*, 8>::iterator I = Ts.begin(),
E = Ts.end(); I != E; ++I) {
- std::cerr << "\t";
+ cerr << "\t";
PrinterTrait<T>::print(*I);
- std::cerr << "\n";
+ cerr << "\n";
}
- std::cerr << '\n';
+ cerr << '\n';
- // Clear out results so we don't get duplicate warnings on
- // next call...
- Ts.clear();
+ if (llvm_is_multithreaded()) LeakDetectorLock->reader_release();
return true;
}
+
+ if (llvm_is_multithreaded()) LeakDetectorLock->reader_release();
return false;
}
private:
- std::set<const T*> Ts;
+ SmallPtrSet<const T*, 8> Ts;
const T* Cache;
- const char* const Name;
+ const char* Name;
};
- typedef LeakDetectorImpl<void> Objects;
- typedef LeakDetectorImpl<Value> LLVMObjects;
-
- Objects& getObjects() {
- static Objects *o = 0;
- if (o == 0)
- o = new Objects("GENERIC");
- return *o;
- }
+ static ManagedStatic<LeakDetectorImpl<void> > Objects;
+ static ManagedStatic<LeakDetectorImpl<Value> > LLVMObjects;
- LLVMObjects& getLLVMObjects() {
- static LLVMObjects *o = 0;
- if (o == 0)
- o = new LLVMObjects("LLVM");
- return *o;
+ static void clearGarbage() {
+ Objects->clear();
+ LLVMObjects->clear();
}
}
void LeakDetector::addGarbageObjectImpl(void *Object) {
- getObjects().addGarbage(Object);
+ Objects->addGarbage(Object);
}
void LeakDetector::addGarbageObjectImpl(const Value *Object) {
- getLLVMObjects().addGarbage(Object);
+ LLVMObjects->addGarbage(Object);
}
void LeakDetector::removeGarbageObjectImpl(void *Object) {
- getObjects().removeGarbage(Object);
+ Objects->removeGarbage(Object);
}
void LeakDetector::removeGarbageObjectImpl(const Value *Object) {
- getLLVMObjects().removeGarbage(Object);
+ LLVMObjects->removeGarbage(Object);
}
void LeakDetector::checkForGarbageImpl(const std::string &Message) {
+ Objects->setName("GENERIC");
+ LLVMObjects->setName("LLVM");
+
// use non-short-circuit version so that both checks are performed
- if (getObjects().hasGarbage(Message) |
- getLLVMObjects().hasGarbage(Message))
- std::cerr << "\nThis is probably because you removed an object, but didn't "
- "delete it. Please check your code for memory leaks.\n";
+ if (Objects->hasGarbage(Message) |
+ LLVMObjects->hasGarbage(Message))
+ cerr << "\nThis is probably because you removed an object, but didn't "
+ << "delete it. Please check your code for memory leaks.\n";
+
+ // Clear out results so we don't get duplicate warnings on
+ // next call...
+ clearGarbage();
}