Fix escaping

runtimeverification · Dec 20, 2023 · f7c8b2f · f7c8b2f
1 parent 9967b97
commit f7c8b2f
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/lib/ast/AST.cpp b/lib/ast/AST.cpp
@@ -662,7 +662,9 @@ std::string enquote(const std::string &str) {
       if ((unsigned char)c >= 32 && (unsigned char)c < 127) {
         result.push_back(c);
       } else {
-        fmt::format_to(std::back_inserter(result), "\\x{:02x}", c);
+        fmt::format_to(
+            std::back_inserter(result), "\\x{:02x}",
+            static_cast<unsigned char>(c));
       }
       break;
     }
@@ -1887,7 +1889,9 @@ static std::string escapeString(const std::string &str) {
 
   for (char c : str) {
     if (c == '"' || c == '\\' || !isprint(c)) {
-      fmt::format_to(std::back_inserter(result), "\\x{:02x}", c);
+      fmt::format_to(
+          std::back_inserter(result), "\\x{:02x}",
+          static_cast<unsigned char>(c));
     } else {
       result.push_back(c);
     }