ordering on writes to the carry flag are unspecified, but Octo writes the flag before the result value- the decompiler should match those semantics.
I'm not always chasing subroutine returns, leading to falsely identified dead code.