[all-commits] [llvm/llvm-project] 44aa61: [Analyzer][CFG] Correctly handle rebuilt default a...

[yronglin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 44aa618ef67d302f5ab77cc591fb3434fe967a2e
      https://github.com/llvm/llvm-project/commit/44aa618ef67d302f5ab77cc591fb3434fe967a2e
  Author: yronglin <yronglin777 at gmail.com>
  Date:   2025-02-01 (Sat, 01 Feb 2025)

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/lib/AST/ParentMap.cpp
    M clang/lib/Analysis/CFG.cpp
    M clang/lib/Analysis/ReachableCode.cpp
    M clang/lib/Sema/SemaExpr.cpp
    M clang/lib/StaticAnalyzer/Core/ExprEngine.cpp
    M clang/test/AST/ast-dump-recovery.cpp
    M clang/test/Analysis/lifetime-extended-regions.cpp
    M clang/test/SemaCXX/cxx2c-placeholder-vars.cpp
    M clang/test/SemaCXX/warn-unreachable.cpp

  Log Message:
  -----------
  [Analyzer][CFG] Correctly handle rebuilt default arg and default init expression (#117437)

Clang currently support extending lifetime of object bound to reference
members of aggregates, that are created from default member initializer.
This PR address this change and updaye CFG and ExprEngine.

This PR reapply https://github.com/llvm/llvm-project/pull/91879.
Fixes https://github.com/llvm/llvm-project/issues/93725.

---------

Signed-off-by: yronglin <yronglin777 at gmail.com>



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