diff --git a/pybind/SVFIR.cpp b/pybind/SVFIR.cpp index 78f7ef5..1d31ca4 100644 --- a/pybind/SVFIR.cpp +++ b/pybind/SVFIR.cpp @@ -403,10 +403,10 @@ void bind_svf_var(py::module &m) { }, py::return_value_policy::reference) .def("isConstAggValVar", [](SVF::ValVar* node) -> bool { - return SVFUtil::isa(node); + return SVFUtil::isa(node); }) - .def("asConstAggValVar", [](SVF::ValVar* node) -> SVF::ConstAggValVar* { - return SVFUtil::dyn_cast(node); + .def("asConstAggValVar", [](SVF::ValVar* node) -> SVF::ConstDataValVar* { + return SVFUtil::dyn_cast(node); }, py::return_value_policy::reference) .def("isConstDataValVar", [](SVF::ValVar* node) -> bool { @@ -533,10 +533,10 @@ void bind_svf_var(py::module &m) { return SVFUtil::dyn_cast(node); }, py::return_value_policy::reference) .def("isConstAggObjVar", [](SVF::ObjVar* node) -> bool { - return SVFUtil::isa(node); - }, py::return_value_policy::reference) - .def("asConstAggObjVar", [](SVF::ObjVar* node) -> SVF::ConstAggObjVar* { - return SVFUtil::dyn_cast(node); + return SVFUtil::isa(node); + }) + .def("asConstAggObjVar", [](SVF::ObjVar* node) -> SVF::ConstDataObjVar* { + return SVFUtil::dyn_cast(node); }, py::return_value_policy::reference) .def("isConstDataObjVar", [](SVF::ObjVar* node) -> bool { return SVFUtil::isa(node); @@ -663,10 +663,10 @@ void bind_svf_var(py::module &m) { return SVFUtil::dyn_cast(node); }, py::return_value_policy::reference) .def("isConstAggObjVar", [](SVF::BaseObjVar* node) -> bool { - return SVFUtil::isa(node); - }, py::return_value_policy::reference) - .def("asConstAggObjVar", [](SVF::BaseObjVar* node) -> SVF::ConstAggObjVar* { - return SVFUtil::dyn_cast(node); + return SVFUtil::isa(node); + }) + .def("asConstAggObjVar", [](SVF::BaseObjVar* node) -> SVF::ConstDataObjVar* { + return SVFUtil::dyn_cast(node); }, py::return_value_policy::reference) .def("isConstDataObjVar", [](SVF::BaseObjVar* node) -> bool { return SVFUtil::isa(node); @@ -743,11 +743,11 @@ void bind_svf_var(py::module &m) { /// GlobalValVar py::class_(m, "GlobalValVar"); - ///ConstAggValVar - py::class_(m, "ConstAggValVar"); - ///ConstDataValVar - py::class_(m, "ConstDataValVar"); + auto const_data_val_var = py::class_(m, "ConstDataValVar"); + + ///ConstAggValVar (backward-compatible alias for ConstDataValVar) + m.attr("ConstAggValVar") = const_data_val_var; ///BlackHoleValVar py::class_(m, "BlackHoleValVar"); @@ -767,11 +767,11 @@ void bind_svf_var(py::module &m) { ///GlobalObjVar py::class_(m, "GlobalObjVar"); - ///ConstAggObjVar - py::class_(m, "ConstAggObjVar"); - ///ConstDataObjVar - py::class_(m, "ConstDataObjVar"); + auto const_data_obj_var = py::class_(m, "ConstDataObjVar"); + + ///ConstAggObjVar (backward-compatible alias for ConstDataObjVar) + m.attr("ConstAggObjVar") = const_data_obj_var; //// ConstFPObjVar py::class_(m, "ConstFPObjVar")