18 #include "varbinder/ETSBinder.h"
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()
93                 var->AddFlag(varbinder::VariableFlags::INITIALIZED);  in FindModified()
103 static ArenaSet<varbinder::Variable *> FindVariablesToBox(public_lib::Context *ctx, ir::ScriptFunct…  in FindVariablesToBox()
109     auto varsToBox = ArenaSet<varbinder::Variable *>(allocator->Adapter());  in FindVariablesToBox()
117                                 ArenaMap<varbinder::Variable *, varbinder::Variable *> *varsMap)  in HandleFunctionParam()
121     auto *varBinder = checker->VarBinder();  in HandleFunctionParam()  local
147     auto *newDecl = allocator->New<varbinder::ConstDecl>(id->Name(), newDeclarator);  in HandleFunctionParam()
148     auto *newVar = allocator->New<varbinder::LocalVariable>(newDecl, oldVar->Flags());  in HandleFunctionParam()
152     newVar->AddFlag(varbinder::VariableFlags::INITIALIZED);  in HandleFunctionParam()
162     auto lexScope = varbinder::LexicalScope<varbinder::Scope>::Enter(varBinder, scope);  in HandleFunctionParam()
172 …                                   ArenaMap<varbinder::Variable *, varbinder::Variable *> *varsMap)  in HandleVariableDeclarator()
176     auto *varBinder = checker->VarBinder();  in HandleVariableDeclarator()  local
199     auto *newDecl = allocator->New<varbinder::ConstDecl>(oldVar->Name(), newDeclarator);  in HandleVariableDeclarator()
200     auto *newVar = allocator->New<varbinder::LocalVariable>(newDecl, oldVar->Flags());  in HandleVariableDeclarator()
202     newVar->AddFlag(varbinder::VariableFlags::INITIALIZED);  in HandleVariableDeclarator()
208     auto lexScope = varbinder::LexicalScope<varbinder::Scope>::Enter(varBinder, scope);  in HandleVariableDeclarator()
243 static ir::AstNode *HandleReference(public_lib::Context *ctx, ir::Identifier *id, varbinder::Variab…  in HandleReference()
271 …                             ArenaMap<varbinder::Variable *, varbinder::Variable *> const &varsMap)  in HandleAssignment()
277     auto *varBinder = ctx->checker->VarBinder()->AsETSBinder();  in HandleAssignment()  local
283     newVar->AddFlag(varbinder::VariableFlags::INITIALIZED);  in HandleAssignment()
291     auto lexScope = varbinder::LexicalScope<varbinder::Scope>::Enter(varBinder, scope);  in HandleAssignment()
295     varBinder->ResolveReferencesForScopeWithContext(res, scope);  in HandleAssignment()
311     auto varsMap = ArenaMap<varbinder::Variable *, varbinder::Variable *>(allocator->Adapter());  in HandleScriptFunction()
382 …if (var != nullptr && var->IsLocalVariable() && !var->HasFlag(varbinder::VariableFlags::INITIALIZE…  in Postcondition()