Index: src/IceGlobalContext.h |
diff --git a/src/IceGlobalContext.h b/src/IceGlobalContext.h |
index f7f5a5afe6168c469f788091feb094d4a5de01c1..ec821c0ace247b83777c1fff53e75b78ca7c54a5 100644 |
--- a/src/IceGlobalContext.h |
+++ b/src/IceGlobalContext.h |
@@ -58,6 +58,7 @@ private: |
}; |
class GlobalContext { |
+ GlobalContext() = delete; |
GlobalContext(const GlobalContext &) = delete; |
GlobalContext &operator=(const GlobalContext &) = delete; |
@@ -100,7 +101,11 @@ class GlobalContext { |
// TimerList is a vector of TimerStack objects, with extra methods |
// to initialize and merge these vectors. |
class TimerList : public std::vector<TimerStack> { |
+ TimerList(const TimerList &) = delete; |
+ TimerList &operator=(const TimerList &) = delete; |
+ |
public: |
+ TimerList() = default; |
// initInto() initializes a target list of timers based on the |
// current list. In particular, it creates the same number of |
// timers, in the same order, with the same names, but initially |
@@ -457,6 +462,7 @@ public: |
// pushes a marker, and the destructor pops it. This is for |
// convenient timing of regions of code. |
class TimerMarker { |
+ TimerMarker() = delete; |
TimerMarker(const TimerMarker &) = delete; |
TimerMarker &operator=(const TimerMarker &) = delete; |