Skip to content

Commit b3ba1f6

Browse files
committed
CHB: handle void-typed target address
1 parent 3fd7a55 commit b3ba1f6

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

CodeHawk/CHB/bchlib/bCHGlobalMemoryMap.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -491,7 +491,7 @@ object (self)
491491
| XConst (IntConst n)
492492
when n#equal CHNumerical.numerical_zero
493493
&& Option.is_none tgtsize
494-
&& is_unknown_type tgtbtype ->
494+
&& ((is_unknown_type tgtbtype) || (is_void tgtbtype)) ->
495495
Ok NoOffset
496496
| XConst (IntConst n)
497497
when n#equal CHNumerical.numerical_zero && (not self#is_typed) ->

0 commit comments

Comments
 (0)