M-Labs/nac3
M-Labs
/
nac3
8
0
Fork 10
Code Issues 98 Pull Requests 18 Releases Wiki Activity
nac3/nac3standalone/demo/src/stack_addr_issue233.py

15 lines
221 B
Python
Raw Normal View History

core: Fix restoration of stack address All allocas for temporary objects are now placed in the beginning of the function. Allocas for on-temporary objects are not modified because these variables may appear in a loop and thus must be uniquely represented.
2023-10-03 18:02:45 +08:00
@extern
def output_bool(x: bool):
standalone: Fix indentation of test files
2023-10-30 17:19:18 +08:00
...
core: Fix restoration of stack address All allocas for temporary objects are now placed in the beginning of the function. Allocas for on-temporary objects are not modified because these variables may appear in a loop and thus must be uniquely represented.
2023-10-03 18:02:45 +08:00
@extern
def dbg_stack_address(x: str) -> uint64:
standalone: Fix indentation of test files
2023-10-30 17:19:18 +08:00
...
core: Fix restoration of stack address All allocas for temporary objects are now placed in the beginning of the function. Allocas for on-temporary objects are not modified because these variables may appear in a loop and thus must be uniquely represented.
2023-10-03 18:02:45 +08:00
def run() -> int32:
standalone: Fix indentation of test files
2023-10-30 17:19:18 +08:00
a = dbg_stack_address("a")
b = dbg_stack_address("b")
core: Fix restoration of stack address All allocas for temporary objects are now placed in the beginning of the function. Allocas for on-temporary objects are not modified because these variables may appear in a loop and thus must be uniquely represented.
2023-10-03 18:02:45 +08:00
standalone: Fix indentation of test files
2023-10-30 17:19:18 +08:00
output_bool(a == b)
core: Fix restoration of stack address All allocas for temporary objects are now placed in the beginning of the function. Allocas for on-temporary objects are not modified because these variables may appear in a loop and thus must be uniquely represented.
2023-10-03 18:02:45 +08:00
standalone: Fix indentation of test files
2023-10-30 17:19:18 +08:00
return 0