diff --git a/cpp/ql/lib/semmle/code/cpp/controlflow/internal/CFG.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/internal/CFG.qll index 13144d2f867..32d9cb9bce4 100644 --- a/cpp/ql/lib/semmle/code/cpp/controlflow/internal/CFG.qll +++ b/cpp/ql/lib/semmle/code/cpp/controlflow/internal/CFG.qll @@ -332,16 +332,7 @@ private Node getControlOrderChildSparse(Node n, int i) { n = any(ConditionDeclExpr cd | i = 0 and result = cd.getInitializingExpr()) or n = - any(DeleteExpr del | - i = 0 and result = del.getExpr() - or - i = 1 and result = del.getDestructorCall() - or - i = 2 and result = del.getDeallocatorCall() - ) - or - n = - any(DeleteArrayExpr del | + any(DeleteOrDeleteArrayExpr del | i = 0 and result = del.getExpr() or i = 1 and result = del.getDestructorCall()