Skip to content

Commit

Permalink
Don't print region for stack ref when region is 1.
Browse files Browse the repository at this point in the history
  • Loading branch information
jim-carciofini committed May 9, 2024
1 parent 0aa9e37 commit 444663d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion pate_binja/pate.py
Original file line number Diff line number Diff line change
Expand Up @@ -1111,7 +1111,7 @@ def pprint_eq_domain_memory(mem_kind, pv, pre: str = '', out: IO = sys.stdout):
region = pv["ptr"]["region"]
offset = pv["ptr"]["offset"]
out.write(f'{pre}{mem_kind}: ')
if region == 0 or (region == 1 and mem_kind =='Stack Slot'):
if region == 0 or (region == 1 and mem_kind in {'Stack', 'Stack Slot'}):
pprint_symbolic(out, pv["ptr"]["offset"])
else:
out.write('(')
Expand Down

0 comments on commit 444663d

Please sign in to comment.