[PATCH] D86533: (Urgent!) [release][docs][analyzer] Add 11.0.0. release notes
Gabor Marton via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Aug 25 05:35:50 PDT 2020
martong added inline comments.
================
Comment at: clang/docs/ReleaseNotes.rst:471
+
+- Improve the pre- and post condition modeling of several hundred more standard
+ C functions.
----------------
Umm, this is still an alpha command line option, plus we improved only the pre-condition checks.
So, I'd rather say something like:
```
Improve the pre-condition modeling of several functions defined in the POSIX standard. This is in alpha currently. To enable, one must explicitly set the ``ModelPOSIX`` argument of the ``apiModeling.StdCLibraryFunctions`` checker.
```
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D86533/new/
https://reviews.llvm.org/D86533
More information about the cfe-commits
mailing list