[all-commits] [llvm/llvm-project] 2ac023: [clang] Omit most AttributedStatements from the CFG

[Nico Weber via All-commits]

  Branch: refs/heads/release/13.x
  Home:   https://github.com/llvm/llvm-project
  Commit: 2ac023cd540a43452050a4bda8a78cc6c91fa5f8
      https://github.com/llvm/llvm-project/commit/2ac023cd540a43452050a4bda8a78cc6c91fa5f8
  Author: Nico Weber <thakis at chromium.org>
  Date:   2021-10-21 (Thu, 21 Oct 2021)

  Changed paths:
    M clang/lib/Analysis/CFG.cpp
    M clang/test/SemaCXX/switch-implicit-fallthrough.cpp
    M clang/test/SemaCXX/unreachable-code.cpp

  Log Message:
  -----------
  [clang] Omit most AttributedStatements from the CFG

`[[clang::fallthrough]]` has meaning for the CFG, but all other
StmtAttrs we currently have don't. So omit them, as AttributedStatements
with children cause several issues and there's no benefit in including
them.

Fixes PR52103 and PR49454. See PR52103 for details.

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

(cherry picked from commit c74ab84ea23f497ac83501473220cd9cfefe81e8)