No matches were found for subject:"Bug#833931\: marked as done \(c\+\+\: Fail to build when <stdnoreturn.h> and the noreturn keyword is used\)"