[all-commits] [llvm/llvm-project] b5d9f0: Forbid implicit conversion of constraint expressio...

[Erich Keane via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: b5d9f00b2096290653fcb6e8de38d5c352af63a0
      https://github.com/llvm/llvm-project/commit/b5d9f00b2096290653fcb6e8de38d5c352af63a0
  Author: Erich Keane <erich.keane at intel.com>
  Date:   2023-01-19 (Thu, 19 Jan 2023)

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/lib/Sema/SemaConcept.cpp
    A clang/test/CXX/temp/temp.constr/temp.constr.atomic/constrant-satisfaction-conversions.cpp

  Log Message:
  -----------
  Forbid implicit conversion of constraint expression to bool

As reported in https://github.com/llvm/llvm-project/issues/54524, and
later in https://github.com/llvm/llvm-project/issues/60038, we were not
properly implmenting temp.constr.atomic P3. This patch stops implicitly
converting constraints to bool, and ensures the Rvalue conversion takes
place as needed.

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