forked from M-Labs/artiq
1
0
Fork 0

LocalAccessValidator: fix validation of closures with no outer variables.

This commit is contained in:
whitequark 2015-07-21 13:16:18 +03:00
parent 6f11fa6bb1
commit e299801c0f
1 changed files with 8 additions and 6 deletions

View File

@ -99,12 +99,14 @@ class LocalAccessValidator:
if isinstance(insn, ir.Closure): if isinstance(insn, ir.Closure):
env = insn.environment() env = insn.environment()
for var_name in block_state[env]: # Make sure this environment has any interesting variables.
if not block_state[env][var_name]: if env in block_state:
# A closure would capture this variable while it is not always for var_name in block_state[env]:
# initialized. Note that this check is transitive. if not block_state[env][var_name]:
self._uninitialized_access(insn, var_name, # A closure would capture this variable while it is not always
pred_at_fault(env, var_name)) # initialized. Note that this check is transitive.
self._uninitialized_access(insn, var_name,
pred_at_fault(env, var_name))
# Save the state. # Save the state.
state[block] = block_state state[block] = block_state