C++: Update QLDoc on 'GuardCondition' to reflect the fact that switch statements are supported.

MathiasVP · MathiasVP · commit 4652003688a3 · 2024-07-02T20:21:54.000+01:00
diff --git a/cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll b/cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll
@@ -59,8 +59,7 @@ class MatchValue extends AbstractValue, TMatchValue {
 }
 
 /**
- * A Boolean condition in the AST that guards one or more basic blocks. This includes
- * operands of logical operators but not switch statements.
+ * A Boolean condition in the AST that guards one or more basic blocks.
  */
 cached
 class GuardCondition extends Expr {

Original file line number	Diff line number	Diff line change
`@@ -59,8 +59,7 @@ class MatchValue extends AbstractValue, TMatchValue {`
`59`	`59`	`}`
`60`	`60`
`61`	`61`	`/**`
`62`		`- * A Boolean condition in the AST that guards one or more basic blocks. This includes`
`63`		`- * operands of logical operators but not switch statements.`
	`62`	`+ * A Boolean condition in the AST that guards one or more basic blocks.`
`64`	`63`	`*/`
`65`	`64`	`cached`
`66`	`65`	`class GuardCondition extends Expr {`