[all-commits] [llvm/llvm-project] cda4a0: [Sema] Relax a failing assertion in TransformBlock...

[Akira Hatanaka via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: cda4a0e918b591be9ae0732f7df07678efb75047
      https://github.com/llvm/llvm-project/commit/cda4a0e918b591be9ae0732f7df07678efb75047
  Author: Akira Hatanaka <ahatanaka at apple.com>
  Date:   2023-02-16 (Thu, 16 Feb 2023)

  Changed paths:
    M clang/docs/ReleaseNotes.rst
    M clang/lib/Sema/TreeTransform.h
    M clang/test/CodeGenCXX/cxx1z-constexpr-if.cpp

  Log Message:
  -----------
  [Sema] Relax a failing assertion in TransformBlockExpr

The assertion fails when the expression causing the this pointer to be
captured is part of a constexpr if statement's branch and the branch
gets discarded when the enclosing method is instantiated.

Note that the test case is added to CodeGen instead of Sema since the
translation unit has to be free of errors in order for the assertion to
be checked.

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