Extra local variable

[rfalke]

Describe the bug In a simple function an extra variable is generated

To Reproduce Steps to reproduce the behavior:

1. https://github.com/rfalke/decompiler-subjects/blob/master/from_holdec/change_local_via_function/ia32_elf/subject.exe

Expected behavior Output may look like

undefined4 main(void)

{
  undefined4 local_14 [2];

  local_14[0] = 0x29;
  inc(local_14);
  printf("The answer should be 42 and is %d\n",local_14[0]);
  return 0;
}

Even better would be:

undefined4 main(void)

{
  undefined4 local_14;

  local_14 = 0x29;
  inc(&local_14);
  printf("The answer should be 42 and is %d\n",local_14);
  return 0;
}

It currently is:

undefined4 main(void)

{
  undefined4 local_14 [2];
  undefined *local_c;

  local_c = &stack0x00000004;
  local_14[0] = 0x29;
  inc(local_14);
  printf("The answer should be 42 and is %d\n",local_14[0]);
  return 0;
}

Environment (please complete the following information):

• OS: Linux
• Java Version: openjdk version "11.0.5" 2019-10-15
• Ghidra Version: 9.2_PUBLIC

[gtackett]

😄 Why 42? (as Douglas Adams was often asked)

Of much less universal importance, I (like probably many others) have observed this behavior, and I'd like to second the request for improvement. 👍

[rfalke]

Issue is still in version ghidra_10.3.2_PUBLIC.