25 static ArenaSet<varbinder::Variable *> FindCaptured(public_lib::Context *ctx, ir::ScriptFunction *f…  in FindCaptured()
28     auto captured = ArenaSet<varbinder::Variable *>(allocator->Adapter());  in FindCaptured()
31     auto innermostArrowScopes = ArenaSet<varbinder::Scope *>(allocator->Adapter());  in FindCaptured()
38             auto savedScopes = ArenaSet<varbinder::Scope *>(allocator->Adapter());  in FindCaptured()
78     auto varsToBox = ArenaSet<varbinder::Variable *>(allocator->Adapter());  in FindCaptured()
82 static ArenaSet<varbinder::Variable *> FindModified(public_lib::Context *ctx, ir::ScriptFunction *f…  in FindModified()
85     auto modified = ArenaSet<varbinder::Variable *>(allocator->Adapter());  in FindModified()
96             var->AddFlag(varbinder::VariableFlags::INITIALIZED);  in FindModified()
105 static ArenaSet<varbinder::Variable *> FindVariablesToBox(public_lib::Context *ctx, ir::ScriptFunct…  in FindVariablesToBox()
111     auto varsToBox = ArenaSet<varbinder::Variable *>(allocator->Adapter());  in FindVariablesToBox()
119                                 ArenaMap<varbinder::Variable *, varbinder::Variable *> *varsMap)  in HandleFunctionParam()
123     auto *varBinder = checker->VarBinder();  in HandleFunctionParam()  local
153     auto *newDecl = allocator->New<varbinder::ConstDecl>(newVarName.View(), newDeclarator);  in HandleFunctionParam()
154     auto *newVar = allocator->New<varbinder::LocalVariable>(newDecl, oldVar->Flags());  in HandleFunctionParam()
159     newVar->AddFlag(varbinder::VariableFlags::INITIALIZED);  in HandleFunctionParam()
170     auto lexScope = varbinder::LexicalScope<varbinder::Scope>::Enter(varBinder, scope);  in HandleFunctionParam()
180 …                                   ArenaMap<varbinder::Variable *, varbinder::Variable *> *varsMap)  in HandleVariableDeclarator()
184     auto *varBinder = checker->VarBinder();  in HandleVariableDeclarator()  local
207     auto *newDecl = allocator->New<varbinder::ConstDecl>(oldVar->Name(), newDeclarator);  in HandleVariableDeclarator()
208     auto *newVar = allocator->New<varbinder::LocalVariable>(newDecl, oldVar->Flags());  in HandleVariableDeclarator()
211     newVar->AddFlag(varbinder::VariableFlags::INITIALIZED);  in HandleVariableDeclarator()
217     auto lexScope = varbinder::LexicalScope<varbinder::Scope>::Enter(varBinder, scope);  in HandleVariableDeclarator()
252 static ir::AstNode *HandleReference(public_lib::Context *ctx, ir::Identifier *id, varbinder::Variab…  in HandleReference()
280 …                             ArenaMap<varbinder::Variable *, varbinder::Variable *> const &varsMap)  in HandleAssignment()
286     auto *varBinder = ctx->checker->VarBinder()->AsETSBinder();  in HandleAssignment()  local
292     newVar->AddFlag(varbinder::VariableFlags::INITIALIZED);  in HandleAssignment()
300     auto lexScope = varbinder::LexicalScope<varbinder::Scope>::Enter(varBinder, scope);  in HandleAssignment()
304     varBinder->ResolveReferencesForScopeWithContext(res, scope);  in HandleAssignment()
320     auto varsMap = ArenaMap<varbinder::Variable *, varbinder::Variable *>(allocator->Adapter());  in HandleScriptFunction()
373 …if (var != nullptr && var->IsLocalVariable() && !var->HasFlag(varbinder::VariableFlags::INITIALIZE…  in PostconditionForModule()