[all-commits] [llvm/llvm-project] 8e1d2f: [clang][dataflow] Don't crash when BlockToState is...

[Kinuko Yasuda via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8e1d2f2f12243d284b729174fc0720052ea5518c
      https://github.com/llvm/llvm-project/commit/8e1d2f2f12243d284b729174fc0720052ea5518c
  Author: Kinuko Yasuda <kinuko at chromium.org>
  Date:   2023-09-08 (Fri, 08 Sep 2023)

  Changed paths:
    M clang/lib/Analysis/FlowSensitive/Transfer.cpp
    M clang/unittests/Analysis/FlowSensitive/TransferTest.cpp

  Log Message:
  -----------
  [clang][dataflow] Don't crash when BlockToState is called from unreachable path (#65732)

When we call `getEnvironment`, `BlockToState[BlockId]` for the block can
return null even if CFCtx.isBlockReachable(B) returns true if it is
called from a particular block that is marked unreachable to the block.