I don't like that one attribute implies another attribute silently, but I see no other good way to fix the issue. At the very least we need to update the docs in this change. Also let's wait for a day if anyone has a better idea. http://llvm-reviews.chandlerc.com/D1034