C++: Fix inconsistencies.

This commit is contained in:
Mathias Vorreiter Pedersen
2023-04-28 10:40:18 +01:00
parent fd2f0257b6
commit c35cb70c9f
2 changed files with 2 additions and 9 deletions

View File

@@ -766,7 +766,8 @@ private predicate sourceVariableIsGlobal(
sourceVariableHasBaseAndIndex(sv, base, indirectionIndex) and
irVar = base.getIRVariable() and
irVar.getEnclosingIRFunction() = func and
global = irVar.getAst()
global = irVar.getAst() and
not irVar instanceof IRDynamicInitializationFlag
)
}