Skip to content

Commit 62e9034

Browse files
committed
ARM: support for no-offset memory variables
1 parent 5b0b6a9 commit 62e9034

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

chb/invariants/VMemoryOffset.py

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -146,6 +146,10 @@ def __init__(
146146
def is_no_offset(self) -> bool:
147147
return True
148148

149+
@property
150+
def is_constant_value_offset(self) -> bool:
151+
return True
152+
149153
def offsetvalue(self) -> int:
150154
return 0
151155

0 commit comments

Comments
 (0)