[analyzer][Liveness][NFC] Get rid of statement liveness, because such a thing doesn...
authorKristóf Umann <dkszelethus@gmail.com>
Tue, 15 Sep 2020 15:43:02 +0000 (17:43 +0200)
committerKristóf Umann <dkszelethus@gmail.com>
Tue, 15 Sep 2020 15:43:02 +0000 (17:43 +0200)
commitdd1d5488e47d0a89217dfd22a726c3d3ad2b4984
tree8f0130c187d012582799d5402a7a1cc033d3d63b
parent01f5fcd8290349265e6039ad9089b086ea783f00
[analyzer][Liveness][NFC] Get rid of statement liveness, because such a thing doesn't exist

The summary and very short discussion in D82122 summarizes whats happening here.

In short, liveness talks about variables, or expressions, anything that
has a value. Well, statements just simply don't have a one.

Differential Revision: https://reviews.llvm.org/D82598
clang/docs/analyzer/developer-docs/DebugChecks.rst
clang/include/clang/Analysis/Analyses/LiveVariables.h
clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
clang/lib/Analysis/LiveVariables.cpp
clang/lib/StaticAnalyzer/Checkers/DebugCheckers.cpp
clang/lib/StaticAnalyzer/Core/Environment.cpp
clang/lib/StaticAnalyzer/Core/SymbolManager.cpp
clang/test/Analysis/live-stmts.cpp
clang/test/Analysis/live-stmts.mm