[all-commits] [llvm/llvm-project] f7fc36: [LifetimeSafety] Support bidirectional dataflow an...

[Utkarsh Saxena via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f7fc36dca7e40c1b38c2481b65280b396cd8daf8
      https://github.com/llvm/llvm-project/commit/f7fc36dca7e40c1b38c2481b65280b396cd8daf8
  Author: Utkarsh Saxena <usx at google.com>
  Date:   2025-07-16 (Wed, 16 Jul 2025)

  Changed paths:
    M clang/lib/Analysis/LifetimeSafety.cpp

  Log Message:
  -----------
  [LifetimeSafety] Support bidirectional dataflow analysis (#148967)

Generalize the dataflow analysis to support both forward and backward analyses.

Some program analyses would be expressed as backward dataflow problems (like liveness analysis). This change enables the framework to support both forward analyses (like the loan propagation analysis) and backward analyses with the same infrastructure.



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