Rule-8-4

mbaluda · mbaluda · commit 8a61a0d9967a · 2023-03-09T01:27:12.000+01:00
diff --git a/c/misra/src/rules/RULE-8-4/CompatibleDeclarationObjectDefined.ql b/c/misra/src/rules/RULE-8-4/CompatibleDeclarationObjectDefined.ql
@@ -26,7 +26,7 @@ where
   // no declaration matches
   not exists(VariableDeclarationEntry decl2 |
     not decl2.isDefinition() and
-    decl1.getVariable().getQualifiedName() = decl2.getVariable().getQualifiedName() and
+    decl1.getDeclaration() = decl2.getDeclaration() and
     typesCompatible(decl1.getType(), decl2.getType())
   )
 select decl1, "No separate compatible declaration found for this definition."

Original file line number	Diff line number	Diff line change
`@@ -26,7 +26,7 @@ where`
`26`	`26`	`// no declaration matches`
`27`	`27`	`not exists(VariableDeclarationEntry decl2 \|`
`28`	`28`	`not decl2.isDefinition() and`
`29`		`- decl1.getVariable().getQualifiedName() = decl2.getVariable().getQualifiedName() and`
	`29`	`+ decl1.getDeclaration() = decl2.getDeclaration() and`
`30`	`30`	`typesCompatible(decl1.getType(), decl2.getType())`
`31`	`31`	`)`
`32`	`32`	`select decl1, "No separate compatible declaration found for this definition."`