[all-commits] [llvm/llvm-project] 473fc9: [LifetimeSafety] Diagnose UAF for aligned and noth...

[Zeyi Xu via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 473fc95e5e297663a18d8399cce7c6f2a3cb6135
      https://github.com/llvm/llvm-project/commit/473fc95e5e297663a18d8399cce7c6f2a3cb6135
  Author: Zeyi Xu <mitchell.xu2 at gmail.com>
  Date:   2026-06-09 (Tue, 09 Jun 2026)

  Changed paths:
    M clang/include/clang/Analysis/Analyses/LifetimeSafety/FactsGenerator.h
    M clang/lib/Analysis/LifetimeSafety/FactsGenerator.cpp
    M clang/test/Sema/Inputs/lifetime-analysis.h
    M clang/test/Sema/warn-lifetime-safety.cpp

  Log Message:
  -----------
  [LifetimeSafety] Diagnose UAF for aligned and nothrow new expressions (#202286)

Previously LifetimeSafety skips issuing a heap allocation loan for
replaceable global allocation functions such as aligned and nothrow
operator new. This commit fixes that by modeling those forms as heap
allocations.

Closes https://github.com/llvm/llvm-project/issues/196208



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