From ea2140dc7d48f887d4f8a43429a593619b047993 Mon Sep 17 00:00:00 2001 From: Alexander Eyers-Taylor Date: Fri, 25 Aug 2023 17:15:08 +0100 Subject: [PATCH] Apply suggestions from code review Co-authored-by: Mathias Vorreiter Pedersen --- cpp/ql/lib/semmle/code/cpp/exprs/Expr.qll | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/cpp/ql/lib/semmle/code/cpp/exprs/Expr.qll b/cpp/ql/lib/semmle/code/cpp/exprs/Expr.qll index abd692e5d47..79b2cc6df8d 100644 --- a/cpp/ql/lib/semmle/code/cpp/exprs/Expr.qll +++ b/cpp/ql/lib/semmle/code/cpp/exprs/Expr.qll @@ -949,7 +949,7 @@ class DeleteOrDeleteArrayExpr extends Expr, TDeleteOrDeleteArrayExpr { DestructorCall getDestructorCall() { result = this.getChild(1) } /** - * Gets the destructor to be called to destroy the object/array, if any. + * Gets the destructor to be called to destroy the object or array, if any. */ Destructor getDestructor() { result = this.getDestructorCall().getTarget() } @@ -997,10 +997,10 @@ class DeleteOrDeleteArrayExpr extends Expr, TDeleteOrDeleteArrayExpr { } /** - * Gets the object/array being deleted. + * Gets the object or array being deleted. */ Expr getExpr() { - // If there is a destuctor call, the object being deleted is the qualifier + // If there is a destructor call, the object being deleted is the qualifier // otherwise it is the third child. result = this.getChild(3) or result = this.getDestructorCall().getQualifier() }