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 {
489489 }
490490
491491 /**
492- * Holds of this node represents the `indirectionIndex`'th indirection of
492+ * Holds if this node represents the `indirectionIndex`'th indirection of
493493 * the value of an output parameter `p` just before reaching the end of a function.
494494 */
495495 predicate isFinalValueOfParameter ( Parameter p , int indirectionIndex ) {
@@ -500,12 +500,10 @@ class Node extends TIRDataFlowNode {
500500 }
501501
502502 /**
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`
504504 * just before reaching the end of a function.
505505 */
506- predicate isFinalValueOfParameter ( Parameter p ) {
507- this .isFinalValueOfParameter ( p , _)
508- }
506+ predicate isFinalValueOfParameter ( Parameter p ) { this .isFinalValueOfParameter ( p , _) }
509507
510508 /**
511509 * 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