ed6b578040
llvm function is marked nounwind This fixes cases where an invoke is emitted, despite the called llvm function being marked nounwind, because ConstructAttributeList failed to add the attribute to the attribute list. llvm optimization passes turn invokes into calls and optimize away the exception handling code, but it's better to avoid emitting the code in the front-end if the called function is known not to raise an exception. Differential Revision: https://reviews.llvm.org/D83906
21 lines
734 B
Plaintext
21 lines
734 B
Plaintext
// RUN: %clang_cc1 %s -emit-llvm -o - -triple x86_64-darwin-apple -fobjc-arc \
|
|
// RUN: -fexceptions -fcxx-exceptions | FileCheck %s
|
|
|
|
// Check that no EH cleanup is emitted around the call to __os_log_helper.
|
|
namespace no_eh_cleanup {
|
|
void release(int *lock);
|
|
|
|
// CHECK-LABEL: define {{.*}} @_ZN13no_eh_cleanup3logERiPcS1_(
|
|
// CHECK: call void @__os_log_helper_1_2_2_4_0_8_34(
|
|
|
|
void log(int &i, char *data, char *buf) {
|
|
int lock __attribute__((cleanup(release)));
|
|
__builtin_os_log_format(buf, "%d %{public}s", i, data);
|
|
}
|
|
|
|
// Check that the os_log_helper is marked `nounwind`.
|
|
// CHECK: define {{.*}} @__os_log_helper_1_2_2_4_0_8_34({{.*}} [[NUW:#[0-9]+]]
|
|
}
|
|
|
|
// CHECK: attributes [[NUW]] = { {{.*}}nounwind
|