Merge pull request #1508 from jumormt/master

Fix bit wise operator for bounded double
SVF-tools · Aug 3, 2024 · 7592349 · 7592349
2 parents 0f7aa5d + 363086c
commit 7592349
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/svf/include/AE/Core/NumericValue.h b/svf/include/AE/Core/NumericValue.h
@@ -432,19 +432,19 @@ class BoundedDouble
 
     friend BoundedDouble operator^(const BoundedDouble &lhs, const BoundedDouble &rhs)
     {
-        int lInt = std::round(rhs._fVal), rInt = std::round(rhs._fVal);
+        int lInt = std::round(lhs._fVal), rInt = std::round(rhs._fVal);
         return lInt ^ rInt;
     }
 
     friend BoundedDouble operator&(const BoundedDouble &lhs, const BoundedDouble &rhs)
     {
-        int lInt = std::round(rhs._fVal), rInt = std::round(rhs._fVal);
+        int lInt = std::round(lhs._fVal), rInt = std::round(rhs._fVal);
         return lInt & rInt;
     }
 
     friend BoundedDouble operator|(const BoundedDouble &lhs, const BoundedDouble &rhs)
     {
-        int lInt = std::round(rhs._fVal), rInt = std::round(rhs._fVal);
+        int lInt = std::round(lhs._fVal), rInt = std::round(rhs._fVal);
         return lInt | rInt;
     }