Hi Elnatan!
> CIL mistakenly casts the operands of && and || to intType, when in
> fact they are only required to have scalar type. This can lead to a
> bug if the operands have type larger than int and have values which
> truncate to 0 when cast to an int (and if useLogicalOperators is set
> to t
CIL mistakenly casts the operands of && and || to intType, when in
fact they are only required to have scalar type. This can lead to a
bug if the operands have type larger than int and have values which
truncate to 0 when cast to an int (and if useLogicalOperators is set
to true). I believe
