M68000: Disassembly stops at a BSR, overrides control flow to CALL_RETURN (CALL_TERMINATOR)

[eschaton]

When disassembling an M68000 BSR.L (and possibly other BSR variants), Ghidra adds a control flow override of CALL_RETURN (CALL_TERMINATOR).

For example, 61 ff ff ff b2 f2 at address 0x000896d0 disassembles (correctly) to BSR.L FUN_000849c4 but also halts disassembly as if it were a return; it should be treated the same as JSR.

[hippietrail]

I'm still learning Sleigh but it looks right to me.

:bsr.l addr32 is opbig=0x61 & d8base=255; addr32 { SP=SP-4; *:4 SP = inst_next; call addr32; }

Are you saying it always does this or just sometimes? Can you include a screenshot?

[emteere]

Is the function FUN_000849c4 tagged as non-returning?

[hippietrail]

I tried making a file in a hex editor and it works fine here: