Different results between Ghidra and RzGhidra

[rizinorg]

Different results between Ghidra and RzGhidra

[Anutrix]

This is happening to me often.
An example test file.
pro.zip
Ghidra:

R2Ghidra-Dec:

[bazuchan]

Happens to me too. For example binary https://github.com/csivitu/CTF-Write-ups/blob/master/CSAW%20Quals%202020/Rev/not_malware/not_malware

in ghidra main have this:
dVar4 = pow(16.00000000,0.50000000);

but in r2ghidra it looks like this:
sym.imp.pow(0x4030000000000000);

in ghidra main have this:

  if (local_a8[11] != local_7d) {
                    /* WARNING: Subroutine does not return */
    exit(1);
  }
  if (local_a8[3] != local_88[3]) {
                    /* WARNING: Subroutine does not return */
    exit(1);
  }
  if (local_a8[7] != local_81) {
                    /* WARNING: Subroutine does not return */
    exit(1);
  }

in r2ghidra:

    if (var_95h != var_75h) {            
    // WARNING: Subroutine does not return
        sym.imp.exit(1);
    }
    if (var_a0h._3_1_ != var_80h._3_1_) {
    // WARNING: Subroutine does not return
        sym.imp.exit(1);
    }
    if (var_a0h._7_1_ != var_80h._7_1_) {
    // WARNING: Subroutine does not return
        sym.imp.exit(1);
    }

[XVilka]

It would be amazing if you could help to convert this into the test here: /test.

[thestr4ng3r]

Well right now, most of these differences are expected and consequences of rizin's type system. So not sure if tests make sense yet.