Different CFG determination

Any ideas on why I would be getting different generation for the control flow graph of these two functions? These are from two versions of busybox, exported with IDA 8.3 and the f9409a7 commit. I'm not sure where to begin to look for the apparent non-determinism? I haven't reviewed IDA's representation, but I thought BinDiff computed its own control flow.


Here's a second discrepancy from the same diff as well.


Start by reproducing the comparison using the two BusyBox versions and IDA 8.3 exports described in the issue, then inspect how BinExport produces the differing control-flow graphs. No source files or tests are named, so first locate the CFG export entry point and establish whether the discrepancy comes from the inputs or generation; done means the cause is isolated and documented.

Written by the indexing model from the issue text.