1 // RUN: %clang_cc1 -triple x86_64-pc-windows-msvc19.0.0 -std=c++11 -emit-llvm -o - %s | FileCheck %s
2
3 // This code used to cause an assertion failure in EmitDelegateCallArg.
4
5 // CHECK-LABEL: define internal void @"?__invoke@<lambda_0>@?0??test@@YAXXZ@CA@UTrivial@@@Z"(
6 // CHECK: %unused.capture = alloca %class.anon, align 1
7 // CHECK: call void @"??R<lambda_0>@?0??test@@YAXXZ@QEBA@UTrivial@@@Z"(ptr noundef nonnull align 1 dereferenceable(1) %unused.capture,
8
9 // CHECK: define internal void @"??R<lambda_0>@?0??test@@YAXXZ@QEBA@UTrivial@@@Z"(ptr noundef nonnull align 1 dereferenceable(1) %this,
10
11 struct Trivial {
12 int x;
13 };
14
15 void (*fnptr)(Trivial);
16
test()17 void test() {
18 fnptr = [](Trivial a){ (void)a; };
19 }
20
21 // CHECK-LABEL: define internal i32 @"?__invoke@<lambda_1>@?0??test2@@YAXXZ@CA@H@Z"(
22 // CHECK: %unused.capture = alloca %class.anon.0, align 1
23 // CHECK: call void @"??R<lambda_1>@?0??test2@@YAXXZ@QEBA@H@Z"(ptr noundef nonnull align 1 dereferenceable(1) %unused.capture,
24
25 // CHECK: define internal void @"??R<lambda_1>@?0??test2@@YAXXZ@QEBA@H@Z"(ptr noundef nonnull align 1 dereferenceable(1) %this,
26
27 Trivial (*fnptr2)(int);
28
test2()29 void test2() {
30 fnptr2 = [](int) -> Trivial { return {}; };
31 }
32