mirror of
https://github.com/JonathanFleischmann/CompilerULTIMATE.git
synced 2024-12-28 16:28:04 +00:00
Merge branch 'refs/heads/main' into testsuites
This commit is contained in:
commit
4be2af92f0
@ -62,6 +62,13 @@ public class TypedBinary implements TypedExpression {
|
|||||||
} else {
|
} else {
|
||||||
throw new RuntimeException("Type mismatch in " + op);
|
throw new RuntimeException("Type mismatch in " + op);
|
||||||
}
|
}
|
||||||
|
} else if(op == Operator.EQ || op == Operator.NE){
|
||||||
|
if(leftType == Type.INT && rightType == Type.INT || leftType == Type.BOOL && rightType == Type.BOOL){
|
||||||
|
type = Type.BOOL;
|
||||||
|
return Type.BOOL;
|
||||||
|
} else {
|
||||||
|
throw new RuntimeException("Type mismatch in " + op);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
if (leftType == rightType && leftType != Type.VOID) {
|
if (leftType == rightType && leftType != Type.VOID) {
|
||||||
|
Loading…
Reference in New Issue
Block a user