From de5e9c6d11e12f275b6f033d894af883d3da6373 Mon Sep 17 00:00:00 2001 From: Henny Sipma Date: Wed, 9 Jul 2025 23:48:12 -0700 Subject: [PATCH 1/2] XPR: remove error message for available expressions --- chb/invariants/XXprUtil.py | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/chb/invariants/XXprUtil.py b/chb/invariants/XXprUtil.py index 8fb52fc9..95c19730 100644 --- a/chb/invariants/XXprUtil.py +++ b/chb/invariants/XXprUtil.py @@ -1535,10 +1535,11 @@ def base_ptr_array_offset_to_ast_offset( if offset.has_no_offset() and indexxpr.is_integer_constant: return (indexxpr, nooffset) - chklogger.logger.error( - "Base ptr array offset %s not yet handled at address %s", - str(offset), iaddr) - return (astree.mk_integer_constant(0), nooffset) + if not anonymous: + chklogger.logger.error( + "Base ptr array offset %s not yet handled at address %s", + str(offset), iaddr) + return (astree.mk_temp_lval(), nooffset) def array_offset_to_ast_offset( From ea1169634fb1bc41f33d35b59513e3628d0eb384 Mon Sep 17 00:00:00 2001 From: Henny Sipma Date: Thu, 10 Jul 2025 00:43:42 -0700 Subject: [PATCH 2/2] fix mypy error --- chb/app/CHVersion.py | 2 +- chb/invariants/XXprUtil.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/chb/app/CHVersion.py b/chb/app/CHVersion.py index 24e0dd1e..2e488d6e 100644 --- a/chb/app/CHVersion.py +++ b/chb/app/CHVersion.py @@ -1 +1 @@ -chbversion: str = "0.3.0-20250624" +chbversion: str = "0.3.0-20250709" diff --git a/chb/invariants/XXprUtil.py b/chb/invariants/XXprUtil.py index 95c19730..b1d37f61 100644 --- a/chb/invariants/XXprUtil.py +++ b/chb/invariants/XXprUtil.py @@ -1539,7 +1539,7 @@ def base_ptr_array_offset_to_ast_offset( chklogger.logger.error( "Base ptr array offset %s not yet handled at address %s", str(offset), iaddr) - return (astree.mk_temp_lval(), nooffset) + return (astree.mk_temp_lval_expression(), nooffset) def array_offset_to_ast_offset(