labrinea wrote: @rafaelauler @adam-bzowski I am not sure we want this. Please take a look. Alternatively we may prefer to reject input where we branch outside of a function to a symbol that is not `STT_FUNC`. https://github.com/llvm/llvm-project/pull/227275