diff --git a/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp b/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp index 1e963249156f1b..6b176b3c4e2b2a 100644 --- a/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp +++ b/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp @@ -204,7 +204,8 @@ class StreamChecker : public Checker &LeakedSyms, CheckerContext &C, ExplodedNode *Pred) const { - // Do not warn for non-closed stream at program exit. - // FIXME: Use BugType::SuppressOnSink instead. - if (Pred && Pred->getCFGBlock() && Pred->getCFGBlock()->hasNoReturnElement()) - return Pred; - ExplodedNode *Err = C.generateNonFatalErrorNode(C.getState(), Pred); if (!Err) return Pred; diff --git a/clang/test/Analysis/stream.c b/clang/test/Analysis/stream.c index cd5d28ae845546..c57f3159fcc7dd 100644 --- a/clang/test/Analysis/stream.c +++ b/clang/test/Analysis/stream.c @@ -261,7 +261,9 @@ void check_leak_noreturn_2() { if (!F1) return; if (Test == 1) { - return; // expected-warning {{Opened stream never closed. Potential resource leak}} + return; // no warning } rewind(F1); -} // no warning +} // expected-warning {{Opened stream never closed. Potential resource leak}} +// FIXME: This warning should be placed at the `return` above. +// See https://reviews.llvm.org/D83120 about details.