From 7f291c6dd5c523e6236ca9be7296513cbd379c18 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 9ee160bf..0467713e 100644 --- a/src/sema_manager.cc +++ b/src/sema_manager.cc @@ -273,6 +273,8 @@ public: } else { Note &n = last->notes.emplace_back(); fillDiagBase(n); + if (concerned) + last->concerned = true; } } else { Flush();