Merge pull request #613 from smackers/fix-611

Fixing discrepancy between bit-vector flag in llvm2bpl and Python script
smackers · Sep 4, 2020 · 923e523 · 923e523
2 parents eb3dee3 + ba28e59
commit 923e523
Showing 1 changed file with 6 additions and 2 deletions.
diff --git a/lib/smack/SmackWarnings.cpp b/lib/smack/SmackWarnings.cpp
@@ -38,8 +38,12 @@ SmackWarnings::getUnsetFlags(RequiredFlagsT requiredFlags) {
 
 std::string SmackWarnings::getFlagStr(UnsetFlagsT flags) {
   std::string ret = "";
-  for (auto f : flags)
-    ret += ("--" + f->ArgStr.str() + " ");
+  for (auto f : flags) {
+    if (f->ArgStr.str() == "bit-precise")
+      ret += ("--integer-encoding=bit-vector ");
+    else
+      ret += ("--" + f->ArgStr.str() + " ");
+  }
   return ret;
 }