fix signature predicate name to not conflict with other definitions

knewbury01 · knewbury01 · commit 706029df1445 · 2026-04-30T13:36:33.000-04:00
diff --git a/cpp/common/src/codingstandards/cpp/types/Compatible.qll b/cpp/common/src/codingstandards/cpp/types/Compatible.qll
@@ -525,9 +525,11 @@ module FunctionDeclarationTypeEquivalence<
   }
 }
 
-signature predicate interestedInFunctions(Function f1, Function f2);
+signature predicate interestedInFunctionsByFunction(Function f1, Function f2);
 
-module FunctionEquivalence<TypeEquivalenceSig Config, interestedInFunctions/2 interestedInFuncs> {
+module FunctionEquivalence<
+  TypeEquivalenceSig Config, interestedInFunctionsByFunction/2 interestedInFuncs>
+{
   private predicate interestedInParameterTypes(Type a, Type b) {
     exists(Function aFun, Function bFun, int i |
       interestedInFuncs(pragma[only_bind_into](aFun), pragma[only_bind_into](bFun)) and

Original file line number	Diff line number	Diff line change
`@@ -525,9 +525,11 @@ module FunctionDeclarationTypeEquivalence<`
`525`	`525`	`}`
`526`	`526`	`}`
`527`	`527`
`528`		`-signature predicate interestedInFunctions(Function f1, Function f2);`
	`528`	`+signature predicate interestedInFunctionsByFunction(Function f1, Function f2);`
`529`	`529`
`530`		`-module FunctionEquivalence<TypeEquivalenceSig Config, interestedInFunctions/2 interestedInFuncs> {`
	`530`	`+module FunctionEquivalence<`
	`531`	`+ TypeEquivalenceSig Config, interestedInFunctionsByFunction/2 interestedInFuncs>`
	`532`	`+{`
`531`	`533`	`private predicate interestedInParameterTypes(Type a, Type b) {`
`532`	`534`	`exists(Function aFun, Function bFun, int i \|`
`533`	`535`	`interestedInFuncs(pragma[only_bind_into](aFun), pragma[only_bind_into](bFun)) and`