Merge pull request #4897 from RosettaCommons/dpaoliello/noreturn Use the C++11 `[[ noreturn ]]` attribute