Add returns_twice to functions that are known to return twice. This implements

the same behavior of gcc by keeping the attribute out of the function type.

llvm-svn: 141803