We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 166457e commit 2fb16baCopy full SHA for 2fb16ba
chb/app/CHVersion.py
@@ -1 +1 @@
1
-chbversion: str = "0.3.0-20250624"
+chbversion: str = "0.3.0-20250709"
chb/invariants/XXprUtil.py
@@ -1539,7 +1539,7 @@ def base_ptr_array_offset_to_ast_offset(
1539
chklogger.logger.error(
1540
"Base ptr array offset %s not yet handled at address %s",
1541
str(offset), iaddr)
1542
- return (astree.mk_temp_lval(), nooffset)
+ return (astree.mk_temp_lval_expression(), nooffset)
1543
1544
1545
def array_offset_to_ast_offset(
0 commit comments