svf-lib 1.0.1044 → 1.0.1045
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
|
|
@@ -763,7 +763,7 @@ public:
|
|
|
763
763
|
//@}
|
|
764
764
|
|
|
765
765
|
/// constructor
|
|
766
|
-
SelectStmt(SVFVar* s, const OPVars& opnds, const SVFVar* cond) : MultiOpndStmt(s,opnds,SVFStmt::Select), condition(cond)
|
|
766
|
+
SelectStmt(SVFVar* s, const OPVars& opnds, const SVFVar* cond) : MultiOpndStmt(s,opnds,makeEdgeFlagWithAddionalOpnd(SVFStmt::Select,opnds.at(1))), condition(cond)
|
|
767
767
|
{
|
|
768
768
|
assert(opnds.size()==2 && "SelectStmt can only have two operands!");
|
|
769
769
|
}
|
|
@@ -816,8 +816,9 @@ public:
|
|
|
816
816
|
//@}
|
|
817
817
|
|
|
818
818
|
/// constructor
|
|
819
|
-
CmpStmt(SVFVar* s, const OPVars& opnds, u32_t pre) : MultiOpndStmt(s,opnds,SVFStmt::Cmp), predicate(pre)
|
|
819
|
+
CmpStmt(SVFVar* s, const OPVars& opnds, u32_t pre) : MultiOpndStmt(s,opnds,makeEdgeFlagWithAddionalOpnd(SVFStmt::Cmp,opnds.at(1))), predicate(pre)
|
|
820
820
|
{
|
|
821
|
+
assert(opnds.size()==2 && "CmpStmt can only have two operands!");
|
|
821
822
|
}
|
|
822
823
|
|
|
823
824
|
u32_t getPredicate() const
|
|
@@ -862,8 +863,9 @@ public:
|
|
|
862
863
|
//@}
|
|
863
864
|
|
|
864
865
|
/// constructor
|
|
865
|
-
BinaryOPStmt(SVFVar* s, const OPVars& opnds, u32_t oc) : MultiOpndStmt(s,opnds,SVFStmt::BinaryOp), opcode(oc)
|
|
866
|
+
BinaryOPStmt(SVFVar* s, const OPVars& opnds, u32_t oc) : MultiOpndStmt(s,opnds,makeEdgeFlagWithAddionalOpnd(SVFStmt::BinaryOp,opnds.at(1))), opcode(oc)
|
|
866
867
|
{
|
|
868
|
+
assert(opnds.size()==2 && "BinaryOPStmt can only have two operands!");
|
|
867
869
|
}
|
|
868
870
|
|
|
869
871
|
u32_t getOpcode() const
|