Update cpp/common/src/codingstandards/cpp/standardlibrary/Assert.qll

mbaluda · Copilot · web-flow · commit 86123fe753c0 · 2026-03-10T11:14:26.000+01:00
Co-authored-by: Copilot &lt;175728472+Copilot@users.noreply.github.com&gt;
diff --git a/cpp/common/src/codingstandards/cpp/standardlibrary/Assert.qll b/cpp/common/src/codingstandards/cpp/standardlibrary/Assert.qll
@@ -23,7 +23,7 @@ class AssertInvocation extends MacroInvocation {
    * condition being asserted.
    *
    * For example, `assert(x)` may expand to `{ if (!__unlikely(x)) abort(); }`. In this case:
-   * - We first identify the "outermost conditonal" generated by the macro, which is the `if`
+   * - We first identify the "outermost conditional" generated by the macro, which is the `if`
    *   statement, with the raw condition `!__unlikely(x)`.
    * - We then analyze the control flow to see if the abort occurs when this raw condition is true
    *   or false. In this case, it aborts when the raw condition `!__unlikely(x)` is true.

Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@ class AssertInvocation extends MacroInvocation {`
`23`	`23`	`* condition being asserted.`
`24`	`24`	`*`
`25`	`25`	* For example, `assert(x)` may expand to `{ if (!__unlikely(x)) abort(); }`. In this case:
`26`		- * - We first identify the "outermost conditonal" generated by the macro, which is the `if`
	`26`	+ * - We first identify the "outermost conditional" generated by the macro, which is the `if`
`27`	`27`	* statement, with the raw condition `!__unlikely(x)`.
`28`	`28`	`* - We then analyze the control flow to see if the abort occurs when this raw condition is true`
`29`	`29`	* or false. In this case, it aborts when the raw condition `!__unlikely(x)` is true.