Module: l0_check_state
Source: compiler/stage1_py/l0_check_state.py Language: Python
Symbols
Namespace l0_check_state
Class l0_check_state::StmtFlow
Reachability after checking a statement or block.
Member Data l0_check_state.StmtFlow.FALLTHROUGH
Member Data l0_check_state.StmtFlow.RETURNS
Member Data l0_check_state.StmtFlow.STOPS
Class l0_check_state::LoopFlowCapture
Liveness states for loop-control exits from one loop body.
Member Data l0_check_state.LoopFlowCapture.break_states
Member Data l0_check_state.LoopFlowCapture.continue_states
Class l0_check_state::CheckerState
Canonical checker state, lexical/liveness stacks, and diagnostic replay.
Member Data l0_check_state.CheckerState.analysis
1
| AnalysisResult analysis
|
Member Data l0_check_state.CheckerState.struct_infos
1
| l0_check_state.CheckerState::struct_infos
|
Member Data l0_check_state.CheckerState.enum_infos
1
| l0_check_state.CheckerState::enum_infos
|
Member Data l0_check_state.CheckerState.func_types
1
| l0_check_state.CheckerState::func_types
|
Member Data l0_check_state.CheckerState.func_envs
1
| l0_check_state.CheckerState::func_envs
|
Member Data l0_check_state.CheckerState.diagnostics
1
| l0_check_state.CheckerState::diagnostics
|
Member Data l0_check_state.CheckerState.expr_types
1
| l0_check_state.CheckerState::expr_types
|
Member Data l0_check_state.CheckerState._local_scopes
1
| l0_check_state.CheckerState::_local_scopes
|
1
| l0_check_state.CheckerState::_cleanup_header_ref_guard_stack
|
Member Data l0_check_state.CheckerState._alive_scopes
1
| l0_check_state.CheckerState::_alive_scopes
|
Function l0_check_state.CheckerState.__post_init__
1
| None l0_check_state.CheckerState.__post_init__(self)
|
Initialize checker with analysis data and cache builtin types.
Function l0_check_state.CheckerState._make_param_scope
1
| dict[str, Type] l0_check_state.CheckerState._make_param_scope(self, FunctionEnv func_env, FuncType func_type)
|
Create a name-to-type mapping for function parameters.
Function l0_check_state.CheckerState._make_param_alive_scope
1
| dict[str, bool] l0_check_state.CheckerState._make_param_alive_scope(self, FunctionEnv func_env)
|
Initialize liveness tracking for function parameters.
Function l0_check_state.CheckerState._push_scope
1
| None l0_check_state.CheckerState._push_scope(self)
|
Enter a new lexical scope.
Function l0_check_state.CheckerState._pop_scope
1
| None l0_check_state.CheckerState._pop_scope(self)
|
Exit the current lexical scope.
1
| bool l0_check_state.CheckerState._is_guarded_cleanup_header_ref(self, str name, int scope_index)
|
True when a local resolves to a guarded maybe-uninitialized header let.
Function l0_check_state.CheckerState._lookup_alive
1
| bool | None l0_check_state.CheckerState._lookup_alive(self, str name)
|
Check if a variable is currently alive (not dropped).
Function l0_check_state.CheckerState._set_alive
1
| None l0_check_state.CheckerState._set_alive(self, str name, bool alive)
|
Set the liveness state of a variable.
Function l0_check_state.CheckerState._clone_alive_scopes
1
| list[dict[str, bool]] l0_check_state.CheckerState._clone_alive_scopes(self)
|
Clone the current definite-liveness stack.
Function l0_check_state.CheckerState._meet_alive_scopes
1
| None l0_check_state.CheckerState._meet_alive_scopes(self, *list[dict[str, bool]] states)
|
Keep a binding alive only when every incoming state keeps it alive.
Function l0_check_state.CheckerState._meet_alive_state
1
| list[dict[str, bool]] l0_check_state.CheckerState._meet_alive_state(self, *list[dict[str, bool]] states)
|
Return the definite-liveness meet of several states.
Function l0_check_state.CheckerState._store_var_resolution
1
| None l0_check_state.CheckerState._store_var_resolution(self, VarRef expr, VarRefResolution resolution)
|
Record stable resolution metadata outside liveness-only replay.
Function l0_check_state.CheckerState._store_sizeof_target
1
| None l0_check_state.CheckerState._store_sizeof_target(self, CallExpr expr, Type target_ty)
|
Store the resolved sizeof target type for codegen.
Function l0_check_state.CheckerState._error
1
| None l0_check_state.CheckerState._error(self, Node|None node, str message)
|
Report an error diagnostic.
Function l0_check_state.CheckerState._warn
1
| None l0_check_state.CheckerState._warn(self, Node|None node, str message)
|
Report a warning diagnostic.
Function l0_check_state.CheckerState._diagnostic
1
| None l0_check_state.CheckerState._diagnostic(self, Node|None node, str message, str kind="info")
|
Internal helper to create and append a diagnostic.