[all-commits] [llvm/llvm-project] 51f178: [analyzer] MallocChecker: Recognize std::atomics i...

[Artem Dergachev via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 51f178d909d477bd269e0b434af1a7f9373d4e61
      https://github.com/llvm/llvm-project/commit/51f178d909d477bd269e0b434af1a7f9373d4e61
  Author: Artem Dergachev <adergachev at apple.com>
  Date:   2024-05-08 (Wed, 08 May 2024)

  Changed paths:
    M clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp
    M clang/test/Analysis/Inputs/system-header-simulator-cxx.h
    M clang/test/Analysis/NewDelete-atomics.cpp

  Log Message:
  -----------
  [analyzer] MallocChecker: Recognize std::atomics in smart pointer suppression. (#90918)

Fixes #90498.

Same as 5337efc69cdd5 for atomic builtins, but for `std::atomic` this
time. This is useful because even though the actual builtin atomic is
still there, it may be buried beyond the inlining depth limit.

Also add one popular custom smart pointer class name to the name-based
heuristics, which isn't necessary to fix the bug but arguably a good
idea regardless.



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