OCD performance fix: {find,count}+insert => insert

2019-10-09 16:06:29 +02:00
parent e6e61f0a54
commit 99b73fb507
16 changed files with 32 additions and 65 deletions
@@ -105,10 +105,9 @@ static void printValueAsXML(EvalState & state, bool strict, bool location,

                XMLOpenElement _(doc, "derivation", xmlAttrs);

-                if (drvPath != "" && drvsSeen.find(drvPath) == drvsSeen.end()) {
-                    drvsSeen.insert(drvPath);
+                if (drvPath != "" && drvsSeen.insert(drvPath).second)
                    showAttrs(state, strict, location, *v.attrs, doc, context, drvsSeen);
-                } else
+                else
                    doc.writeEmptyElement("repeated");
            }