[all-commits] [llvm/llvm-project] be32ac: Reapply "[LifetimeSafety] Fix liveness propagation...

[Utkarsh Saxena via All-commits]

  Branch: refs/heads/users/usx95/06-24-fix-liveness
  Home:   https://github.com/llvm/llvm-project
  Commit: be32acfb7d32dc169a046a8d4a57ed2d21a9a0a6
      https://github.com/llvm/llvm-project/commit/be32acfb7d32dc169a046a8d4a57ed2d21a9a0a6
  Author: Utkarsh Saxena <usx at google.com>
  Date:   2026-06-27 (Sat, 27 Jun 2026)

  Changed paths:
    M clang/include/clang/Analysis/Analyses/LifetimeSafety/FactsGenerator.h
    M clang/lib/Analysis/LifetimeSafety/FactsGenerator.cpp
    M clang/lib/Analysis/LifetimeSafety/LiveOrigins.cpp
    M clang/test/Sema/LifetimeSafety/invalidations.cpp
    M clang/test/Sema/LifetimeSafety/safety.cpp

  Log Message:
  -----------
  Reapply "[LifetimeSafety] Fix liveness propagation for all origin flows (#205323)" (#205687)

This reverts commit d4cf04ba17c833cfbab5a16aa2d21f7185a0c9ae.


  Commit: 89b8357a45c50e2db72eb36065612209ee95c6a6
      https://github.com/llvm/llvm-project/commit/89b8357a45c50e2db72eb36065612209ee95c6a6
  Author: Utkarsh Saxena <usx at google.com>
  Date:   2026-06-27 (Sat, 27 Jun 2026)

  Changed paths:
    M clang/include/clang/Analysis/Analyses/LifetimeSafety/Facts.h
    M clang/include/clang/Analysis/Analyses/LifetimeSafety/FactsGenerator.h
    M clang/lib/Analysis/LifetimeSafety/FactsGenerator.cpp
    M clang/test/Sema/LifetimeSafety/safety.cpp

  Log Message:
  -----------
  [LifetimeSafety] Fix loop liveness leakage for conditional operator

Generate flow facts for conditional operators in their respective
predecessor blocks (branches) instead of the merge block, path-isolating
the flows and preventing liveness from leaking across loop backedges.

Also includes tests, formatting cleanups, and refactoring of the flow propagation.

TAG=agy
CONV=b4614911-a1e1-489f-a395-2f895c423788


Compare: https://github.com/llvm/llvm-project/compare/8bf29ea651b1...89b8357a45c5

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