[Analyzer][StreamChecker] Report every leak, clean up state.
authorBalázs Kéri <1.int32@gmail.com>
Mon, 20 Jul 2020 07:07:48 +0000 (09:07 +0200)
committerBalázs Kéri <1.int32@gmail.com>
Mon, 20 Jul 2020 09:49:00 +0000 (11:49 +0200)
commit9b7c43d341da319c69b11205ee1deb642f286e59
tree826e25daaf50c48c38aac74921a41457a641d731
parentdf952cb914eae5264603bd9fadffcc7626355c51
[Analyzer][StreamChecker] Report every leak, clean up state.

Summary:
Report resource leaks with non-fatal error.
Report every resource leak.
Stream state is cleaned up at `checkDeadSymbols`.

Reviewers: Szelethus, baloghadamsoftware, NoQ

Reviewed By: Szelethus

Subscribers: rnkovacs, xazax.hun, baloghadamsoftware, szepet, a.sidorin, mikhail.ramalho, Szelethus, donat.nagy, dkrupp, gamesh411, Charusso, martong, ASDenysPetrov, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D82845
clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp
clang/test/Analysis/stream-note.c