[all-commits] [llvm/llvm-project] ce1fb0: [clang][analyzer] Improve bug reports of StdLibrar...

[Balázs Kéri via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: ce1fb03db8174ca63fedc6e3aebdd6fb2c4fcfdf
      https://github.com/llvm/llvm-project/commit/ce1fb03db8174ca63fedc6e3aebdd6fb2c4fcfdf
  Author: Balázs Kéri <1.int32 at gmail.com>
  Date:   2023-04-12 (Wed, 12 Apr 2023)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp
    M clang/test/Analysis/std-c-library-functions-arg-constraints-note-tags.cpp
    M clang/test/Analysis/std-c-library-functions-arg-constraints-notes.cpp
    M clang/test/Analysis/std-c-library-functions-arg-constraints-tracking-notes.c
    M clang/test/Analysis/std-c-library-functions-arg-constraints.c
    M clang/test/Analysis/std-c-library-functions-arg-constraints.cpp
    M clang/test/Analysis/stream-note.c
    M clang/test/Analysis/stream-stdlibraryfunctionargs.c

  Log Message:
  -----------
  [clang][analyzer] Improve bug reports of StdLibraryFunctionsChecker.

Add an additional explanation of what is wrong if a constraint is
not satisfied, in some cases.
Additionally the bug report generation is changed to use raw_ostream.

Reviewed By: Szelethus, NoQ

Differential Revision: https://reviews.llvm.org/D144003