[llvm-branch-commits] [clang] a9a4c1e - fixup! [analyzer] Fix crash in MallocChecker when a function has both ownership_returns and ownership_takes (#183583)

[Douglas Yung via llvm-branch-commits]

Author: Balazs Benics
Date: 2026-02-28T09:20:09Z
New Revision: a9a4c1e5180e1d4b54700558550ed937eaa6752b

URL: https://github.com/llvm/llvm-project/commit/a9a4c1e5180e1d4b54700558550ed937eaa6752b
DIFF: https://github.com/llvm/llvm-project/commit/a9a4c1e5180e1d4b54700558550ed937eaa6752b.diff

LOG: fixup! [analyzer] Fix crash in MallocChecker when a function has both ownership_returns and ownership_takes (#183583)

Mention in the release docs

Added: 
    

Modified: 
    clang/docs/ReleaseNotes.rst

Removed: 
    


################################################################################
diff  --git a/clang/docs/ReleaseNotes.rst b/clang/docs/ReleaseNotes.rst
index aecbff4baf678..d4c6025ee0638 100644
--- a/clang/docs/ReleaseNotes.rst
+++ b/clang/docs/ReleaseNotes.rst
@@ -913,6 +913,9 @@ Crash and bug fixes
   checked arithmetic builtin functions. (#GH173795)
 - Fixed a crash introduced in clang-20 when analyzing some "swap" functions.
   (#GH178797)
+- Fixed a crash introduced in clang-20 in the ``unix.Malloc`` checker when
+  analyzing functions that had both of the ``ownership_returns`` and
+  ``ownership_takes`` attributes. (#GH183344)
 
 Improvements
 ^^^^^^^^^^^^