[clang] [clang-tools-extra] [clang]: Propagate `*noreturn` attributes in `CFG` (PR #146355)

[Andrey Karlov via cfe-commits]

================
@@ -5950,14 +5950,15 @@ TEST(TransferTest, ForStmtBranchWithoutConditionDoesNotExtendFlowCondition) {
       Code,
       [](const llvm::StringMap<DataflowAnalysisState<NoopLattice>> &Results,
          ASTContext &ASTCtx) {
-        ASSERT_THAT(Results.keys(), UnorderedElementsAre("loop_body"));
+        // target() considered as 'noreturn' by CFG
+        EXPECT_TRUE(Results.keys().empty());
----------------
negativ wrote:

@steakhal Yep, that's totally not what I was going for. Still had to update the test though :D

https://github.com/llvm/llvm-project/pull/146355