[all-commits] [llvm/llvm-project] 8248c2: [analyzer][StdLibraryFunctionsChecker] Have proper...

[Gabor Marton via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 8248c2af94975912b14e7e0cb414fcbb82c77123
      https://github.com/llvm/llvm-project/commit/8248c2af94975912b14e7e0cb414fcbb82c77123
  Author: Gabor Marton <gabor.marton at ericsson.com>
  Date:   2020-09-07 (Mon, 07 Sep 2020)

  Changed paths:
    M clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
    M clang/test/Analysis/analyzer-enabled-checkers.c
    A clang/test/Analysis/std-c-library-functions-arg-enabled-checkers.c
    A clang/test/Analysis/std-c-library-functions-arg-weakdeps.c

  Log Message:
  -----------
  [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
function.

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: https://reviews.llvm.org/D87240