Go to the source code of this file.
◆ checkArgTypes()
Definition at line 53 of file CHG.cpp.
60 for (
unsigned i = 1; i < arg_size; i++)
63 auto fn_arg = fn->
getArg(i);
64 if (cs_arg->getType() != fn_arg->getType())
const SVFVar * getArgument(u32_t ArgNo) const
Parameter operations.
const SVFArgument * getArg(u32_t idx) const
◆ hasEdge()
Definition at line 39 of file CHG.cpp.
42 for (CHEdge::CHEdgeSetTy::const_iterator it = src->
getOutEdges().begin(),
45 CHNode *node = (*it)->getDstNode();
47 if (node == dst && edgeType == et)
const GEdgeSetTy & getOutEdges() const