[all-commits] [llvm/llvm-project] 566363: [analyzer] Model builtin-like functions as builtin...

[Balazs Benics via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 566363981bb9ff6a6081490f05aa6b19aefc16f0
      https://github.com/llvm/llvm-project/commit/566363981bb9ff6a6081490f05aa6b19aefc16f0
  Author: Balazs Benics <benicsbalazs at gmail.com>
  Date:   2024-07-23 (Tue, 23 Jul 2024)

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp
    M clang/test/Analysis/Inputs/system-header-simulator-cxx.h
    M clang/test/Analysis/builtin-functions.cpp
    M clang/test/Analysis/diagnostics/explicit-suppression.cpp
    A clang/test/Analysis/issue-94193.cpp
    M clang/test/Analysis/use-after-move.cpp

  Log Message:
  -----------
  [analyzer] Model builtin-like functions as builtin functions (#99886)

Some template function instantiations don't have a body, even though
their templates did have a body.
Examples are: `std::move`, `std::forward`, `std::addressof` etc.

They had bodies before
https://github.com/llvm/llvm-project/commit/72315d02c432a0fe0acae9c96c69eac8d8e1a9f6

After that change, the sentiment was that these special functions should
be considered and treated as builtin functions.

Fixes #94193

CPP-5358



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications