re PR target/72767 ([avr] Some branches report too small insn length)