svf-lib 1.0.1811 → 1.0.1813
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/Release-build/svf/libSvfCore.a +0 -0
- package/SVF-linux/svf/include/AbstractExecution/IntervalExeState.h +2 -2
- package/SVF-osx/Release-build/svf/libSvfCore.a +0 -0
- package/SVF-osx/Release-build/svf-llvm/libSvfLLVM.a +0 -0
- package/SVF-osx/svf/include/AbstractExecution/IntervalExeState.h +2 -2
- package/package.json +1 -1
|
Binary file
|
|
@@ -289,7 +289,7 @@ public:
|
|
|
289
289
|
}
|
|
290
290
|
}
|
|
291
291
|
|
|
292
|
-
inline virtual IntervalValue&
|
|
292
|
+
inline virtual IntervalValue& getLocVal(u32_t id)
|
|
293
293
|
{
|
|
294
294
|
auto it = _locToItvVal.find(id);
|
|
295
295
|
if(it != _locToItvVal.end())
|
|
@@ -578,7 +578,7 @@ public:
|
|
|
578
578
|
}
|
|
579
579
|
}
|
|
580
580
|
|
|
581
|
-
inline IntervalValue&
|
|
581
|
+
inline IntervalValue& getLocVal(u32_t id) override
|
|
582
582
|
{
|
|
583
583
|
auto it = _locToItvVal.find(id);
|
|
584
584
|
if(it != _locToItvVal.end())
|
|
Binary file
|
|
Binary file
|
|
@@ -287,7 +287,7 @@ public:
|
|
|
287
287
|
}
|
|
288
288
|
}
|
|
289
289
|
|
|
290
|
-
inline virtual IntervalValue&
|
|
290
|
+
inline virtual IntervalValue& getLocVal(u32_t id)
|
|
291
291
|
{
|
|
292
292
|
auto it = _locToItvVal.find(id);
|
|
293
293
|
if(it != _locToItvVal.end())
|
|
@@ -572,7 +572,7 @@ public:
|
|
|
572
572
|
}
|
|
573
573
|
}
|
|
574
574
|
|
|
575
|
-
inline IntervalValue&
|
|
575
|
+
inline IntervalValue& getLocVal(u32_t id) override
|
|
576
576
|
{
|
|
577
577
|
auto it = _locToItvVal.find(id);
|
|
578
578
|
if(it != _locToItvVal.end())
|