handle comments in config files

secure-software-engineering · Aug 25, 2024 · 82d5a96 · 82d5a96
1 parent fe2f54d
commit 82d5a96
Showing 1 changed file with 8 additions and 2 deletions.
diff --git a/lib/Config/Configuration.cpp b/lib/Config/Configuration.cpp
@@ -136,8 +136,14 @@ bool PhasarConfig::loadConfigFileInto(llvm::StringRef FileName,
   llvm::SmallVector<llvm::StringRef, 0> ConfigLines;
   llvm::SplitString(*ConfigFile, ConfigLines, "\n");
 
-  llvm::transform(ConfigLines, std::inserter(Lines, Lines.end()),
-                  [](llvm::StringRef Str) { return Str.trim().str(); });
+  llvm::transform(
+      ConfigLines, std::inserter(Lines, Lines.end()), [](llvm::StringRef Str) {
+        if (auto Comment = Str.find("//"); Comment != llvm::StringRef::npos) {
+          Str = Str.slice(0, Comment);
+        }
+        return Str.trim().str();
+      });
+
   return true;
 }