svf-lib 1.0.2407 → 1.0.2409
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/SVF-linux-x86_64/bin/ae
CHANGED
|
Binary file
|
|
@@ -217,7 +217,7 @@ public:
|
|
|
217
217
|
/// Check bit value of val start with 0x7F000000, filter by 0xFF000000
|
|
218
218
|
static inline bool isVirtualMemAddress(u32_t val)
|
|
219
219
|
{
|
|
220
|
-
return (val & 0xff000000) == AddressMask
|
|
220
|
+
return (val & 0xff000000) == AddressMask;
|
|
221
221
|
}
|
|
222
222
|
|
|
223
223
|
};
|
|
Binary file
|
|
@@ -887,7 +887,6 @@ inline IntervalValue operator<=(const IntervalValue &lhs, const IntervalValue &r
|
|
|
887
887
|
/// Left binary shift of IntervalValues
|
|
888
888
|
inline IntervalValue operator<<(const IntervalValue &lhs, const IntervalValue &rhs)
|
|
889
889
|
{
|
|
890
|
-
//TODO: implement <<
|
|
891
890
|
if (lhs.isBottom() || rhs.isBottom())
|
|
892
891
|
return IntervalValue::bottom();
|
|
893
892
|
if (lhs.isTop() && rhs.isTop())
|
|
@@ -925,7 +924,6 @@ inline IntervalValue operator<<(const IntervalValue &lhs, const IntervalValue &r
|
|
|
925
924
|
/// Left binary shift of IntervalValues
|
|
926
925
|
inline IntervalValue operator>>(const IntervalValue &lhs, const IntervalValue &rhs)
|
|
927
926
|
{
|
|
928
|
-
//TODO: implement >>
|
|
929
927
|
if (lhs.isBottom() || rhs.isBottom())
|
|
930
928
|
return IntervalValue::bottom();
|
|
931
929
|
else if (lhs.isTop() && rhs.isTop())
|