If we have a function like this:
authorBill Wendling <isanbard@gmail.com>
Sat, 26 Jan 2008 01:43:44 +0000 (01:43 +0000)
committerBill Wendling <isanbard@gmail.com>
Sat, 26 Jan 2008 01:43:44 +0000 (01:43 +0000)
commitf69d5d73986dce2941fff432a212e04ae855407f
treeb37318e4866a40a2737fee80ddff4275919762d5
parent15b86db37610bf4172b08475b2cd0e15eb6ae007
If we have a function like this:

void bork() {
  int *address = 0;
  *address = 0;
}

It's compiled into LLVM code that looks like this:

define void @bork() noreturn nounwind  {
entry:
        unreachable
}

This is bad on some platforms (like PPC) because it will generate the label for
the function but no body. The label could end up being associated with some
non-code related stuff, like a section. This places a "trap" instruction if the
SimplifyCFG pass removed all code from the function leaving only one
"unreachable" instruction.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@46387 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Transforms/Scalar/SimplifyCFG.cpp
test/CFrontend/2008-01-25-EmptyFunction.c [new file with mode: 0644]