File tree Expand file tree Collapse file tree 2 files changed +2
-2
lines changed
python/ql/src/semmle/python Expand file tree Collapse file tree 2 files changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -1625,7 +1625,7 @@ module PointsTo {
16251625 context .isRuntime ( ) and
16261626 exists ( ControlFlowNode param |
16271627 param = def .getDefiningNode ( ) |
1628- varargs_points_to ( param , cls ) and value = theEmptyTupleObject ( ) and origin = param
1628+ varargs_points_to ( param , cls ) and value = TupleObject :: empty ( ) and origin = param
16291629 or
16301630 varargs_points_to ( param , cls ) and value = param and origin = param
16311631 or
Original file line number Diff line number Diff line change @@ -130,7 +130,7 @@ class Object extends @py_object {
130130 or
131131 this = theFalseObject ( ) and result = false
132132 or
133- this = theEmptyTupleObject ( ) and result = false
133+ this = TupleObject :: empty ( ) and result = false
134134 or
135135 exists ( Tuple t | t = this .getOrigin ( ) |
136136 exists ( t .getAnElt ( ) ) and result = true
You can’t perform that action at this time.
0 commit comments