[PATCH] D79420: [analyzer] Make NonNullParamChecker as dependency for StdCLibraryFunctionsChecker

Gábor Horváth via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed May 6 02:07:17 PDT 2020


xazax.hun added a comment.

> If a given parameter in a FunctionDecl has a nonull attribute then the NonNull constraint in StdCLibraryFunctionsChecker has the same effect as NonNullParamChecker.

Wait, where the diagnostic is coming from? My point is, the user should be able to turn `apiModeling.StdCLibraryFunctions` on, while suppressing all the null related diagnostics. Is this possible now? Is this possible after this change?
As long as it is possible to separately turn on modeling independently form the diagnostics, it looks good to me.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D79420





More information about the cfe-commits mailing list