Extra cast in output

[rfalke]

Exe: https://github.com/rfalke/decompiler-subjects/blob/master/from_holdec/dmi/cfg/ia32_elf/subject.exe
Reko version: 46f203b

Output:

// 08049110: void basic_5_head_controlled_loop(Stack Eq_19 dwArg04)
void basic_5_head_controlled_loop(Eq_19 dwArg04)
{
	puts("before");
	Eq_19 ebx_13 = dwArg04;
	while (ebx_13 != 0x2A)
	{
		puts("body");
		ebx_13 = (word32) ebx_13 + 0x01;
	}
	puts("after");
}

The second assignment to ebx_13 has a cast which shouldn't be there.

[uxmal]

Type inference is incorrectly generating a union Eq_19. Let's see what can be done about that.

[rfalke]

Output of version 0.11.4.0-931ca7d:

void basic_5_head_controlled_loop(Eq_10 dwArg04)
{
	puts("before");
	time_t ebx_14 = dwArg04;
	while (ebx_14 != 0x2A)
	{
		puts("body");
		ebx_14 = (Eq_10) ((word32) ebx_14 + 1);
	}
	puts("after");
}

There are now 2 casts instead of 0!