| 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);
|
|
|