Skip to content

Commit 828c544

Browse files
committed
CHB:ARM: add special case for -1 in type assignment
1 parent 43e02b0 commit 828c544

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

CodeHawk/CHB/bchlibarm32/bCHFnARMTypeConstraints.ml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -144,6 +144,7 @@ object (self)
144144
if i < 128 then (SignedNeutral, 8)
145145
else if i < BCHDoubleword.e15 then (SignedNeutral, 16)
146146
else if i < BCHDoubleword.e31 then (SignedNeutral, 32)
147+
else if i = 0xffffffff then (Signed, 32)
147148
else (SignedNeutral, 64) in
148149
TyTInt (sg, si) in
149150

0 commit comments

Comments
 (0)