[all-commits] [llvm/llvm-project] dd1d54: [analyzer][Liveness][NFC] Get rid of statement liv...

[Kristóf Umann via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: dd1d5488e47d0a89217dfd22a726c3d3ad2b4984
      https://github.com/llvm/llvm-project/commit/dd1d5488e47d0a89217dfd22a726c3d3ad2b4984
  Author: Kristóf Umann <dkszelethus at gmail.com>
  Date:   2020-09-15 (Tue, 15 Sep 2020)

  Changed paths:
    M clang/docs/analyzer/developer-docs/DebugChecks.rst
    M clang/include/clang/Analysis/Analyses/LiveVariables.h
    M clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
    M clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h
    M clang/lib/Analysis/LiveVariables.cpp
    M clang/lib/StaticAnalyzer/Checkers/DebugCheckers.cpp
    M clang/lib/StaticAnalyzer/Core/Environment.cpp
    M clang/lib/StaticAnalyzer/Core/SymbolManager.cpp
    M clang/test/Analysis/live-stmts.cpp
    M clang/test/Analysis/live-stmts.mm

  Log Message:
  -----------
  [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