|
|
@ -173,10 +173,11 @@ def _analyze_states(state: GlobalState) -> list: |
|
|
|
instructions = state.environment.code.instruction_list |
|
|
|
instructions = state.environment.code.instruction_list |
|
|
|
opcode = instructions[state.mstate.pc - 1]["opcode"] |
|
|
|
opcode = instructions[state.mstate.pc - 1]["opcode"] |
|
|
|
|
|
|
|
|
|
|
|
annotation = PredictableValueAnnotation( |
|
|
|
state.mstate.stack[-1].annotate( |
|
|
|
"block." + opcode.lower() + " environment variable" |
|
|
|
PredictableValueAnnotation( |
|
|
|
|
|
|
|
"block." + opcode.lower() + " environment variable" |
|
|
|
|
|
|
|
) |
|
|
|
) |
|
|
|
) |
|
|
|
state.mstate.stack[-1].annotate(annotation) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
return issues |
|
|
|
return issues |
|
|
|
|
|
|
|
|
|
|
|