We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 34ab4ef commit c7a2925Copy full SHA for c7a2925
1 file changed
python/ql/src/semmle/python/types/Exceptions.qll
@@ -276,7 +276,7 @@ class ExceptFlowNode extends ControlFlowNode {
276
or
277
exists(TupleValue tup |
278
this.handledObject(tup, ClassValue::tuple(), _) |
279
- element_from_tuple(tup).pointsTo(val,origin)
+ val = tup.getItem(_) and origin = val.getOrigin()
280
)
281
282
}
@@ -317,12 +317,6 @@ private ControlFlowNode element_from_tuple_objectapi(Object tuple) {
317
318
319
320
-private ControlFlowNode element_from_tuple(Value tuple) {
321
- exists(Tuple t |
322
- t = tuple.getOrigin() and result = t.getAnElt().getAFlowNode()
323
- )
324
-}
325
-
326
/** A Reraising node is the node at the end of a finally block (on the exceptional branch)
327
* that reraises the current exception.
328
*/
0 commit comments