@@ -297,8 +297,7 @@ class EssentialBinaryArithmeticExpr extends EssentialExpr, BinaryArithmeticOpera
297
297
exists (
298
298
Type leftEssentialType , Type rightEssentialType ,
299
299
EssentialTypeCategory leftEssentialTypeCategory ,
300
- EssentialTypeCategory rightEssentialTypeCategory ,
301
- int intTypeSize
300
+ EssentialTypeCategory rightEssentialTypeCategory , int intTypeSize
302
301
|
303
302
leftEssentialType = getEssentialType ( getLeftOperand ( ) ) and
304
303
rightEssentialType = getEssentialType ( getRightOperand ( ) ) and
@@ -340,19 +339,19 @@ class EssentialBinaryArithmeticExpr extends EssentialExpr, BinaryArithmeticOpera
340
339
) and
341
340
(
342
341
leftEssentialTypeCategory =
343
- [ EssentiallySignedType ( ) , EssentiallyUnsignedType ( ) .( TEssentialTypeCategory ) ]
344
- and leftEssentialType .getSize ( ) <= intTypeSize
342
+ [ EssentiallySignedType ( ) , EssentiallyUnsignedType ( ) .( TEssentialTypeCategory ) ] and
343
+ leftEssentialType .getSize ( ) <= intTypeSize
345
344
or
346
345
rightEssentialTypeCategory =
347
- [ EssentiallySignedType ( ) , EssentiallyUnsignedType ( ) .( TEssentialTypeCategory ) ]
348
- and rightEssentialType .getSize ( ) <= intTypeSize
346
+ [ EssentiallySignedType ( ) , EssentiallyUnsignedType ( ) .( TEssentialTypeCategory ) ] and
347
+ rightEssentialType .getSize ( ) <= intTypeSize
349
348
)
350
349
or
351
350
this instanceof SubExpr and
352
351
leftEssentialTypeCategory = EssentiallyCharacterType ( ) and
353
352
rightEssentialTypeCategory =
354
- [ EssentiallySignedType ( ) , EssentiallyUnsignedType ( ) .( TEssentialTypeCategory ) ]
355
- and rightEssentialType .getSize ( ) <= intTypeSize
353
+ [ EssentiallySignedType ( ) , EssentiallyUnsignedType ( ) .( TEssentialTypeCategory ) ] and
354
+ rightEssentialType .getSize ( ) <= intTypeSize
356
355
then result instanceof PlainCharType
357
356
else result = this .getStandardType ( )
358
357
)
0 commit comments