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



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to