Skip to content

Commit 640c842

Browse files
authored
Merge pull request github#16892 from MathiasVP/fix-qldoc-on-GuardCondition
C++: Update QLDoc on `GuardCondition`
2 parents ce177c3 + 284007d commit 640c842

File tree

1 file changed

+5
-6
lines changed

1 file changed

+5
-6
lines changed

cpp/ql/lib/semmle/code/cpp/controlflow/IRGuards.qll

Lines changed: 5 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -59,8 +59,7 @@ class MatchValue extends AbstractValue, TMatchValue {
5959
}
6060

6161
/**
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.
6463
*/
6564
cached
6665
class GuardCondition extends Expr {
@@ -366,10 +365,10 @@ private predicate nonExcludedIRAndBasicBlock(IRBlock irb, BasicBlock controlled)
366365
}
367366

368367
/**
369-
* A Boolean condition in the IR that guards one or more basic blocks. This includes
370-
* operands of logical operators but not switch statements. Note that `&&` and `||`
371-
* don't have an explicit representation in the IR, and therefore will not appear as
372-
* IRGuardConditions.
368+
* A Boolean condition in the IR that guards one or more basic blocks.
369+
*
370+
* Note that `&&` and `||` don't have an explicit representation in the IR,
371+
* and therefore will not appear as IRGuardConditions.
373372
*/
374373
cached
375374
class IRGuardCondition extends Instruction {

0 commit comments

Comments
 (0)