Skip to content

Commit 417b9c9

Browse files
committed
CPP: Use DeleteOrDeleteArrayExpr in another place.
1 parent a3711e1 commit 417b9c9

File tree

1 file changed

+1
-10
lines changed
  • cpp/ql/lib/semmle/code/cpp/controlflow/internal

1 file changed

+1
-10
lines changed

cpp/ql/lib/semmle/code/cpp/controlflow/internal/CFG.qll

Lines changed: 1 addition & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -332,16 +332,7 @@ private Node getControlOrderChildSparse(Node n, int i) {
332332
n = any(ConditionDeclExpr cd | i = 0 and result = cd.getInitializingExpr())
333333
or
334334
n =
335-
any(DeleteExpr del |
336-
i = 0 and result = del.getExpr()
337-
or
338-
i = 1 and result = del.getDestructorCall()
339-
or
340-
i = 2 and result = del.getDeallocatorCall()
341-
)
342-
or
343-
n =
344-
any(DeleteArrayExpr del |
335+
any(DeleteOrDeleteArrayExpr del |
345336
i = 0 and result = del.getExpr()
346337
or
347338
i = 1 and result = del.getDestructorCall()

0 commit comments

Comments
 (0)