We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
b
1 parent b13535a commit ff62afbCopy full SHA for ff62afb
cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowUtil.qll
@@ -684,7 +684,7 @@ VariableAccess getAnAccessToAssignedVariable(Expr assign) {
684
*/
685
class BarrierGuard extends GuardCondition {
686
/** Override this predicate to hold if this guard validates `e` upon evaluating to `b`. */
687
- abstract predicate checks(Expr e, boolean branch);
+ abstract predicate checks(Expr e, boolean b);
688
689
/** Gets a node guarded by this guard. */
690
final ExprNode getAGuardedNode() {
0 commit comments