Skip to content

Commit f55ace8

Browse files
committed
C++: Make the return type a bit more precise.
1 parent 2cd1d2f commit f55ace8

File tree

1 file changed

+3
-1
lines changed
  • cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal

1 file changed

+3
-1
lines changed

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImpl.qll

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -498,7 +498,9 @@ class FinalParameterUse extends UseImpl, TFinalParameterUse {
498498

499499
int getArgumentIndex() { result = p.getIndex() }
500500

501-
override Node getNode() { finalParameterNodeHasParameterAndIndex(result, p, indirectionIndex) }
501+
override FinalParameterNode getNode() {
502+
finalParameterNodeHasParameterAndIndex(result, p, indirectionIndex)
503+
}
502504

503505
override int getIndirection() { result = indirectionIndex + 1 }
504506

0 commit comments

Comments
 (0)