C++: Parameters can have a static specifier but are not static

jketema · jketema · commit 11965cb82478 · 2025-04-04T16:22:09.000+02:00
This will be a problem once we output those specifiers in the extractor.
diff --git a/cpp/ql/lib/semmle/code/cpp/Parameter.qll b/cpp/ql/lib/semmle/code/cpp/Parameter.qll
@@ -157,6 +157,8 @@ class Parameter extends LocalScopeVariable, @parameter {
       vde.isDefinition() or not this.getAnEffectiveDeclarationEntry().isDefinition()
     )
   }
+
+  override predicate isStatic() { none() }
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -157,6 +157,8 @@ class Parameter extends LocalScopeVariable, @parameter {`
`157`	`157`	`vde.isDefinition() or not this.getAnEffectiveDeclarationEntry().isDefinition()`
`158`	`158`	`)`
`159`	`159`	`}`
	`160`	`+`
	`161`	`+ override predicate isStatic() { none() }`
`160`	`162`	`}`
`161`	`163`
`162`	`164`	`/**`