Assertion failure with unary minus on bool

[_mental_]

Loading the following ZScript will trigger an assertion failure here: ValueType is "Int" while Operand->ValueType is "Bool".

Code: Select all

class UnaryMinusBool : Actor
{
	states
	{
	spawn:
		TNT1 A 1
		{
			bool a = false;
			int i = -a;
			
			bool b = true;
			int j = -b;
			
			console.printf("%i %i", i, j);
		}
	}
}

Generated code seems to be correct. The sample outputs expected values, 0 and -1.
I suspect the assertion's condition is too strict and doesn't take bool-to-int type propagation into account.

[Graf Zahl]

The problem is that the Resolve function does not properly promote the type if the operand is bool.

[_mental_]

Made this PR to be sure I got it right. As expected with this change generated code remains the same.

[Graf Zahl]

That's correct.