[libFuzzer] when a single mutation fails try a few more times with other mutations...
[oota-llvm.git] / lib / IR / ValueSymbolTable.cpp
index 4f078f09c2260274f3f0babe7a0d36559099ee02..e10142de823202f73cf93aaf8e267cdb7fbbf7ff 100644 (file)
@@ -53,7 +53,7 @@ void ValueSymbolTable::reinsertValue(Value* V) {
   while (1) {
     // Trim any suffix off and append the next number.
     UniqueName.resize(BaseSize);
-    raw_svector_ostream(UniqueName) << ++LastUnique;
+    raw_svector_ostream(UniqueName) << "." << ++LastUnique;
 
     // Try insert the vmap entry with this suffix.
     auto IterBool = vmap.insert(std::make_pair(UniqueName, V));