Merge pull request #834 from jketema/spec

jketema · web-flow · commit 9dc6c1f7b803 · 2025-01-09T22:22:05.000+01:00
Update A2-10-4 after QL changes
diff --git a/cpp/autosar/src/rules/A2-10-4/IdentifierNameOfStaticNonMemberObjectReusedInNamespace.ql b/cpp/autosar/src/rules/A2-10-4/IdentifierNameOfStaticNonMemberObjectReusedInNamespace.ql
@@ -22,7 +22,7 @@ class CandidateVariable extends Variable {
     isStatic() and
     not this instanceof MemberVariable and
     //exclude partially specialized template variables
-    not exists(TemplateVariable v | this = v.getAnInstantiation())
+    not this.isSpecialization()
   }
 }
 

Original file line number	Diff line number	Diff line change
`@@ -22,7 +22,7 @@ class CandidateVariable extends Variable {`
`22`	`22`	`isStatic() and`
`23`	`23`	`not this instanceof MemberVariable and`
`24`	`24`	`//exclude partially specialized template variables`
`25`		`- not exists(TemplateVariable v \| this = v.getAnInstantiation())`
	`25`	`+ not this.isSpecialization()`
`26`	`26`	`}`
`27`	`27`	`}`
`28`	`28`