svf-lib 1.0.1529 → 1.0.1530
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.
|
Binary file
|
|
Binary file
|
|
@@ -113,9 +113,12 @@ public:
|
|
|
113
113
|
edge->getEdgeKind() == SVFStmt::Call ||
|
|
114
114
|
edge->getEdgeKind() == SVFStmt::Ret ||
|
|
115
115
|
edge->getEdgeKind() == SVFStmt::Gep ||
|
|
116
|
+
edge->getEdgeKind() == SVFStmt::Phi ||
|
|
117
|
+
edge->getEdgeKind() == SVFStmt::Select ||
|
|
116
118
|
edge->getEdgeKind() == SVFStmt::Cmp ||
|
|
117
119
|
edge->getEdgeKind() == SVFStmt::BinaryOp ||
|
|
118
120
|
edge->getEdgeKind() == SVFStmt::UnaryOp ||
|
|
121
|
+
edge->getEdgeKind() == SVFStmt::Branch ||
|
|
119
122
|
edge->getEdgeKind() == SVFStmt::ThreadFork ||
|
|
120
123
|
edge->getEdgeKind() == SVFStmt::ThreadJoin;
|
|
121
124
|
}
|
|
@@ -1245,4 +1248,4 @@ public:
|
|
|
1245
1248
|
|
|
1246
1249
|
} // End namespace SVF
|
|
1247
1250
|
|
|
1248
|
-
#endif /* INCLUDE_SVFIR_SVFSTATEMENT_H_ */
|
|
1251
|
+
#endif /* INCLUDE_SVFIR_SVFSTATEMENT_H_ */
|