[all-commits] [llvm/llvm-project] f9be39: [LifetimeSafety] Handle pruned-edges (null blocks)...

[Utkarsh Saxena via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f9be391dd7cf04d83525cfccc954c80c6f05d15d
      https://github.com/llvm/llvm-project/commit/f9be391dd7cf04d83525cfccc954c80c6f05d15d
  Author: Utkarsh Saxena <usx at google.com>
  Date:   2025-08-03 (Sun, 03 Aug 2025)

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

  Log Message:
  -----------
  [LifetimeSafety] Handle pruned-edges (null blocks) in dataflow (#150670)

Fix a crash in the lifetime safety dataflow analysis when handling null CFG blocks.

Added a null check for adjacent blocks in the dataflow analysis algorithm to prevent dereferencing null pointers. This occurs when processing CFG blocks with unreachable successors or predecessors.

Original crash: https://compiler-explorer.com/z/qfzfqG5vM

Fixes https://github.com/llvm/llvm-project/issues/150095



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