Skip to content

Commit a777519

Browse files
Fix merge conflict: restore integralPromotionE in UNARY MINUS case
Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>
1 parent 1a36667 commit a777519

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

src/frontc/cabs2cil.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4047,7 +4047,7 @@ and doExp (asconst: bool) (* This expression is used as a constant *)
40474047
| A.UNARY(A.MINUS, e) ->
40484048
let (se, e', t) = doExp asconst e (AExp None) in
40494049
if isIntegralType t then
4050-
let tres = integralPromotion e' t in
4050+
let tres = integralPromotionE e' t in
40514051
let e'' = UnOp(Neg, makeCastT ~kind:IntegerPromotion ~e:e' ~oldt:t ~newt:tres, tres) in
40524052
finishExp se e'' tres
40534053
else

0 commit comments

Comments
 (0)