@@ -297,8 +297,7 @@ class EssentialBinaryArithmeticExpr extends EssentialExpr, BinaryArithmeticOpera
297297 exists (
298298 Type leftEssentialType , Type rightEssentialType ,
299299 EssentialTypeCategory leftEssentialTypeCategory ,
300- EssentialTypeCategory rightEssentialTypeCategory ,
301- int intTypeSize
300+ EssentialTypeCategory rightEssentialTypeCategory , int intTypeSize
302301 |
303302 leftEssentialType = getEssentialType ( getLeftOperand ( ) ) and
304303 rightEssentialType = getEssentialType ( getRightOperand ( ) ) and
@@ -340,19 +339,19 @@ class EssentialBinaryArithmeticExpr extends EssentialExpr, BinaryArithmeticOpera
340339 ) and
341340 (
342341 leftEssentialTypeCategory =
343- [ EssentiallySignedType ( ) , EssentiallyUnsignedType ( ) .( TEssentialTypeCategory ) ]
344- and leftEssentialType .getSize ( ) <= intTypeSize
342+ [ EssentiallySignedType ( ) , EssentiallyUnsignedType ( ) .( TEssentialTypeCategory ) ] and
343+ leftEssentialType .getSize ( ) <= intTypeSize
345344 or
346345 rightEssentialTypeCategory =
347- [ EssentiallySignedType ( ) , EssentiallyUnsignedType ( ) .( TEssentialTypeCategory ) ]
348- and rightEssentialType .getSize ( ) <= intTypeSize
346+ [ EssentiallySignedType ( ) , EssentiallyUnsignedType ( ) .( TEssentialTypeCategory ) ] and
347+ rightEssentialType .getSize ( ) <= intTypeSize
349348 )
350349 or
351350 this instanceof SubExpr and
352351 leftEssentialTypeCategory = EssentiallyCharacterType ( ) and
353352 rightEssentialTypeCategory =
354- [ EssentiallySignedType ( ) , EssentiallyUnsignedType ( ) .( TEssentialTypeCategory ) ]
355- and rightEssentialType .getSize ( ) <= intTypeSize
353+ [ EssentiallySignedType ( ) , EssentiallyUnsignedType ( ) .( TEssentialTypeCategory ) ] and
354+ rightEssentialType .getSize ( ) <= intTypeSize
356355 then result instanceof PlainCharType
357356 else result = this .getStandardType ( )
358357 )
0 commit comments