[all-commits] [llvm/llvm-project] 970bf0: [clang][CodeGen] Ensure consistent `mustprogress` ...

[Antonio Frighetto via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 970bf07d0b184c7ec356ae8f47b193a5e3ff0309
      https://github.com/llvm/llvm-project/commit/970bf07d0b184c7ec356ae8f47b193a5e3ff0309
  Author: Antonio Frighetto <me at antoniofrighetto.com>
  Date:   2023-11-11 (Sat, 11 Nov 2023)

  Changed paths:
    M clang/lib/CodeGen/CodeGenFunction.cpp
    M clang/test/CXX/special/class.dtor/p3-0x.cpp
    M clang/test/CodeGen/fp-floatcontrol-stack.cpp
    M clang/test/CodeGen/no-builtin.cpp
    M clang/test/CodeGenCXX/apple-kext.cpp
    M clang/test/OpenMP/assumes_codegen.cpp
    M clang/test/OpenMP/for_firstprivate_codegen.cpp
    M clang/test/OpenMP/for_lastprivate_codegen.cpp
    M clang/test/OpenMP/for_linear_codegen.cpp
    M clang/test/OpenMP/parallel_firstprivate_codegen.cpp
    M clang/test/OpenMP/parallel_private_codegen.cpp
    M clang/test/OpenMP/parallel_reduction_codegen.cpp
    M clang/test/OpenMP/sections_firstprivate_codegen.cpp
    M clang/test/OpenMP/single_firstprivate_codegen.cpp
    M clang/test/utils/update_cc_test_checks/Inputs/basic-cplusplus.cpp.expected
    M clang/test/utils/update_cc_test_checks/Inputs/explicit-template-instantiation.cpp.expected

  Log Message:
  -----------
  [clang][CodeGen] Ensure consistent `mustprogress` attribute emission

Emission of `mustprogress` attribute previously occurred only within
`EmitFunctionBody`, after generating the function body. Other routines
for function body creation may lack the attribute, potentially leading
to suboptimal optimizations later in the pipeline. Attribute emission
is now anticipated prior to generating the function body.

Fixes: https://github.com/llvm/llvm-project/issues/69833.