Optimization: Format "kidN" label for debugging once because it never changes

after KidIdentifier is set.

diff --git a/src/debug.cc b/src/debug.cc
index 41b4907ad4176b360bebc978665431d957021325..edcaf70120e7722673173f6a6a156b4785fa32ec 100644 (file)
--- a/src/debug.cc
+++ b/src/debug.cc
@@ -551,7 +551,8 @@ debugLogKid(void)
 {
     if (KidIdentifier != 0) {
                static char buf[16];
-        snprintf(buf, sizeof(buf), " kid%d", KidIdentifier);
+        if (!*buf) // optimization: fill only once after KidIdentifier is set
+            snprintf(buf, sizeof(buf), " kid%d", KidIdentifier);
                return buf;
     }