Set Diag::concerned if any of its Notes is concerned

This commit is contained in:
Fangrui Song 2019-05-12 09:03:58 -07:00
parent d472ffc46b
commit 7f291c6dd5

View File

@ -273,6 +273,8 @@ public:
} else {
Note &n = last->notes.emplace_back();
fillDiagBase(n);
if (concerned)
last->concerned = true;
}
} else {
Flush();