File tree Expand file tree Collapse file tree 1 file changed +3
-5
lines changed
cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal Expand file tree Collapse file tree 1 file changed +3
-5
lines changed Original file line number Diff line number Diff line change @@ -489,7 +489,7 @@ class Node extends TIRDataFlowNode {
489
489
}
490
490
491
491
/**
492
- * Holds of this node represents the `indirectionIndex`'th indirection of
492
+ * Holds if this node represents the `indirectionIndex`'th indirection of
493
493
* the value of an output parameter `p` just before reaching the end of a function.
494
494
*/
495
495
predicate isFinalValueOfParameter ( Parameter p , int indirectionIndex ) {
@@ -500,12 +500,10 @@ class Node extends TIRDataFlowNode {
500
500
}
501
501
502
502
/**
503
- * Holds of this node represents the value of an output parameter `p`
503
+ * Holds if this node represents the value of an output parameter `p`
504
504
* just before reaching the end of a function.
505
505
*/
506
- predicate isFinalValueOfParameter ( Parameter p ) {
507
- this .isFinalValueOfParameter ( p , _)
508
- }
506
+ predicate isFinalValueOfParameter ( Parameter p ) { this .isFinalValueOfParameter ( p , _) }
509
507
510
508
/**
511
509
* Gets the variable corresponding to this node, if any. This can be used for
You can’t perform that action at this time.
0 commit comments