[all-commits] [llvm/llvm-project] 47b842: Correct the diagnostic behavior for unreachable _G...

[Aaron Ballman via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 47b8424a533d5c02fd8b3517047cf93e533f00d0
      https://github.com/llvm/llvm-project/commit/47b8424a533d5c02fd8b3517047cf93e533f00d0
  Author: Aaron Ballman <aaron at aaronballman.com>
  Date:   2022-05-18 (Wed, 18 May 2022)

  Changed paths:
    M clang/lib/Sema/SemaExpr.cpp
    M clang/test/Sema/generic-selection.c
    M clang/test/SemaCXX/generic-selection.cpp

  Log Message:
  -----------
  Correct the diagnostic behavior for unreachable _Generic associations in C++

New diagnostics were added for unreachable generic selection expression
associations in ca75ac5f04f269def97e6844c2f5c9596b29c84c, but it did
not account for a difference in behavior between C and C++ regarding
lvalue to rvalue conversions. So we would issue diagnostics about a
selection being unreachable and then reach it. This corrects the
diagnostic behavior in that case.

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