| // RUN: %clang_cc1 -no-opaque-pointers -emit-llvm -triple x86_64-linux-gnu -fnew-infallible -o - %s | FileCheck %s |
| // RUN: %clang_cc1 -no-opaque-pointers -emit-llvm -triple x86_64-linux-gnu -fno-new-infallible -fnew-infallible -o - %s | FileCheck %s |
| // RUN: %clang_cc1 -no-opaque-pointers -emit-llvm -triple x86_64-linux-gnu -fno-new-infallible -o - %s | FileCheck %s --check-prefix=NO-NEW-INFALLIBLE |
| // RUN: %clang_cc1 -no-opaque-pointers -emit-llvm -triple x86_64-linux-gnu -fnew-infallible -fno-new-infallible -o - %s | FileCheck %s --check-prefix=NO-NEW-INFALLIBLE |
| |
| // CHECK: call noalias noundef nonnull i8* @_Znwm(i64 noundef 4) |
| |
| // CHECK: ; Function Attrs: nobuiltin nounwind allocsize(0) |
| // CHECK-NEXT: declare noundef nonnull i8* @_Znwm(i64 noundef) |
| |
| // NO-NEW-INFALLIBLE: call noalias noundef nonnull i8* @_Znwm(i64 noundef 4) |
| |
| // NO-NEW-INFALLIBLE: ; Function Attrs: nobuiltin allocsize(0) |
| // NO-NEW-INFALLIBLE-NEXT: declare noundef nonnull i8* @_Znwm(i64 noundef) |
| |
| int *new_infallible = new int; |
