Go to the source code of this file.
|
| namespace | SVF |
| | for isBitcode
|
◆ checkArgTypes()
Definition at line 54 of file CHG.cpp.
55{
56
57
59 if(arg_size > 1)
60 {
61 for (unsigned i = 1; i < arg_size; i++)
62 {
64 auto fn_arg = fn->
getArg(i);
65 if (cs_arg->getType() != fn_arg->getType())
66 {
67 return false;
68 }
69 }
70 }
71
72 return true;
73}
const ValVar * getArgument(u32_t ArgNo) const
Parameter operations.
const ArgValVar * getArg(u32_t idx) const
◆ hasEdge()
Definition at line 40 of file CHG.cpp.
42{
43 for (CHEdge::CHEdgeSetTy::const_iterator it = src->
getOutEdges().begin(),
45 {
46 CHNode *node = (*it)->getDstNode();
48 if (node == dst && edgeType == et)
49 return true;
50 }
51 return false;
52}
const GEdgeSetTy & getOutEdges() const