Update cpp/common/src/codingstandards/cpp/Scope.qll

MichaelRFairhurst · mbaluda · web-flow · commit 889c4e4f4258 · 2026-02-22T17:26:16.000-08:00
Delete redundant fde = definition filter

Co-authored-by: Mauro Baluda &lt;mbaluda@github.com&gt;
diff --git a/cpp/common/src/codingstandards/cpp/Scope.qll b/cpp/common/src/codingstandards/cpp/Scope.qll
@@ -310,7 +310,7 @@ predicate inSameTranslationUnitLate(File f1, File f2) {
 bindingset[f, tu]
 pragma[inline_late]
 predicate functionDefinedInTranslationUnit(Function f, TranslationUnit tu) {
-  exists(FunctionDeclarationEntry fde | fde = f.getDefinition() |
+  exists(FunctionDeclarationEntry fde |
     fde = f.getDefinition() and
     fde.getFile() = tu.getATransitivelyIncludedFile()
   )

Original file line number	Diff line number	Diff line change
`@@ -310,7 +310,7 @@ predicate inSameTranslationUnitLate(File f1, File f2) {`
`310`	`310`	`bindingset[f, tu]`
`311`	`311`	`pragma[inline_late]`
`312`	`312`	`predicate functionDefinedInTranslationUnit(Function f, TranslationUnit tu) {`
`313`		`- exists(FunctionDeclarationEntry fde \| fde = f.getDefinition() \|`
	`313`	`+ exists(FunctionDeclarationEntry fde \|`
`314`	`314`	`fde = f.getDefinition() and`
`315`	`315`	`fde.getFile() = tu.getATransitivelyIncludedFile()`
`316`	`316`	`)`