[all-commits] [llvm/llvm-project] 854c27: [clang][dataflow] Weaken guard to only check for s...

[Eric Li via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 854c273cbb7ec6745dc63cfe1951b51e9092e8ee
      https://github.com/llvm/llvm-project/commit/854c273cbb7ec6745dc63cfe1951b51e9092e8ee
  Author: Eric Li <li.zhe.hua at gmail.com>
  Date:   2022-05-17 (Tue, 17 May 2022)

  Changed paths:
    M clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp

  Log Message:
  -----------
  [clang][dataflow] Weaken guard to only check for storage location

Weaken the guard for whether a sub-expression has been evaluated to
only check for the storage location, instead of checking for the
value. It should be sufficient to check for the storage location, as
we don't necessarily guarantee that a value will be set for the
location (although this is currently true right now).

Differential Revision: https://reviews.llvm.org/D125823