Как я создаю новое ответвление мерзавца из изменений, которые я имею в рабочем дереве?

Я считаю, что это связано с тем, как оператор break переводится в машинный код. Оператор break будет переведен как безусловная ветвь на метку сразу после цикла или переключателя.

mov ECX,5
label1:
  jmp <to next instruction address>  ;break
loop label1
<next instruction>

Хотя вызов foo() изнутри цикла приведет к чему-то вроде

mov ECX,5
label1:
  call <foo address>
loop label1
<next instruction>

и по адресу foo

call <printf address>
jmp <to where?> ;break cannot translate to any address.