I have a concern - what would happen if user explicitly specifies that function should be inlined, and adds no_address_safety_analysis attr. I think we should make sure the function is indeed inlined in this case. http://llvm-reviews.chandlerc.com/D1034