From 0d911077f499eba0f339d6b6b6f107874a345d27 Mon Sep 17 00:00:00 2001 From: Fangrui Song Date: Sun, 12 May 2019 09:03:58 -0700 Subject: [PATCH] Set Diag::concerned if any of its Notes is concerned --- src/sema_manager.cc | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/sema_manager.cc b/src/sema_manager.cc index 02070c84..85c44de5 100644 --- a/src/sema_manager.cc +++ b/src/sema_manager.cc @@ -274,6 +274,8 @@ public: } else { Note &n = last->notes.emplace_back(); fillDiagBase(n); + if (concerned) + last->concerned = true; } } else { Flush();