ZDoom

class IncrDecrTypeMismatch
{
	void Test()
	{
		int a = 0;

		// These lines trigger assertion failures
		uint b = a++;
		uint c = --a;
		
		// These do not
		uint b; b = a++;
		uint c; c = --a;
	}
}

Here is the minimal sample. The problem is in type mismatch (signed vs. unsigned) for increment/decrement operators.
[code]class IncrDecrTypeMismatch
{
void Test()
{
int a = 0;

// These lines trigger assertion failures
uint b = a++;
uint c = --a;

// These do not
uint b; b = a++;
uint c; c = --a;
}
}[/code]
Curiously enough, typecasts are present for both local variable declarations and assignments in the sample above.
However, they are different in unsigned flag propagation, compare [url=https://github.com/coelckers/gzdoom/blob/7298ba270781226cbe6116c3dee8fc58f139fbd5/src/scripting/backend/codegen.cpp#L1586]this cast[/url] (called from [url=https://github.com/coelckers/gzdoom/blob/7298ba270781226cbe6116c3dee8fc58f139fbd5/src/scripting/backend/codegen.cpp#L11302]FxLocalVariableDeclaration::Resolve[/url]) with [url=https://github.com/coelckers/gzdoom/blob/7298ba270781226cbe6116c3dee8fc58f139fbd5/src/scripting/backend/codegen.cpp#L2432]assignment[/url].

Yet, there is probably an issue if the assertion is meant to denote something is wrong, yet whatever condition it tries to prohibit is silently ignored in Release builds. I'll try to build GZDoom as a Release build via CMake, and see if any significant issue appears. Thank you.

[quote="Gustavo6046"]This issue does not happen with the latest [b]stable[/b] version of GZDoom. In the case of the ZetaBot, it was temporarily fixed in ZetaBot v0.4.0 merely by fiddling with the source code (it seemed to be related to certain patches of code (most likely from Standard.zsc), which were refactored, though I don't recall which - try [url=https://github.com/Gustavo6046/ZetaBot/commit/8caa87f5dc7a8a8df0f7f1b82f47573db3d83cc6#diff-34009fe960d879e823b0b1d55ea74588]reading diffs[/url]), but it returned in a later version (and still exists, as of v0.7.0) for an unknown reason.[/quote]
The latest stable version is a Release build. Assertions only happen in [i]Debug[/i] builds.

This issue does not happen with the latest [b]stable[/b] version of GZDoom. In the case of the ZetaBot, it was temporarily fixed in ZetaBot v0.4.0 merely by fiddling with the source code (it seemed to be related to certain patches of code (most likely from Standard.zsc), which were refactored, though I don't recall which - try [url=https://github.com/Gustavo6046/ZetaBot/commit/8caa87f5dc7a8a8df0f7f1b82f47573db3d83cc6#diff-34009fe960d879e823b0b1d55ea74588]reading diffs[/url]), but it returned in a later version (and still exists, as of v0.7.0) for an unknown reason.

gzdoom: gzdoom/src/scripting/backend/codegen.cpp:2319: virtual ExpEmit FxPostIncrDecr::Emit(VMFunctionBuilder*): Assertion `ValueType == Base->ValueType && IsNumeric()' failed.

From [url=https://forum.zdoom.org/viewtopic.php?f=43&t=58856&p=1094386#p1094184]the ZetaBot dev thread[/url], I tried running the latest release from [url=https://github.com/Gustavo6046/ZetaBot/releases]the project's GitHub page[/url] and got this:

[code]gzdoom: gzdoom/src/scripting/backend/codegen.cpp:2319: virtual ExpEmit FxPostIncrDecr::Emit(VMFunctionBuilder*): Assertion `ValueType == Base->ValueType && IsNumeric()' failed.[/code]

I'm not the dev obviously, just remembered it existed and wanted to try it out.