Skip to content

Commit c7a2925

Browse files
committed
Python: Exceptions.qll: Clean up handleObject again
1 parent 34ab4ef commit c7a2925

File tree

1 file changed

+1
-7
lines changed

1 file changed

+1
-7
lines changed

python/ql/src/semmle/python/types/Exceptions.qll

Lines changed: 1 addition & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -276,7 +276,7 @@ class ExceptFlowNode extends ControlFlowNode {
276276
or
277277
exists(TupleValue tup |
278278
this.handledObject(tup, ClassValue::tuple(), _) |
279-
element_from_tuple(tup).pointsTo(val,origin)
279+
val = tup.getItem(_) and origin = val.getOrigin()
280280
)
281281
)
282282
}
@@ -317,12 +317,6 @@ private ControlFlowNode element_from_tuple_objectapi(Object tuple) {
317317
)
318318
}
319319

320-
private ControlFlowNode element_from_tuple(Value tuple) {
321-
exists(Tuple t |
322-
t = tuple.getOrigin() and result = t.getAnElt().getAFlowNode()
323-
)
324-
}
325-
326320
/** A Reraising node is the node at the end of a finally block (on the exceptional branch)
327321
* that reraises the current exception.
328322
*/

0 commit comments

Comments
 (0)