Changes from Git (git


  1. [analyzer][StdLibraryFunctionsChecker] Have proper weak dependencies (details)
Commit 8248c2af94975912b14e7e0cb414fcbb82c77123 by gabor.marton
[analyzer][StdLibraryFunctionsChecker] Have proper weak dependencies

We want the generice StdLibraryFunctionsChecker to report only if there
are no specific checkers that would handle the argument constraint for a

Note, the assumptions are still evaluated, even if the arguement
constraint checker is set to not report. This means that the assumptions
made in the generic StdLibraryFunctionsChecker should be an
over-approximation of the assumptions made in the specific checkers. But
most importantly, the assumptions should not contradict.

Differential Revision:
The file was addedclang/test/Analysis/std-c-library-functions-arg-enabled-checkers.c
The file was modifiedclang/test/Analysis/analyzer-enabled-checkers.c
The file was addedclang/test/Analysis/std-c-library-functions-arg-weakdeps.c
The file was modifiedclang/include/clang/StaticAnalyzer/Checkers/