[Static Analyzer][CFG] Introducing the source array in the CFG of DecompositionDecl
authorisuckatcs <65320245+isuckatcs@users.noreply.github.com>
Thu, 16 Jun 2022 17:57:25 +0000 (19:57 +0200)
committerisuckatcs <65320245+isuckatcs@users.noreply.github.com>
Fri, 17 Jun 2022 16:34:34 +0000 (18:34 +0200)
commitfc6b2281bfd747b3e24d23e2ee8de189f741770f
tree4f7f5a59a0438095c5340b9caa002b20ea516350
parent48f4407c1aafbf953b501381d725320fa867eaf5
[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
clang/lib/Analysis/CFG.cpp
clang/test/Analysis/cfg.cpp