Skip to content

Fix stubtest (3.9) failure by removing non-existent ConstAgg bindings from API surface #63

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
yuleisui merged 2 commits into from
Jul 16, 2026
Merged

Fix stubtest (3.9) failure by removing non-existent ConstAgg bindings from API surface #63

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
640d0b7
Initial plan
Copilot Jul 16, 2026
5634d46
Fix stubtest build failure from removed SVF const-aggregate types
Copilot Jul 16, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
25 changes: 0 additions & 25 deletions pybind/SVFIR.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -402,13 +402,6 @@ void bind_svf_var(py::module &m) {
return SVFUtil::dyn_cast<SVF::GlobalValVar>(node);
}, py::return_value_policy::reference)

.def("isConstAggValVar", [](SVF::ValVar* node) -> bool {
return SVFUtil::isa<SVF::ConstAggValVar>(node);
})
.def("asConstAggValVar", [](SVF::ValVar* node) -> SVF::ConstAggValVar* {
return SVFUtil::dyn_cast<SVF::ConstAggValVar>(node);
}, py::return_value_policy::reference)

.def("isConstDataValVar", [](SVF::ValVar* node) -> bool {
return SVFUtil::isa<SVF::ConstDataValVar>(node);
})
Expand Down Expand Up @@ -532,12 +525,6 @@ void bind_svf_var(py::module &m) {
.def("asStackObjVar", [](SVF::ObjVar* node) -> SVF::StackObjVar* {
return SVFUtil::dyn_cast<SVF::StackObjVar>(node);
}, py::return_value_policy::reference)
.def("isConstAggObjVar", [](SVF::ObjVar* node) -> bool {
return SVFUtil::isa<SVF::ConstAggObjVar>(node);
}, py::return_value_policy::reference)
.def("asConstAggObjVar", [](SVF::ObjVar* node) -> SVF::ConstAggObjVar* {
return SVFUtil::dyn_cast<SVF::ConstAggObjVar>(node);
}, py::return_value_policy::reference)
.def("isConstDataObjVar", [](SVF::ObjVar* node) -> bool {
return SVFUtil::isa<SVF::ConstDataObjVar>(node);
}, py::return_value_policy::reference)
Expand Down Expand Up @@ -662,12 +649,6 @@ void bind_svf_var(py::module &m) {
.def("asStackObjVar", [](SVF::BaseObjVar* node) -> SVF::StackObjVar* {
return SVFUtil::dyn_cast<SVF::StackObjVar>(node);
}, py::return_value_policy::reference)
.def("isConstAggObjVar", [](SVF::BaseObjVar* node) -> bool {
return SVFUtil::isa<SVF::ConstAggObjVar>(node);
}, py::return_value_policy::reference)
.def("asConstAggObjVar", [](SVF::BaseObjVar* node) -> SVF::ConstAggObjVar* {
return SVFUtil::dyn_cast<SVF::ConstAggObjVar>(node);
}, py::return_value_policy::reference)
.def("isConstDataObjVar", [](SVF::BaseObjVar* node) -> bool {
return SVFUtil::isa<SVF::ConstDataObjVar>(node);
}, py::return_value_policy::reference)
Expand Down Expand Up @@ -743,9 +724,6 @@ void bind_svf_var(py::module &m) {
/// GlobalValVar
py::class_<SVF::GlobalValVar, SVF::ValVar>(m, "GlobalValVar");

///ConstAggValVar
py::class_<SVF::ConstAggValVar, SVF::ValVar>(m, "ConstAggValVar");

///ConstDataValVar
py::class_<SVF::ConstDataValVar, SVF::ValVar>(m, "ConstDataValVar");

Expand All @@ -767,9 +745,6 @@ void bind_svf_var(py::module &m) {
///GlobalObjVar
py::class_<SVF::GlobalObjVar, SVF::BaseObjVar>(m, "GlobalObjVar");

///ConstAggObjVar
py::class_<SVF::ConstAggObjVar, SVF::BaseObjVar>(m, "ConstAggObjVar");

///ConstDataObjVar
py::class_<SVF::ConstDataObjVar, SVF::BaseObjVar>(m, "ConstDataObjVar");

Expand Down
2 changes: 0 additions & 2 deletions pysvf/__init__.py
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -142,14 +142,12 @@ def main():
FunObjVar,
FunValVar,
GlobalValVar,
ConstAggValVar,
ConstDataValVar,
BlackHoleValVar,
ConstFPValVar,
ConstIntValVar,
ConstNullPtrValVar,
GlobalObjVar,
ConstAggObjVar,
ConstDataObjVar,
ConstFPObjVar,
ConstIntObjVar,
Expand Down
24 changes: 0 additions & 24 deletions pysvf/pysvf.pyi
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -783,10 +783,6 @@ class ValVar(SVFVar):
"""Check if the SVF variable is a GlobalValVar"""
def asGlobalValVar(self) -> "GlobalValVar": ...
"""Downcast the SVF variable to a GlobalValVar"""
def isConstAggValVar(self) -> bool: ...
"""Check if the SVF variable is a ConstAggValVar"""
def asConstAggValVar(self) -> "ConstAggValVar": ...
"""Downcast the SVF variable to a ConstAggValVar"""
def isConstDataValVar(self) -> bool: ...
"""Check if the SVF variable is a ConstDataValVar"""
def asConstDataValVar(self) -> "ConstDataValVar": ...
Expand Down Expand Up @@ -858,9 +854,6 @@ class ObjVar(SVFVar):
def asFunObjVar(node: "ObjVar") -> "FunObjVar": ...
"""Downcast the SVF variable to a FunObjVar"""

def isConstAggObjVar(self) -> bool: ...
"""Check if this is a constant aggregate object variable"""

def isConstDataObjVar(self) -> bool: ...
"""Check if this is a constant data object variable"""

Expand All @@ -882,9 +875,6 @@ class ObjVar(SVFVar):
def isStackObjVar(self) -> bool: ...
"""Check if this is a stack object variable"""

def asConstAggObjVar(self) -> "ConstAggObjVar": ...
"""Cast to ConstAggObjVar if possible"""

def asConstDataObjVar(self) -> "ConstDataObjVar": ...
"""Cast to ConstDataObjVar if possible"""

Expand Down Expand Up @@ -973,10 +963,6 @@ class BaseObjVar(ObjVar):
"""Check if the SVF variable is a StackObjVar"""
def asStackObjVar(self) -> "StackObjVar": ...
"""Downcast the SVF variable to a StackObjVar"""
def isConstAggObjVar(self) -> bool: ...
"""Check if the SVF variable is a ConstAggObjVar"""
def asConstAggObjVar(self) -> "ConstAggObjVar": ...
"""Downcast the SVF variable to a ConstAggObjVar"""
def isConstDataObjVar(self) -> bool: ...
"""Check if the SVF variable is a ConstDataObjVar"""
def asConstDataObjVar(self) -> "ConstDataObjVar": ...
Expand Down Expand Up @@ -1388,11 +1374,6 @@ class DummyValVar(ValVar):



class ConstAggValVar(ValVar):
def __init__(self, *args, **kwargs) -> None: ...
"""Not intended for direct instantiation."""


class BlackHoleValVar(ValVar):
def __init__(self, *args, **kwargs) -> None: ...
"""Not intended for direct instantiation."""
Expand All @@ -1409,11 +1390,6 @@ class GlobalObjVar(BaseObjVar):
"""Not intended for direct instantiation."""


class ConstAggObjVar(BaseObjVar):
def __init__(self, *args, **kwargs) -> None: ...
"""Not intended for direct instantiation."""


class ConstNullPtrObjVar(ConstDataObjVar):
def __init__(self, *args, **kwargs) -> None: ...
"""Not intended for direct instantiation."""
Expand Down
2 changes: 0 additions & 2 deletions stubtest_allowlist.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -46,8 +46,6 @@ pysvf.CallPE
pysvf.CmpStmt
pysvf.CmpVFGNode
pysvf.CmpVFGNode.__init__
pysvf.ConstAggObjVar
pysvf.ConstAggValVar
pysvf.ConstDataObjVar
pysvf.ConstDataValVar
pysvf.ConstFPObjVar
Expand Down
Loading