[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