Index: src/IceTimerTree.cpp |
diff --git a/src/IceTimerTree.cpp b/src/IceTimerTree.cpp |
index cc25baf86a62cc8508f18ce8e6636167cbb504d7..cf81be79dbaa8555b1c304df906539691bb10682 100644 |
--- a/src/IceTimerTree.cpp |
+++ b/src/IceTimerTree.cpp |
@@ -22,6 +22,8 @@ namespace Ice { |
TimerStack::TimerStack(const IceString &Name) |
: Name(Name), FirstTimestamp(timestamp()), LastTimestamp(FirstTimestamp), |
StateChangeCount(0), StackTop(0) { |
+ if (!ALLOW_DUMP) |
+ return; |
Nodes.resize(1); // Reserve Nodes[0] for the root node. |
IDs.resize(TT__num); |
#define STR(s) #s |
@@ -36,6 +38,8 @@ TimerStack::TimerStack(const IceString &Name) |
// Returns the unique timer ID for the given Name, creating a new ID |
// if needed. |
TimerIdT TimerStack::getTimerID(const IceString &Name) { |
+ if (!ALLOW_DUMP) |
+ return 0; |
if (IDsIndex.find(Name) == IDsIndex.end()) { |
IDsIndex[Name] = IDs.size(); |
IDs.push_back(Name); |