Comment 2 for bug 1646605

David Brown (https://launchpad.net/~davidbrown) said on 2016-12-02:

Also if you write:

extern void foo(void);
void bar(void)
{
  foo();
  __builtin_unreachable();
}

Then the __builtin_unreachable() causes the "push {r4, lr}" instruction.