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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits