[PATCH] D125400: [clang][Analyzer] Add errno state to standard functions modeling.

[Balázs Benics via Phabricator via cfe-commits]

steakhal added a comment.

In the `describeErrnoCheckState()` the `Errno_MustBeChecked` is uncovered by tests.



================
Comment at: clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp:410
+    /// Many of the descendant classes use this value.
+    errno_modeling::ErrnoCheckState const CheckState;
+
----------------
I would prefer the //west-const// style.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D125400/new/

https://reviews.llvm.org/D125400