Regression: Missing printf calls

[rfalke]

Subject: https://github.com/rfalke/decompiler-subjects/blob/master/from_holdec/overlapping_instructions/ia32_elf

Method: main

Source code:

int main(int argc, char *argv[])
{
  if(argc==2) {
    exec_python();
  }
  not_endless_loop();
  printf("42+1=%d\n",add_one(42));
  int tmp=return_constant();
  int expected=0xBBC10300+2*0x05000000+0xF4EBC103+0xB9;
  printf("constant: 0x%08x = %d equal=%d\n", tmp, tmp, tmp==expected);
  return 0;
}

Reko output:

// 08049060: void main(Stack word32 dwArg04)
void main(word32 dwArg04)
{
	__align(fp);
	if (dwArg04 == 0x02)
		exec_python();
	else
	{
		not_endless_loop();
		add_one();
	}
}

[rfalke]

Also others like isWhitespace() in https://github.com/rfalke/decompiler-subjects/blob/master/from_holdec/compiler_optimizations/x64_elf look broken.

[rfalke]

Still relevant in version 0.11.4.0-931ca7d.

It looks like Reko stops after seeing the add_one call.