[all-commits] [llvm/llvm-project] 2f8ac0: PR50402: Use proper constant evaluation rules for ...

[Richard Smith via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 2f8ac0758bbfad72e52ef8602fbbd796e1347784
      https://github.com/llvm/llvm-project/commit/2f8ac0758bbfad72e52ef8602fbbd796e1347784
  Author: Richard Smith <richard at metafoo.co.uk>
  Date:   2021-05-19 (Wed, 19 May 2021)

  Changed paths:
    M clang/lib/Sema/SemaConcept.cpp
    M clang/test/SemaTemplate/concepts.cpp
    M clang/test/SemaTemplate/cxx2a-constraint-caching.cpp
    M clang/test/SemaTemplate/instantiate-requires-clause.cpp

  Log Message:
  -----------
  PR50402: Use proper constant evaluation rules for checking constraint
satisfaction.

Previously we used the rules for constant folding in a non-constant
context, meaning that we'd incorrectly accept foldable non-constant
expressions and that std::is_constant_evaluated() would evaluate to
false.