svf-lib 1.0.2261 → 1.0.2262
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.
|
@@ -194,7 +194,7 @@ public:
|
|
|
194
194
|
}
|
|
195
195
|
|
|
196
196
|
/// Return TRUE if this function can be reached from main.
|
|
197
|
-
bool isReachableFromProgEntry() const;
|
|
197
|
+
bool isReachableFromProgEntry(Map<NodeID, bool> &reachableFromEntry, NodeBS &visitedNodes) const;
|
|
198
198
|
|
|
199
199
|
|
|
200
200
|
/// Overloading operator << for dumping ICFG node ID
|
|
Binary file
|