[Analyzer][StreamChecker] Changed representation of stream error state - NFC.
authorBalázs Kéri <1.int32@gmail.com>
Mon, 18 May 2020 13:07:32 +0000 (15:07 +0200)
committerBalázs Kéri <1.int32@gmail.com>
Mon, 18 May 2020 14:18:59 +0000 (16:18 +0200)
commit22d40cc3a724fa3df259c52009571a21a3a3a632
tree27f1d4e5908ef5c1f8bd585c08291a15cd8cee0a
parent5b0502dff5b6f510fbf823059faa042dd1523cef
[Analyzer][StreamChecker] Changed representation of stream error state - NFC.

Summary:
State of error flags for a stream is handled by having separate flags
that allow combination of multiple error states to be described with one
error state object.
After a failed function the error state is set in the stream state
and must not be determined later based on the last failed function
like before this change. The error state can not always be determined
from the last failed function and it was not the best design.

Reviewers: Szelethus

Reviewed By: Szelethus

Subscribers: 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/D80009
clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp