Add attribute [[noreturn]] (C++11) to functions that will not return