[PATCH] D75612: [Analyzer][StreamChecker] Adding PreCall and refactoring (NFC).

[Balázs Kéri via Phabricator via cfe-commits]

balazske created this revision.
Herald added subscribers: cfe-commits, martong, Charusso, gamesh411, dkrupp, donat.nagy, Szelethus, mikhail.ramalho, a.sidorin, szepet, baloghadamsoftware, xazax.hun.
Herald added a reviewer: Szelethus.
Herald added a project: clang.

Adding PreCall callback.
Argument validity checks are moved into the PreCall callback.
Code is restructured, functions renamed.
There are "pre" and "eval" functions for the file operations.
And additional state check (validate) functions.


Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D75612

Files:
  clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D75612.248176.patch
Type: text/x-patch
Size: 16983 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20200304/0c9f9d03/attachment-0001.bin>