Remove redundant condition

MichaelRFairhurst · MichaelRFairhurst · commit 6c14eebefbe9 · 2025-04-28T10:53:10.000-07:00
diff --git a/c/misra/src/rules/RULE-8-3/DeclarationsOfAFunctionSameNameAndType.ql b/c/misra/src/rules/RULE-8-3/DeclarationsOfAFunctionSameNameAndType.ql
@@ -17,7 +17,6 @@ import codingstandards.c.misra
 import codingstandards.cpp.types.Compatible
 
 predicate interestedInFunctions(FunctionDeclarationEntry f1, FunctionDeclarationEntry f2) {
-  f1.getDeclaration() = f2.getDeclaration() and
   not f1 = f2 and
   f1.getDeclaration() = f2.getDeclaration()
 }

Original file line number	Diff line number	Diff line change
`@@ -17,7 +17,6 @@ import codingstandards.c.misra`
`17`	`17`	`import codingstandards.cpp.types.Compatible`
`18`	`18`
`19`	`19`	`predicate interestedInFunctions(FunctionDeclarationEntry f1, FunctionDeclarationEntry f2) {`
`20`		`- f1.getDeclaration() = f2.getDeclaration() and`
`21`	`20`	`not f1 = f2 and`
`22`	`21`	`f1.getDeclaration() = f2.getDeclaration()`
`23`	`22`	`}`