Update cpp/ql/src/experimental/Security/CWE/CWE-570/WrongInDetectingAndHandlingMemoryAllocationErrors.ql

geoffw0 · MathiasVP · web-flow · commit 85ecfe2723c2 · 2021-03-31T11:34:56.000+01:00
Co-authored-by: Mathias Vorreiter Pedersen &lt;mathiasvp@github.com&gt;
diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-570/WrongInDetectingAndHandlingMemoryAllocationErrors.ql b/cpp/ql/src/experimental/Security/CWE/CWE-570/WrongInDetectingAndHandlingMemoryAllocationErrors.ql
@@ -72,7 +72,7 @@ class WrongCheckErrorOperatorNew extends FunctionCall {
   }
 
   /**
-   * Holds if `(std::nothrow)` exists in call `operator new`.
+   * Holds if `(std::nothrow)` or `(std::noexcept)` exists in call `operator new`.
    */
   predicate isExistsNothrow() { getTarget().isNoExcept() or getTarget().isNoThrow() }
 }

Original file line number	Diff line number	Diff line change
`@@ -72,7 +72,7 @@ class WrongCheckErrorOperatorNew extends FunctionCall {`
`72`	`72`	`}`
`73`	`73`
`74`	`74`	`/**`
`75`		- * Holds if `(std::nothrow)` exists in call `operator new`.
	`75`	+ * Holds if `(std::nothrow)` or `(std::noexcept)` exists in call `operator new`.
`76`	`76`	`*/`
`77`	`77`	`predicate isExistsNothrow() { getTarget().isNoExcept() or getTarget().isNoThrow() }`
`78`	`78`	`}`