Skip to content

Commit

Permalink
upate
Browse files Browse the repository at this point in the history
  • Loading branch information
JasonZhongZexin authored and JasonZhongZexin committed Sep 13, 2023
1 parent 1894c37 commit 4a5fa75
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions svf/include/SVFIR/SVFIR.h
Original file line number Diff line number Diff line change
Expand Up @@ -48,6 +48,7 @@ class SVFIR : public IRGraph
friend class TypeBasedHeapCloning;
friend class SVFIRWriter;
friend class SVFIRReader;
friend class BVDataPTAImpl;

public:
typedef Set<const CallICFGNode*> CallSiteSet;
Expand Down Expand Up @@ -396,8 +397,6 @@ class SVFIR : public IRGraph
NodeID getGepObjVar(const MemObj* obj, const APOffset& ap);
/// Get a field obj SVFIR node according to a mem obj and a given offset
NodeID getGepObjVar(NodeID id, const APOffset& ap) ;
/// Add a field obj node, this method can only invoked by getGepObjVar
NodeID addGepObjNode(const MemObj* obj, const APOffset& apOffset, const NodeID gepId);
/// Get a field-insensitive obj SVFIR node according to a mem obj
//@{
inline NodeID getFIObjVar(const MemObj* obj) const
Expand Down Expand Up @@ -561,6 +560,8 @@ class SVFIR : public IRGraph

/// Add a temp field value node, this method can only invoked by getGepValVar
NodeID addGepValNode(const SVFValue* curInst,const SVFValue* val, const AccessPath& ap, NodeID i, const SVFType* type);
/// Add a field obj node, this method can only invoked by getGepObjVar
NodeID addGepObjNode(const MemObj* obj, const APOffset& apOffset, const NodeID gepId);
/// Add a field-insensitive node, this method can only invoked by getFIGepObjNode
NodeID addFIObjNode(const MemObj* obj);
//@}
Expand Down

0 comments on commit 4a5fa75

Please sign in to comment.