We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e69f4cd commit 2c71c46Copy full SHA for 2c71c46
csharp/ql/src/experimental/ir/implementation/unaliased_ssa/internal/AliasAnalysisImports.qll
@@ -165,7 +165,7 @@ module AliasModels {
165
* - There is no `FunctionOutput` for which `isParameterDeref(0)` holds, because `n` is neither a
166
* pointer nor a reference.
167
*/
168
- predicate isParameterDeref(ParameterIndex i) { none() }
+ predicate isParameterDeref(ParameterIndex index) { none() }
169
170
/**
171
* Holds if this is the output value pointed to by the `this` pointer of an instance member
0 commit comments