Have a description object for the stream functions
that can store different aspects of a single stream operation.
I plan to extend the structure with other members,
for example pre-callback and index of the stream argument.
Paths
| Differential D75158
[analyzer][StreamChecker] Using function description objects - NFC. ClosedPublic Authored by balazske on Feb 26 2020, 1:00 AM.
Details Summary Have a description object for the stream functions I plan to extend the structure with other members,
Diff Detail
Event TimelineComment Actions Cool! Though this patch says little without followups, so maybe we should see how those look like before commiting? :) I don't insist. This revision is now accepted and ready to land.Feb 26 2020, 2:14 AM balazske added a child revision: D75163: [analyzer][StreamChecker] Adding precall and refactoring..Feb 26 2020, 4:07 AM Closed by commit rGb293a7217bae: [analyzer][StreamChecker] Using function description objects - NFC. (authored by balazske). · Explain WhyMar 2 2020, 3:54 AM This revision was automatically updated to reflect the committed changes.
Revision Contents
Diff 247591 clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp
|