[all-commits] [llvm/llvm-project] 6b8c6f: [clang][PR55406] CFG for coroutine

[Nathan Sidwell via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6b8c6f15fdd8c147dfb7b0beb6f3d6eb98bf5772
      https://github.com/llvm/llvm-project/commit/6b8c6f15fdd8c147dfb7b0beb6f3d6eb98bf5772
  Author: Nathan Sidwell <nathan at acm.org>
  Date:   2022-05-26 (Thu, 26 May 2022)

  Changed paths:
    M clang/lib/Analysis/CFG.cpp
    A clang/test/SemaCXX/thread-safety-coro.cpp

  Log Message:
  -----------
  [clang][PR55406] CFG for coroutine

CoreturnStmt needs to keep the operand value distinct from its use in
any return_value call, so that instantiation may rebuild the latter.
But it also needs to keep the operand value separate in the case of
calling return_void.  Code generation checks the operand value form to
determine whether it is a distincte entity to the promise call.  This
adds the same logic to CFG generation.

Reviewed By: bruno

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