[all-commits] [llvm/llvm-project] 5192ab: [LifetimeSafety] Fix loop liveness leakage for con...

[Utkarsh Saxena via All-commits]

  Branch: refs/heads/users/usx95/06-24-fix-liveness
  Home:   https://github.com/llvm/llvm-project
  Commit: 5192ab231a77fcd5ed909523181cfdc0138e477d
      https://github.com/llvm/llvm-project/commit/5192ab231a77fcd5ed909523181cfdc0138e477d
  Author: Utkarsh Saxena <usx at google.com>
  Date:   2026-06-25 (Thu, 25 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



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