Bug Summary

File:build/../torch/csrc/Layout.cpp
Warning:line 16, column 28
PyObject ownership leak with reference count of 1

Annotated Source Code

Press '?' to see keyboard shortcuts

clang -cc1 -cc1 -triple x86_64-unknown-linux-gnu -analyze -disable-free -disable-llvm-verifier -discard-value-names -main-file-name tensor_layouts.cpp -analyzer-store=region -analyzer-opt-analyze-nested-blocks -analyzer-checker=core -analyzer-checker=apiModeling -analyzer-checker=unix -analyzer-checker=deadcode -analyzer-checker=cplusplus -analyzer-checker=security.insecureAPI.UncheckedReturn -analyzer-checker=security.insecureAPI.getpw -analyzer-checker=security.insecureAPI.gets -analyzer-checker=security.insecureAPI.mktemp -analyzer-checker=security.insecureAPI.mkstemp -analyzer-checker=security.insecureAPI.vfork -analyzer-checker=nullability.NullPassedToNonnull -analyzer-checker=nullability.NullReturnedFromNonnull -analyzer-output plist -w -analyzer-output=html -analyzer-checker=python -analyzer-disable-checker=deadcode -analyzer-config prune-paths=true,suppress-c++-stdlib=true,suppress-inlined-defensive-checks=false,suppress-null-return-paths=false,crosscheck-with-z3=true,model-path=/opt/pyrefcon/lib/pyrefcon/models/models -analyzer-config experimental-enable-naive-ctu-analysis=true,ctu-dir=/tmp/pyrefcon/pytorch/csa-scan,ctu-index-name=/tmp/pyrefcon/pytorch/csa-scan/externalDefMap.txt,ctu-invocation-list=/tmp/pyrefcon/pytorch/csa-scan/invocations.yaml,display-ctu-progress=false -setup-static-analyzer -analyzer-config-compatibility-mode=true -mrelocation-model pic -pic-level 2 -fhalf-no-semantic-interposition -mframe-pointer=none -relaxed-aliasing -fno-rounding-math -ffp-exception-behavior=ignore -mconstructor-aliases -munwind-tables -target-cpu x86-64 -tune-cpu generic -debugger-tuning=gdb -fcoverage-compilation-dir=/tmp/pyrefcon/pytorch/build -resource-dir /opt/pyrefcon/lib/clang/13.0.0 -isystem third_party/gloo -isystem ../cmake/../third_party/gloo -isystem ../cmake/../third_party/googletest/googlemock/include -isystem ../cmake/../third_party/googletest/googletest/include -isystem ../third_party/protobuf/src -isystem ../third_party/gemmlowp -isystem ../third_party/neon2sse -isystem ../third_party/XNNPACK/include -isystem ../third_party -isystem ../cmake/../third_party/eigen -isystem /opt/pyrefcon/lib/pyrefcon/models/python3.8 -isystem /usr/lib/python3/dist-packages/numpy/core/include -isystem ../cmake/../third_party/pybind11/include -isystem /usr/lib/x86_64-linux-gnu/openmpi/include/openmpi -isystem /usr/lib/x86_64-linux-gnu/openmpi/include -isystem ../third_party/ideep/mkl-dnn/include -isystem ../third_party/ideep/include -D BUILDING_TESTS -D FMT_HEADER_ONLY=1 -D HAVE_MALLOC_USABLE_SIZE=1 -D HAVE_MMAP=1 -D HAVE_SHM_OPEN=1 -D HAVE_SHM_UNLINK=1 -D MINIZ_DISABLE_ZIP_READER_CRC32_CHECKS -D ONNXIFI_ENABLE_EXT=1 -D ONNX_ML=1 -D ONNX_NAMESPACE=onnx_torch -D THP_BUILD_MAIN_LIB -D USE_C10D -D USE_C10D_GLOO -D USE_C10D_MPI -D USE_DISTRIBUTED -D USE_EXTERNAL_MZCRC -D USE_NUMPY -D USE_RPC -D USE_TENSORPIPE -D USE_VALGRIND -D _FILE_OFFSET_BITS=64 -D torch_python_EXPORTS -I aten/src -I ../aten/src -I . -I ../ -I ../cmake/../third_party/benchmark/include -I caffe2/contrib/aten -I ../third_party/onnx -I third_party/onnx -I ../third_party/foxi -I third_party/foxi -I ../torch/.. -I ../torch/../aten/src -I ../torch/../aten/src/TH -I caffe2/aten/src -I third_party -I ../torch/../third_party/valgrind-headers -I ../torch/../third_party/gloo -I ../torch/../third_party/onnx -I ../torch/csrc -I ../torch/csrc/api/include -I ../torch/lib -I ../torch/lib/libshm -I ../torch/csrc/distributed -I ../torch/csrc/api -I ../c10/.. -I third_party/ideep/mkl-dnn/include -I ../third_party/ideep/mkl-dnn/src/../include -I ../torch/lib/libshm/../../../torch/lib -I ../third_party/fmt/include -D USE_PTHREADPOOL -D NDEBUG -D USE_KINETO -D LIBKINETO_NOCUPTI -D USE_FBGEMM -D USE_QNNPACK -D USE_PYTORCH_QNNPACK -D USE_XNNPACK -D SYMBOLICATE_MOBILE_DEBUG_HANDLE -D HAVE_AVX_CPU_DEFINITION -D HAVE_AVX2_CPU_DEFINITION -D NDEBUG -D NDEBUG -D CAFFE2_USE_GLOO -D HAVE_GCC_GET_CPUID -D USE_AVX -D USE_AVX2 -D TH_HAVE_THREAD -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../include/x86_64-linux-gnu/c++/10 -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../include/c++/10/backward -internal-isystem /opt/pyrefcon/lib/clang/13.0.0/include -internal-isystem /usr/local/include -internal-isystem /usr/lib/gcc/x86_64-linux-gnu/10/../../../../x86_64-linux-gnu/include -internal-externc-isystem /usr/include/x86_64-linux-gnu -internal-externc-isystem /include -internal-externc-isystem /usr/include -O3 -Wno-narrowing -Wall -Wextra -Werror=return-type -Wno-missing-field-initializers -Wno-type-limits -Wno-array-bounds -Wno-unknown-pragmas -Wno-sign-compare -Wno-unused-parameter -Wno-unused-variable -Wno-unused-function -Wno-unused-result -Wno-unused-local-typedefs -Wno-strict-overflow -Wno-strict-aliasing -Wno-error=deprecated-declarations -Wno-stringop-overflow -Wno-psabi -Wno-error=pedantic -Wno-error=redundant-decls -Wno-error=old-style-cast -Wno-unused-but-set-variable -Wno-maybe-uninitialized -Werror=format -Werror=cast-function-type -Wno-stringop-overflow -Wno-write-strings -Wno-strict-aliasing -w -std=gnu++14 -fdeprecated-macro -fdebug-compilation-dir=/tmp/pyrefcon/pytorch/build -ferror-limit 19 -fvisibility-inlines-hidden -fopenmp -fopenmp-cuda-parallel-target-regions -pthread -fgnuc-version=4.2.1 -fcxx-exceptions -fexceptions -faligned-allocation -fcolor-diagnostics -vectorize-loops -vectorize-slp -faddrsig -D__GCC_HAVE_DWARF2_CFI_ASM=1 -o /tmp/pyrefcon/pytorch/csa-scan/reports -x c++ ../torch/csrc/utils/tensor_layouts.cpp

