[all-commits] [llvm/llvm-project] fa4e72: Automate common diagnostic checking for statement ...

[Aaron Ballman via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: fa4e72971e05e3c923e11a31e2025361e3425a8b
      https://github.com/llvm/llvm-project/commit/fa4e72971e05e3c923e11a31e2025361e3425a8b
  Author: Aaron Ballman <aaron at aaronballman.com>
  Date:   2021-03-19 (Fri, 19 Mar 2021)

  Changed paths:
    M clang/include/clang/Basic/Attr.td
    M clang/include/clang/Sema/ParsedAttr.h
    M clang/include/clang/Sema/Sema.h
    M clang/lib/Sema/ParsedAttr.cpp
    M clang/lib/Sema/SemaAttr.cpp
    M clang/lib/Sema/SemaDeclAttr.cpp
    M clang/lib/Sema/SemaStmtAttr.cpp
    M clang/lib/Sema/SemaType.cpp
    M clang/test/CXX/dcl.dcl/dcl.attr/dcl.attr.fallthrough/p1.cpp
    M clang/test/Parser/stmt-attributes.c
    M clang/test/Sema/c2x-fallthrough.c
    M clang/test/SemaCXX/switch-implicit-fallthrough.cpp
    M clang/utils/TableGen/ClangAttrEmitter.cpp

  Log Message:
  -----------
  Automate common diagnostic checking for statement attributes

Clang currently automates a fair amount of diagnostic checking for
declaration attributes based on the declarations in Attr.td. It checks
for things like subject appertainment, number of arguments, language
options, etc. This patch uses the same machinery to perform diagnostic
checking on statement attributes.