[all-commits] [llvm/llvm-project] fc6b22: [Static Analyzer][CFG] Introducing the source arra...

[isuckatcs via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: fc6b2281bfd747b3e24d23e2ee8de189f741770f
      https://github.com/llvm/llvm-project/commit/fc6b2281bfd747b3e24d23e2ee8de189f741770f
  Author: isuckatcs <65320245+isuckatcs at users.noreply.github.com>
  Date:   2022-06-17 (Fri, 17 Jun 2022)

  Changed paths:
    M clang/lib/Analysis/CFG.cpp
    M clang/test/Analysis/cfg.cpp

  Log Message:
  -----------
  [Static Analyzer][CFG] Introducing the source array in the CFG of DecompositionDecl

For DecompositionDecl, the array, which is being decomposed was not present in the
CFG, which lead to the liveness analysis falsely detecting it as a dead symbol.

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