../torch/csrc/utils/tensor_layouts.cpp

→
1#include <ATen/Layout.h>
2#include <c10/core/ScalarType.h>
3#include <torch/csrc/DynamicTypes.h>
4#include <torch/csrc/Exceptions.h>
5#include <torch/csrc/Layout.h>
6#include <torch/csrc/python_headers.h>
7#include <torch/csrc/utils/object_ptr.h>
8#include <torch/csrc/utils/tensor_layouts.h>
9
10namespace torch { namespace utils {
11
12void initializeLayouts() {
13 auto torch_module = THPObjectPtr(PyImport_ImportModule("torch"));
14 if (!torch_module) throw python_error();
1
Assuming the condition is false
→
2
←
Taking false branch
→
15
16 PyObject* strided_layout = THPLayout_New(at::Layout::Strided, "torch.strided");
17 Py_INCREF(strided_layout)_Py_INCREF(((PyObject*)(strided_layout)));
3
←
Calling '_Py_INCREF'
→
5
←
Returning from '_Py_INCREF'
→
18 if (PyModule_AddObject(torch_module, "strided", strided_layout) != 0) {
6
←
Taking true branch
→
19 throw python_error();
20 }
21 registerLayoutObject((THPLayout*)strided_layout, at::Layout::Strided);
22
23 PyObject* sparse_coo_layout = THPLayout_New(at::Layout::Sparse, "torch.sparse_coo");
24 Py_INCREF(sparse_coo_layout)_Py_INCREF(((PyObject*)(sparse_coo_layout)));
25 if (PyModule_AddObject(torch_module, "sparse_coo", sparse_coo_layout) != 0) {
26 throw python_error();
27 }
28 registerLayoutObject((THPLayout*)sparse_coo_layout, at::Layout::Sparse);
29
30 PyObject* sparse_csr_layout =
31 THPLayout_New(at::Layout::SparseCsr, "torch.sparse_csr");
32 Py_INCREF(sparse_csr_layout)_Py_INCREF(((PyObject*)(sparse_csr_layout)));
33 if (PyModule_AddObject(torch_module, "sparse_csr", sparse_csr_layout) != 0) {
34 throw python_error();
35 }
36 registerLayoutObject((THPLayout*)sparse_csr_layout, at::Layout::SparseCsr);
37
38 PyObject* mkldnn_layout = THPLayout_New(at::Layout::Mkldnn, "torch._mkldnn");
39 Py_INCREF(mkldnn_layout)_Py_INCREF(((PyObject*)(mkldnn_layout)));
40 if (PyModule_AddObject(torch_module, "_mkldnn", mkldnn_layout) != 0) {
41 throw python_error();
42 }
43 registerLayoutObject((THPLayout*)mkldnn_layout, at::Layout::Mkldnn);
44}
45
46}} // namespace torch::utils
←

