svf-lib 1.0.779 → 1.0.780
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
|
|
@@ -285,12 +285,16 @@ public:
|
|
|
285
285
|
{
|
|
286
286
|
return node->getNodeKind() == SVFVar::ValNode ||
|
|
287
287
|
node->getNodeKind() == SVFVar::GepValNode ||
|
|
288
|
+
node->getNodeKind() == SVFVar::RetNode ||
|
|
289
|
+
node->getNodeKind() == SVFVar::VarargNode ||
|
|
288
290
|
node->getNodeKind() == SVFVar::DummyValNode;
|
|
289
291
|
}
|
|
290
292
|
static inline bool classof(const GenericPAGNodeTy *node)
|
|
291
293
|
{
|
|
292
294
|
return node->getNodeKind() == SVFVar::ValNode ||
|
|
293
295
|
node->getNodeKind() == SVFVar::GepValNode ||
|
|
296
|
+
node->getNodeKind() == SVFVar::RetNode ||
|
|
297
|
+
node->getNodeKind() == SVFVar::VarargNode ||
|
|
294
298
|
node->getNodeKind() == SVFVar::DummyValNode;
|
|
295
299
|
}
|
|
296
300
|
//@}
|
|
@@ -578,7 +582,7 @@ public:
|
|
|
578
582
|
/*
|
|
579
583
|
* Unique Return node of a procedure
|
|
580
584
|
*/
|
|
581
|
-
class RetPN: public
|
|
585
|
+
class RetPN: public ValVar
|
|
582
586
|
{
|
|
583
587
|
|
|
584
588
|
public:
|
|
@@ -592,6 +596,10 @@ public:
|
|
|
592
596
|
{
|
|
593
597
|
return node->getNodeKind() == SVFVar::RetNode;
|
|
594
598
|
}
|
|
599
|
+
static inline bool classof(const ValVar *node)
|
|
600
|
+
{
|
|
601
|
+
return node->getNodeKind() == SVFVar::RetNode;
|
|
602
|
+
}
|
|
595
603
|
static inline bool classof(const GenericPAGNodeTy *node)
|
|
596
604
|
{
|
|
597
605
|
return node->getNodeKind() == SVFVar::RetNode;
|
|
@@ -600,7 +608,7 @@ public:
|
|
|
600
608
|
|
|
601
609
|
/// Constructor
|
|
602
610
|
RetPN(const SVFFunction* val, NodeID i) :
|
|
603
|
-
|
|
611
|
+
ValVar(val->getLLVMFun(), i, RetNode)
|
|
604
612
|
{
|
|
605
613
|
}
|
|
606
614
|
|
|
@@ -617,7 +625,7 @@ public:
|
|
|
617
625
|
/*
|
|
618
626
|
* Unique vararg node of a procedure
|
|
619
627
|
*/
|
|
620
|
-
class VarArgPN: public
|
|
628
|
+
class VarArgPN: public ValVar
|
|
621
629
|
{
|
|
622
630
|
|
|
623
631
|
public:
|
|
@@ -631,6 +639,10 @@ public:
|
|
|
631
639
|
{
|
|
632
640
|
return node->getNodeKind() == SVFVar::VarargNode;
|
|
633
641
|
}
|
|
642
|
+
static inline bool classof(const ValVar *node)
|
|
643
|
+
{
|
|
644
|
+
return node->getNodeKind() == SVFVar::VarargNode;
|
|
645
|
+
}
|
|
634
646
|
static inline bool classof(const GenericPAGNodeTy *node)
|
|
635
647
|
{
|
|
636
648
|
return node->getNodeKind() == SVFVar::VarargNode;
|
|
@@ -639,7 +651,7 @@ public:
|
|
|
639
651
|
|
|
640
652
|
/// Constructor
|
|
641
653
|
VarArgPN(const SVFFunction* val, NodeID i) :
|
|
642
|
-
|
|
654
|
+
ValVar(val->getLLVMFun(), i, VarargNode)
|
|
643
655
|
{
|
|
644
656
|
}
|
|
645
657
|
|
|
@@ -672,6 +684,10 @@ public:
|
|
|
672
684
|
{
|
|
673
685
|
return node->getNodeKind() == SVFVar::DummyValNode;
|
|
674
686
|
}
|
|
687
|
+
static inline bool classof(const ValVar *node)
|
|
688
|
+
{
|
|
689
|
+
return node->getNodeKind() == SVFVar::DummyValNode;
|
|
690
|
+
}
|
|
675
691
|
static inline bool classof(const GenericPAGNodeTy *node)
|
|
676
692
|
{
|
|
677
693
|
return node->getNodeKind() == SVFVar::DummyValNode;
|
|
@@ -712,6 +728,11 @@ public:
|
|
|
712
728
|
return node->getNodeKind() == SVFVar::DummyObjNode
|
|
713
729
|
|| node->getNodeKind() == SVFVar::CloneDummyObjNode;
|
|
714
730
|
}
|
|
731
|
+
static inline bool classof(const ObjVar *node)
|
|
732
|
+
{
|
|
733
|
+
return node->getNodeKind() == SVFVar::DummyObjNode
|
|
734
|
+
|| node->getNodeKind() == SVFVar::CloneDummyObjNode;
|
|
735
|
+
}
|
|
715
736
|
static inline bool classof(const GenericPAGNodeTy *node)
|
|
716
737
|
{
|
|
717
738
|
return node->getNodeKind() == SVFVar::DummyObjNode
|