martong accepted this revision. martong added a comment. This revision is now accepted and ready to land.
LGTM! (At least those changes that involved me, perhaps it is better to wait for more LGs.) ================ Comment at: clang/docs/ReleaseNotes.rst:471 + +- Improve the pre- and post condition modeling of several hundred more standard + C functions. ---------------- Szelethus wrote: > Szelethus wrote: > > whisperity wrote: > > > martong wrote: > > > > 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. > > > > ``` > > > Maybe it's worth mentioning the checker here too, akin to the other list > > > elements? > > I don't believe in advertising development only options much, especially > > that we don't expect, nor want non-developers to interact with > > `apiModeling` stuff often. :/ I ended up removing the entry as such, if you > > don't mind. > We don't want users to tinker with developer-only checkers. OK, fair enough. 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