/opt/pyrefcon/lib/pyrefcon/models/models/_Py_INCREF.model

→
1void _Py_INCREF(PyObject *op) { ++op->ob_refcnt; }
4
←
Setting reference count to 1
→
←

/tmp/pyrefcon/pytorch/build/../torch/csrc/Layout.cpp

1#include <torch/csrc/Layout.h>
2
3#include <torch/csrc/Exceptions.h>
4#include <torch/csrc/utils/object_ptr.h>
5#include <torch/csrc/utils/python_strings.h>
6
7#include <ATen/Layout.h>
8
9#include <structmember.h>
10#include <cstring>
11#include <string>
12
13PyObject *THPLayout_New(at::Layout layout, const std::string& name)
14{
15 auto type = (PyTypeObject*)&THPLayoutType;
16 auto self = THPObjectPtr{type->tp_alloc(type, 0)};
7
←
PyObject ownership leak with reference count of 1
17 if (!self) throw python_error();
18 auto self_ = reinterpret_cast<THPLayout*>(self.get());
19 self_->layout = layout;
20 std::strncpy (self_->name, name.c_str(), LAYOUT_NAME_LEN);
21 self_->name[LAYOUT_NAME_LEN] = '\0';
22 return self.release();
23}
24
25PyObject *THPLayout_repr(THPLayout *self)
26{
27 return THPUtils_packString(self->name);
28}
29
30// NOLINTNEXTLINE(cppcoreguidelines-avoid-non-const-global-variables)
31PyTypeObject THPLayoutType = {
32 PyVarObject_HEAD_INIT(nullptr, 0){ { 1, nullptr }, 0 },
33 "torch.layout", /* tp_name */
34 sizeof(THPLayout), /* tp_basicsize */
35 0, /* tp_itemsize */
36 nullptr, /* tp_dealloc */
37 // NOLINTNEXTLINE(modernize-use-nullptr)
38 0, /* tp_vectorcall_offset */
39 nullptr, /* tp_getattr */
40 nullptr, /* tp_setattr */
41 nullptr, /* tp_reserved */
42 (reprfunc)THPLayout_repr, /* tp_repr */
43 nullptr, /* tp_as_number */
44 nullptr, /* tp_as_sequence */
45 nullptr, /* tp_as_mapping */
46 nullptr, /* tp_hash */
47 nullptr, /* tp_call */
48 nullptr, /* tp_str */
49 nullptr, /* tp_getattro */
50 nullptr, /* tp_setattro */
51 nullptr, /* tp_as_buffer */
52 Py_TPFLAGS_DEFAULT( 0 | (1UL << 18) | 0), /* tp_flags */
53 nullptr, /* tp_doc */
54 nullptr, /* tp_traverse */
55 nullptr, /* tp_clear */
56 nullptr, /* tp_richcompare */
57 0, /* tp_weaklistoffset */
58 nullptr, /* tp_iter */
59 nullptr, /* tp_iternext */
60 nullptr, /* tp_methods */
61 nullptr, /* tp_members */
62 nullptr, /* tp_getset */
63 nullptr, /* tp_base */
64 nullptr, /* tp_dict */
65 nullptr, /* tp_descr_get */
66 nullptr, /* tp_descr_set */
67 0, /* tp_dictoffset */
68 nullptr, /* tp_init */
69 nullptr, /* tp_alloc */
70 nullptr, /* tp_new */
71};
72
73void THPLayout_init(PyObject *module)
74{
75 if (PyType_Ready(&THPLayoutType) < 0) {
76 throw python_error();
77 }
78 Py_INCREF(&THPLayoutType)_Py_INCREF(((PyObject*)(&THPLayoutType)));
79 if (PyModule_AddObject(module, "layout", (PyObject *)&THPLayoutType) != 0) {
80 throw python_error();
81 }
82}