hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Add more Lambda IR test cases

Browse Source 
New tests for mixed =/& captures and for captures with initializers
This commit is contained in:
Dave Bartolomeo
2019-03-25 11:05:53 -07:00
parent 8770258714
commit 2e752f48ff
3 changed files with 484 additions and 89 deletions
Download Patch File Download Diff File Expand all files Collapse all files

261
cpp/ql/test/library-tests/ir/ir/PrintAST.expected
View File

@@ -6876,7 +6876,121 @@ ir.cpp:
# 1027| Type = int
# 1027| Value = 4
# 1027| ValueCategory = prvalue
# 1028| 10: return ...
# 1028| 10: declaration
# 1028| 0: definition of lambda_mixed_explicit
# 1028| Type = decltype([...](...){...})
# 1028| init: initializer for lambda_mixed_explicit
# 1028| expr: [...](...){...}
# 1028| Type = decltype([...](...){...})
# 1028| ValueCategory = prvalue
# 1028| 0: {...}
# 1028| Type = decltype([...](...){...})
# 1028| ValueCategory = prvalue
# 1028| .s: (reference to)
# 1028| Type = const String &
# 1028| ValueCategory = prvalue
# 1028| expr: (reference dereference)
# 1028| Type = const String
# 1028| ValueCategory = lvalue
# 1028| expr: s
# 1028| Type = const String &
# 1028| ValueCategory = prvalue(load)
# 1028| .x: x
# 1028| Type = int
# 1028| ValueCategory = prvalue(load)
# 1029| 11: ExprStmt
# 1029| 0: call to operator()
# 1029| Type = char
# 1029| ValueCategory = prvalue
# 1029| -1: (const lambda [] type at line 1028, col. 32)...
# 1029| Conversion = glvalue conversion
# 1029| Type = const lambda [] type at line 1028, col. 32
# 1029| ValueCategory = lvalue
# 1029| expr: lambda_mixed_explicit
# 1029| Type = decltype([...](...){...})
# 1029| ValueCategory = lvalue
# 1029| 0: (float)...
# 1029| Conversion = integral to floating point conversion
# 1029| Type = float
# 1029| Value = 5.0
# 1029| ValueCategory = prvalue
# 1029| expr: 5
# 1029| Type = int
# 1029| Value = 5
# 1029| ValueCategory = prvalue
# 1030| 12: declaration
# 1030| 0: definition of r
# 1030| Type = int
# 1030| init: initializer for r
# 1030| expr: ... - ...
# 1030| Type = int
# 1030| ValueCategory = prvalue
# 1030| 0: x
# 1030| Type = int
# 1030| ValueCategory = prvalue(load)
# 1030| 1: 1
# 1030| Type = int
# 1030| Value = 1
# 1030| ValueCategory = prvalue
# 1031| 13: declaration
# 1031| 0: definition of lambda_inits
# 1031| Type = decltype([...](...){...})
# 1031| init: initializer for lambda_inits
# 1031| expr: [...](...){...}
# 1031| Type = decltype([...](...){...})
# 1031| ValueCategory = prvalue
# 1031| 0: {...}
# 1031| Type = decltype([...](...){...})
# 1031| ValueCategory = prvalue
# 1031| .s: (reference to)
# 1031| Type = const String &
# 1031| ValueCategory = prvalue
# 1031| expr: (reference dereference)
# 1031| Type = const String
# 1031| ValueCategory = lvalue
# 1031| expr: s
# 1031| Type = const String &
# 1031| ValueCategory = prvalue(load)
# 1031| .x: x
# 1031| Type = int
# 1031| ValueCategory = prvalue(load)
# 1031| .i: ... + ...
# 1031| Type = int
# 1031| ValueCategory = prvalue
# 1031| 0: x
# 1031| Type = int
# 1031| ValueCategory = prvalue(load)
# 1031| 1: 1
# 1031| Type = int
# 1031| Value = 1
# 1031| ValueCategory = prvalue
# 1031| .j: (reference to)
# 1031| Type = int &
# 1031| ValueCategory = prvalue
# 1031| expr: r
# 1031| Type = int
# 1031| ValueCategory = lvalue
# 1032| 14: ExprStmt
# 1032| 0: call to operator()
# 1032| Type = char
# 1032| ValueCategory = prvalue
# 1032| -1: (const lambda [] type at line 1031, col. 23)...
# 1032| Conversion = glvalue conversion
# 1032| Type = const lambda [] type at line 1031, col. 23
# 1032| ValueCategory = lvalue
# 1032| expr: lambda_inits
# 1032| Type = decltype([...](...){...})
# 1032| ValueCategory = lvalue
# 1032| 0: (float)...
# 1032| Conversion = integral to floating point conversion
# 1032| Type = float
# 1032| Value = 6.0
# 1032| ValueCategory = prvalue
# 1032| expr: 6
# 1032| Type = int
# 1032| Value = 6
# 1032| ValueCategory = prvalue
# 1033| 15: return ...
# 1018| (void Lambda(int, String const&))::(lambda [] type at line 1018, col. 23)& (void Lambda(int, String const&))::(lambda [] type at line 1018, col. 23)::operator=((void Lambda(int, String const&))::(lambda [] type at line 1018, col. 23) const&)
# 1018| params:
#-----| 0: p#0
@@ -7148,3 +7262,148 @@ ir.cpp:
# 1026| Type = int
# 1026| Value = 0
# 1026| ValueCategory = prvalue
# 1028| (void Lambda(int, String const&))::(lambda [] type at line 1028, col. 32)& (void Lambda(int, String const&))::(lambda [] type at line 1028, col. 32)::operator=((void Lambda(int, String const&))::(lambda [] type at line 1028, col. 32) const&)
# 1028| params:
#-----| 0: p#0
#-----| Type = const lambda [] type at line 1028, col. 32 &
# 1028| void (void Lambda(int, String const&))::(lambda [] type at line 1028, col. 32)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1028, col. 32) const&)
# 1028| params:
#-----| 0: p#0
#-----| Type = const lambda [] type at line 1028, col. 32 &
# 1028| void (void Lambda(int, String const&))::(lambda [] type at line 1028, col. 32)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1028, col. 32)&&)
# 1028| params:
#-----| 0: p#0
#-----| Type = lambda [] type at line 1028, col. 32 &&
# 1028| initializations:
# 1028| 0: constructor init of field s
# 1028| Type = const String &
# 1028| ValueCategory = prvalue
# 1028| 0: Unknown literal
# 1028| Type = const String &
# 1028| ValueCategory = prvalue
# 1028| 1: constructor init of field x
# 1028| Type = int
# 1028| ValueCategory = prvalue
# 1028| 0: Unknown literal
# 1028| Type = int
# 1028| ValueCategory = prvalue
# 1028| body: { ... }
# 1028| 0: return ...
# 1028| void (void Lambda(int, String const&))::(lambda [] type at line 1028, col. 32)::(constructor)()
# 1028| params:
# 1028| char (void Lambda(int, String const&))::(lambda [] type at line 1028, col. 32)::operator()(float) const
# 1028| params:
# 1028| 0: f
# 1028| Type = float
# 1028| body: { ... }
# 1028| 0: return ...
# 1028| 0: access to array
# 1028| Type = char
# 1028| ValueCategory = prvalue(load)
# 1028| 0: call to c_str
# 1028| Type = const char *
# 1028| ValueCategory = prvalue
# 1028| -1: (reference dereference)
# 1028| Type = const String
# 1028| ValueCategory = lvalue
#-----| expr: s
#-----| Type = const String &
#-----| ValueCategory = prvalue(load)
#-----| -1: this
#-----| Type = const lambda [] type at line 1028, col. 32 *
#-----| ValueCategory = prvalue(load)
#-----| 1: x
#-----| Type = int
#-----| ValueCategory = prvalue(load)
#-----| -1: this
#-----| Type = const lambda [] type at line 1028, col. 32 *
#-----| ValueCategory = prvalue(load)
# 1031| (void Lambda(int, String const&))::(lambda [] type at line 1031, col. 23)& (void Lambda(int, String const&))::(lambda [] type at line 1031, col. 23)::operator=((void Lambda(int, String const&))::(lambda [] type at line 1031, col. 23) const&)
# 1031| params:
#-----| 0: p#0
#-----| Type = const lambda [] type at line 1031, col. 23 &
# 1031| void (void Lambda(int, String const&))::(lambda [] type at line 1031, col. 23)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1031, col. 23) const&)
# 1031| params:
#-----| 0: p#0
#-----| Type = const lambda [] type at line 1031, col. 23 &
# 1031| void (void Lambda(int, String const&))::(lambda [] type at line 1031, col. 23)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1031, col. 23)&&)
# 1031| params:
#-----| 0: p#0
#-----| Type = lambda [] type at line 1031, col. 23 &&
# 1031| initializations:
# 1031| 0: constructor init of field s
# 1031| Type = const String &
# 1031| ValueCategory = prvalue
# 1031| 0: Unknown literal
# 1031| Type = const String &
# 1031| ValueCategory = prvalue
# 1031| 1: constructor init of field x
# 1031| Type = int
# 1031| ValueCategory = prvalue
# 1031| 0: Unknown literal
# 1031| Type = int
# 1031| ValueCategory = prvalue
# 1031| 2: constructor init of field i
# 1031| Type = int
# 1031| ValueCategory = prvalue
# 1031| 0: Unknown literal
# 1031| Type = int
# 1031| ValueCategory = prvalue
# 1031| 3: constructor init of field j
# 1031| Type = int &
# 1031| ValueCategory = prvalue
# 1031| 0: Unknown literal
# 1031| Type = int &
# 1031| ValueCategory = prvalue
# 1031| body: { ... }
# 1031| 0: return ...
# 1031| void (void Lambda(int, String const&))::(lambda [] type at line 1031, col. 23)::(constructor)()
# 1031| params:
# 1031| char (void Lambda(int, String const&))::(lambda [] type at line 1031, col. 23)::operator()(float) const
# 1031| params:
# 1031| 0: f
# 1031| Type = float
# 1031| body: { ... }
# 1031| 0: return ...
# 1031| 0: access to array
# 1031| Type = char
# 1031| ValueCategory = prvalue(load)
# 1031| 0: call to c_str
# 1031| Type = const char *
# 1031| ValueCategory = prvalue
# 1031| -1: (reference dereference)
# 1031| Type = const String
# 1031| ValueCategory = lvalue
#-----| expr: s
#-----| Type = const String &
#-----| ValueCategory = prvalue(load)
#-----| -1: this
#-----| Type = const lambda [] type at line 1031, col. 23 *
#-----| ValueCategory = prvalue(load)
# 1031| 1: ... - ...
# 1031| Type = int
# 1031| ValueCategory = prvalue
# 1031| 0: ... + ...
# 1031| Type = int
# 1031| ValueCategory = prvalue
#-----| 0: x
#-----| Type = int
#-----| ValueCategory = prvalue(load)
#-----| -1: this
#-----| Type = const lambda [] type at line 1031, col. 23 *
#-----| ValueCategory = prvalue(load)
# 1031| 1: i
# 1031| Type = int
# 1031| ValueCategory = prvalue(load)
#-----| -1: this
#-----| Type = const lambda [] type at line 1031, col. 23 *
#-----| ValueCategory = prvalue(load)
# 1031| 1: (reference dereference)
# 1031| Type = int
# 1031| ValueCategory = prvalue(load)
# 1031| expr: j
# 1031| Type = int &
# 1031| ValueCategory = prvalue(load)
#-----| -1: this
#-----| Type = const lambda [] type at line 1031, col. 23 *
#-----| ValueCategory = prvalue(load)

22
cpp/ql/test/library-tests/ir/ir/ir.cpp
View File

@@ -1025,6 +1025,28 @@ void Lambda(int x, const String& s) {
lambda_ref_explicit(3);
auto lambda_val_explicit = [s](float f) { return s.c_str()[0]; };
lambda_val_explicit(4);
auto lambda_mixed_explicit = [&s, x](float f) { return s.c_str()[x]; };
lambda_mixed_explicit(5);
int r = x - 1;
auto lambda_inits = [&s, x, i = x + 1, &j = r](float f) { return s.c_str()[x + i - j]; };
lambda_inits(6);
}
/*
Explicit capture of `this` requires possible extractor fixes.
struct LambdaContainer {
int x;
void LambdaMember(const String& s) {
auto lambda_implicit_this = [=](float f) { return s.c_str()[x]; };
lambda_implicit_this(1);
auto lambda_explicit_this_byref = [this, &s](float f) { return s.c_str()[x]; };
lambda_explicit_this_byref(2);
auto lambda_explicit_this_bycopy = [*this, &s](float f) { return s.c_str()[x]; };
lambda_explicit_this_bycopy(3);
}
};
*/
// semmle-extractor-options: -std=c++17

290
cpp/ql/test/library-tests/ir/ir/raw_ir.expected
View File

@@ -4419,94 +4419,147 @@ ir.cpp:
# 1017| void Lambda(int, String const&)
# 1017| Block 0
# 1017| v0_0(void) = EnterFunction :
# 1017| mu0_1(unknown) = AliasedDefinition :
# 1017| mu0_2(unknown) = UnmodeledDefinition :
# 1017| r0_3(glval<int>) = VariableAddress[x] :
# 1017| mu0_4(int) = InitializeParameter[x] : r0_3
# 1017| r0_5(glval<String &>) = VariableAddress[s] :
# 1017| mu0_6(String &) = InitializeParameter[s] : r0_5
# 1018| r0_7(glval<decltype([...](...){...})>) = VariableAddress[lambda_empty] :
# 1018| r0_8(glval<decltype([...](...){...})>) = VariableAddress[#temp1018:23] :
# 1018| mu0_9(decltype([...](...){...})) = Uninitialized[#temp1018:23] : r0_8
# 1018| r0_10(decltype([...](...){...})) = Load : r0_8, mu0_2
# 1018| mu0_11(decltype([...](...){...})) = Store : r0_7, r0_10
# 1019| r0_12(char) = Constant[65] :
# 1020| r0_13(glval<decltype([...](...){...})>) = VariableAddress[lambda_ref] :
# 1020| r0_14(glval<decltype([...](...){...})>) = VariableAddress[#temp1020:21] :
# 1020| mu0_15(decltype([...](...){...})) = Uninitialized[#temp1020:21] : r0_14
# 1020| r0_16(glval<String &>) = FieldAddress[s] : r0_14
#-----| r0_17(glval<String &>) = VariableAddress[s] :
#-----| r0_18(String &) = Load : r0_17, mu0_2
# 1020| mu0_19(String &) = Store : r0_16, r0_18
# 1020| r0_20(glval<int &>) = FieldAddress[x] : r0_14
#-----| r0_21(glval<int>) = VariableAddress[x] :
#-----| mu0_22(int &) = Store : r0_20, r0_21
# 1020| r0_23(decltype([...](...){...})) = Load : r0_14, mu0_2
# 1020| mu0_24(decltype([...](...){...})) = Store : r0_13, r0_23
# 1021| r0_25(glval<decltype([...](...){...})>) = VariableAddress[lambda_ref] :
# 1021| r0_26(glval<decltype([...](...){...})>) = Convert : r0_25
# 1021| r0_27(glval<unknown>) = FunctionAddress[operator()] :
# 1021| r0_28(float) = Constant[1.0] :
# 1021| r0_29(char) = Call : r0_27, this:r0_26, r0_28
# 1021| mu0_30(unknown) = ^CallSideEffect : mu0_2
# 1022| r0_31(glval<decltype([...](...){...})>) = VariableAddress[lambda_val] :
# 1022| r0_32(glval<unknown>) = FunctionAddress[(constructor)] :
# 1022| r0_33(glval<decltype([...](...){...})>) = VariableAddress[#temp1022:21] :
# 1022| mu0_34(decltype([...](...){...})) = Uninitialized[#temp1022:21] : r0_33
# 1022| r0_35(glval<String>) = FieldAddress[s] : r0_33
#-----| r0_36(glval<unknown>) = FunctionAddress[String] :
#-----| v0_37(void) = Call : r0_36, this:r0_35
#-----| mu0_38(unknown) = ^CallSideEffect : mu0_2
# 1022| r0_39(glval<int>) = FieldAddress[x] : r0_33
#-----| r0_40(glval<int>) = VariableAddress[x] :
#-----| r0_41(int) = Load : r0_40, mu0_2
#-----| mu0_42(int) = Store : r0_39, r0_41
# 1022| r0_43(decltype([...](...){...})) = Load : r0_33, mu0_2
# 1022| v0_44(void) = Call : r0_32, this:r0_31, r0_43
# 1022| mu0_45(unknown) = ^CallSideEffect : mu0_2
# 1023| r0_46(glval<decltype([...](...){...})>) = VariableAddress[lambda_val] :
# 1023| r0_47(glval<decltype([...](...){...})>) = Convert : r0_46
# 1023| r0_48(glval<unknown>) = FunctionAddress[operator()] :
# 1023| r0_49(float) = Constant[2.0] :
# 1023| r0_50(char) = Call : r0_48, this:r0_47, r0_49
# 1023| mu0_51(unknown) = ^CallSideEffect : mu0_2
# 1024| r0_52(glval<decltype([...](...){...})>) = VariableAddress[lambda_ref_explicit] :
# 1024| r0_53(glval<decltype([...](...){...})>) = VariableAddress[#temp1024:30] :
# 1024| mu0_54(decltype([...](...){...})) = Uninitialized[#temp1024:30] : r0_53
# 1024| r0_55(glval<String &>) = FieldAddress[s] : r0_53
# 1024| r0_56(glval<String &>) = VariableAddress[s] :
# 1024| r0_57(String &) = Load : r0_56, mu0_2
# 1024| mu0_58(String &) = Store : r0_55, r0_57
# 1024| r0_59(decltype([...](...){...})) = Load : r0_53, mu0_2
# 1024| mu0_60(decltype([...](...){...})) = Store : r0_52, r0_59
# 1025| r0_61(glval<decltype([...](...){...})>) = VariableAddress[lambda_ref_explicit] :
# 1025| r0_62(glval<decltype([...](...){...})>) = Convert : r0_61
# 1025| r0_63(glval<unknown>) = FunctionAddress[operator()] :
# 1025| r0_64(float) = Constant[3.0] :
# 1025| r0_65(char) = Call : r0_63, this:r0_62, r0_64
# 1025| mu0_66(unknown) = ^CallSideEffect : mu0_2
# 1026| r0_67(glval<decltype([...](...){...})>) = VariableAddress[lambda_val_explicit] :
# 1026| r0_68(glval<unknown>) = FunctionAddress[(constructor)] :
# 1026| r0_69(glval<decltype([...](...){...})>) = VariableAddress[#temp1026:30] :
# 1026| mu0_70(decltype([...](...){...})) = Uninitialized[#temp1026:30] : r0_69
# 1026| r0_71(glval<String>) = FieldAddress[s] : r0_69
#-----| r0_72(glval<unknown>) = FunctionAddress[String] :
#-----| v0_73(void) = Call : r0_72, this:r0_71
#-----| mu0_74(unknown) = ^CallSideEffect : mu0_2
# 1026| r0_75(decltype([...](...){...})) = Load : r0_69, mu0_2
# 1026| v0_76(void) = Call : r0_68, this:r0_67, r0_75
# 1026| mu0_77(unknown) = ^CallSideEffect : mu0_2
# 1027| r0_78(glval<decltype([...](...){...})>) = VariableAddress[lambda_val_explicit] :
# 1027| r0_79(glval<decltype([...](...){...})>) = Convert : r0_78
# 1027| r0_80(glval<unknown>) = FunctionAddress[operator()] :
# 1027| r0_81(float) = Constant[4.0] :
# 1027| r0_82(char) = Call : r0_80, this:r0_79, r0_81
# 1027| mu0_83(unknown) = ^CallSideEffect : mu0_2
# 1028| v0_84(void) = NoOp :
# 1017| v0_85(void) = ReturnVoid :
# 1017| v0_86(void) = UnmodeledUse : mu*
# 1017| v0_87(void) = ExitFunction :
# 1017| v0_0(void) = EnterFunction :
# 1017| mu0_1(unknown) = AliasedDefinition :
# 1017| mu0_2(unknown) = UnmodeledDefinition :
# 1017| r0_3(glval<int>) = VariableAddress[x] :
# 1017| mu0_4(int) = InitializeParameter[x] : r0_3
# 1017| r0_5(glval<String &>) = VariableAddress[s] :
# 1017| mu0_6(String &) = InitializeParameter[s] : r0_5
# 1018| r0_7(glval<decltype([...](...){...})>) = VariableAddress[lambda_empty] :
# 1018| r0_8(glval<decltype([...](...){...})>) = VariableAddress[#temp1018:23] :
# 1018| mu0_9(decltype([...](...){...})) = Uninitialized[#temp1018:23] : r0_8
# 1018| r0_10(decltype([...](...){...})) = Load : r0_8, mu0_2
# 1018| mu0_11(decltype([...](...){...})) = Store : r0_7, r0_10
# 1019| r0_12(char) = Constant[65] :
# 1020| r0_13(glval<decltype([...](...){...})>) = VariableAddress[lambda_ref] :
# 1020| r0_14(glval<decltype([...](...){...})>) = VariableAddress[#temp1020:21] :
# 1020| mu0_15(decltype([...](...){...})) = Uninitialized[#temp1020:21] : r0_14
# 1020| r0_16(glval<String &>) = FieldAddress[s] : r0_14
#-----| r0_17(glval<String &>) = VariableAddress[s] :
#-----| r0_18(String &) = Load : r0_17, mu0_2
# 1020| mu0_19(String &) = Store : r0_16, r0_18
# 1020| r0_20(glval<int &>) = FieldAddress[x] : r0_14
#-----| r0_21(glval<int>) = VariableAddress[x] :
#-----| mu0_22(int &) = Store : r0_20, r0_21
# 1020| r0_23(decltype([...](...){...})) = Load : r0_14, mu0_2
# 1020| mu0_24(decltype([...](...){...})) = Store : r0_13, r0_23
# 1021| r0_25(glval<decltype([...](...){...})>) = VariableAddress[lambda_ref] :
# 1021| r0_26(glval<decltype([...](...){...})>) = Convert : r0_25
# 1021| r0_27(glval<unknown>) = FunctionAddress[operator()] :
# 1021| r0_28(float) = Constant[1.0] :
# 1021| r0_29(char) = Call : r0_27, this:r0_26, r0_28
# 1021| mu0_30(unknown) = ^CallSideEffect : mu0_2
# 1022| r0_31(glval<decltype([...](...){...})>) = VariableAddress[lambda_val] :
# 1022| r0_32(glval<unknown>) = FunctionAddress[(constructor)] :
# 1022| r0_33(glval<decltype([...](...){...})>) = VariableAddress[#temp1022:21] :
# 1022| mu0_34(decltype([...](...){...})) = Uninitialized[#temp1022:21] : r0_33
# 1022| r0_35(glval<String>) = FieldAddress[s] : r0_33
#-----| r0_36(glval<unknown>) = FunctionAddress[String] :
#-----| v0_37(void) = Call : r0_36, this:r0_35
#-----| mu0_38(unknown) = ^CallSideEffect : mu0_2
# 1022| r0_39(glval<int>) = FieldAddress[x] : r0_33
#-----| r0_40(glval<int>) = VariableAddress[x] :
#-----| r0_41(int) = Load : r0_40, mu0_2
#-----| mu0_42(int) = Store : r0_39, r0_41
# 1022| r0_43(decltype([...](...){...})) = Load : r0_33, mu0_2
# 1022| v0_44(void) = Call : r0_32, this:r0_31, r0_43
# 1022| mu0_45(unknown) = ^CallSideEffect : mu0_2
# 1023| r0_46(glval<decltype([...](...){...})>) = VariableAddress[lambda_val] :
# 1023| r0_47(glval<decltype([...](...){...})>) = Convert : r0_46
# 1023| r0_48(glval<unknown>) = FunctionAddress[operator()] :
# 1023| r0_49(float) = Constant[2.0] :
# 1023| r0_50(char) = Call : r0_48, this:r0_47, r0_49
# 1023| mu0_51(unknown) = ^CallSideEffect : mu0_2
# 1024| r0_52(glval<decltype([...](...){...})>) = VariableAddress[lambda_ref_explicit] :
# 1024| r0_53(glval<decltype([...](...){...})>) = VariableAddress[#temp1024:30] :
# 1024| mu0_54(decltype([...](...){...})) = Uninitialized[#temp1024:30] : r0_53
# 1024| r0_55(glval<String &>) = FieldAddress[s] : r0_53
# 1024| r0_56(glval<String &>) = VariableAddress[s] :
# 1024| r0_57(String &) = Load : r0_56, mu0_2
# 1024| mu0_58(String &) = Store : r0_55, r0_57
# 1024| r0_59(decltype([...](...){...})) = Load : r0_53, mu0_2
# 1024| mu0_60(decltype([...](...){...})) = Store : r0_52, r0_59
# 1025| r0_61(glval<decltype([...](...){...})>) = VariableAddress[lambda_ref_explicit] :
# 1025| r0_62(glval<decltype([...](...){...})>) = Convert : r0_61
# 1025| r0_63(glval<unknown>) = FunctionAddress[operator()] :
# 1025| r0_64(float) = Constant[3.0] :
# 1025| r0_65(char) = Call : r0_63, this:r0_62, r0_64
# 1025| mu0_66(unknown) = ^CallSideEffect : mu0_2
# 1026| r0_67(glval<decltype([...](...){...})>) = VariableAddress[lambda_val_explicit] :
# 1026| r0_68(glval<unknown>) = FunctionAddress[(constructor)] :
# 1026| r0_69(glval<decltype([...](...){...})>) = VariableAddress[#temp1026:30] :
# 1026| mu0_70(decltype([...](...){...})) = Uninitialized[#temp1026:30] : r0_69
# 1026| r0_71(glval<String>) = FieldAddress[s] : r0_69
#-----| r0_72(glval<unknown>) = FunctionAddress[String] :
#-----| v0_73(void) = Call : r0_72, this:r0_71
#-----| mu0_74(unknown) = ^CallSideEffect : mu0_2
# 1026| r0_75(decltype([...](...){...})) = Load : r0_69, mu0_2
# 1026| v0_76(void) = Call : r0_68, this:r0_67, r0_75
# 1026| mu0_77(unknown) = ^CallSideEffect : mu0_2
# 1027| r0_78(glval<decltype([...](...){...})>) = VariableAddress[lambda_val_explicit] :
# 1027| r0_79(glval<decltype([...](...){...})>) = Convert : r0_78
# 1027| r0_80(glval<unknown>) = FunctionAddress[operator()] :
# 1027| r0_81(float) = Constant[4.0] :
# 1027| r0_82(char) = Call : r0_80, this:r0_79, r0_81
# 1027| mu0_83(unknown) = ^CallSideEffect : mu0_2
# 1028| r0_84(glval<decltype([...](...){...})>) = VariableAddress[lambda_mixed_explicit] :
# 1028| r0_85(glval<decltype([...](...){...})>) = VariableAddress[#temp1028:32] :
# 1028| mu0_86(decltype([...](...){...})) = Uninitialized[#temp1028:32] : r0_85
# 1028| r0_87(glval<String &>) = FieldAddress[s] : r0_85
# 1028| r0_88(glval<String &>) = VariableAddress[s] :
# 1028| r0_89(String &) = Load : r0_88, mu0_2
# 1028| mu0_90(String &) = Store : r0_87, r0_89
# 1028| r0_91(glval<int>) = FieldAddress[x] : r0_85
# 1028| r0_92(glval<int>) = VariableAddress[x] :
# 1028| r0_93(int) = Load : r0_92, mu0_2
# 1028| mu0_94(int) = Store : r0_91, r0_93
# 1028| r0_95(decltype([...](...){...})) = Load : r0_85, mu0_2
# 1028| mu0_96(decltype([...](...){...})) = Store : r0_84, r0_95
# 1029| r0_97(glval<decltype([...](...){...})>) = VariableAddress[lambda_mixed_explicit] :
# 1029| r0_98(glval<decltype([...](...){...})>) = Convert : r0_97
# 1029| r0_99(glval<unknown>) = FunctionAddress[operator()] :
# 1029| r0_100(float) = Constant[5.0] :
# 1029| r0_101(char) = Call : r0_99, this:r0_98, r0_100
# 1029| mu0_102(unknown) = ^CallSideEffect : mu0_2
# 1030| r0_103(glval<int>) = VariableAddress[r] :
# 1030| r0_104(glval<int>) = VariableAddress[x] :
# 1030| r0_105(int) = Load : r0_104, mu0_2
# 1030| r0_106(int) = Constant[1] :
# 1030| r0_107(int) = Sub : r0_105, r0_106
# 1030| mu0_108(int) = Store : r0_103, r0_107
# 1031| r0_109(glval<decltype([...](...){...})>) = VariableAddress[lambda_inits] :
# 1031| r0_110(glval<decltype([...](...){...})>) = VariableAddress[#temp1031:23] :
# 1031| mu0_111(decltype([...](...){...})) = Uninitialized[#temp1031:23] : r0_110
# 1031| r0_112(glval<String &>) = FieldAddress[s] : r0_110
# 1031| r0_113(glval<String &>) = VariableAddress[s] :
# 1031| r0_114(String &) = Load : r0_113, mu0_2
# 1031| mu0_115(String &) = Store : r0_112, r0_114
# 1031| r0_116(glval<int>) = FieldAddress[x] : r0_110
# 1031| r0_117(glval<int>) = VariableAddress[x] :
# 1031| r0_118(int) = Load : r0_117, mu0_2
# 1031| mu0_119(int) = Store : r0_116, r0_118
# 1031| r0_120(glval<int>) = FieldAddress[i] : r0_110
# 1031| r0_121(glval<int>) = VariableAddress[x] :
# 1031| r0_122(int) = Load : r0_121, mu0_2
# 1031| r0_123(int) = Constant[1] :
# 1031| r0_124(int) = Add : r0_122, r0_123
# 1031| mu0_125(int) = Store : r0_120, r0_124
# 1031| r0_126(glval<int &>) = FieldAddress[j] : r0_110
# 1031| r0_127(glval<int>) = VariableAddress[r] :
# 1031| mu0_128(int &) = Store : r0_126, r0_127
# 1031| r0_129(decltype([...](...){...})) = Load : r0_110, mu0_2
# 1031| mu0_130(decltype([...](...){...})) = Store : r0_109, r0_129
# 1032| r0_131(glval<decltype([...](...){...})>) = VariableAddress[lambda_inits] :
# 1032| r0_132(glval<decltype([...](...){...})>) = Convert : r0_131
# 1032| r0_133(glval<unknown>) = FunctionAddress[operator()] :
# 1032| r0_134(float) = Constant[6.0] :
# 1032| r0_135(char) = Call : r0_133, this:r0_132, r0_134
# 1032| mu0_136(unknown) = ^CallSideEffect : mu0_2
# 1033| v0_137(void) = NoOp :
# 1017| v0_138(void) = ReturnVoid :
# 1017| v0_139(void) = UnmodeledUse : mu*
# 1017| v0_140(void) = ExitFunction :
# 1018| void (void Lambda(int, String const&))::(lambda [] type at line 1018, col. 23)::(constructor)((void Lambda(int, String const&))::(lambda [] type at line 1018, col. 23)&&)
# 1018| Block 0
@@ -4696,3 +4749,64 @@ ir.cpp:
# 1026| v0_17(void) = ReturnValue : r0_16, mu0_2
# 1026| v0_18(void) = UnmodeledUse : mu*
# 1026| v0_19(void) = ExitFunction :
# 1028| char (void Lambda(int, String const&))::(lambda [] type at line 1028, col. 32)::operator()(float) const
# 1028| Block 0
# 1028| v0_0(void) = EnterFunction :
# 1028| mu0_1(unknown) = AliasedDefinition :
# 1028| mu0_2(unknown) = UnmodeledDefinition :
# 1028| r0_3(glval<decltype([...](...){...})>) = InitializeThis :
# 1028| r0_4(glval<float>) = VariableAddress[f] :
# 1028| mu0_5(float) = InitializeParameter[f] : r0_4
# 1028| r0_6(glval<char>) = VariableAddress[#return] :
#-----| r0_7(lambda [] type at line 1028, col. 32 *) = CopyValue : r0_3
#-----| r0_8(glval<String &>) = FieldAddress[s] : r0_7
#-----| r0_9(String &) = Load : r0_8, mu0_2
# 1028| r0_10(glval<unknown>) = FunctionAddress[c_str] :
# 1028| r0_11(char *) = Call : r0_10, this:r0_9
# 1028| mu0_12(unknown) = ^CallSideEffect : mu0_2
#-----| r0_13(lambda [] type at line 1028, col. 32 *) = CopyValue : r0_3
#-----| r0_14(glval<int>) = FieldAddress[x] : r0_13
#-----| r0_15(int) = Load : r0_14, mu0_2
# 1028| r0_16(char *) = PointerAdd[1] : r0_11, r0_15
# 1028| r0_17(char) = Load : r0_16, mu0_2
# 1028| mu0_18(char) = Store : r0_6, r0_17
# 1028| r0_19(glval<char>) = VariableAddress[#return] :
# 1028| v0_20(void) = ReturnValue : r0_19, mu0_2
# 1028| v0_21(void) = UnmodeledUse : mu*
# 1028| v0_22(void) = ExitFunction :
# 1031| char (void Lambda(int, String const&))::(lambda [] type at line 1031, col. 23)::operator()(float) const
# 1031| Block 0
# 1031| v0_0(void) = EnterFunction :
# 1031| mu0_1(unknown) = AliasedDefinition :
# 1031| mu0_2(unknown) = UnmodeledDefinition :
# 1031| r0_3(glval<decltype([...](...){...})>) = InitializeThis :
# 1031| r0_4(glval<float>) = VariableAddress[f] :
# 1031| mu0_5(float) = InitializeParameter[f] : r0_4
# 1031| r0_6(glval<char>) = VariableAddress[#return] :
#-----| r0_7(lambda [] type at line 1031, col. 23 *) = CopyValue : r0_3
#-----| r0_8(glval<String &>) = FieldAddress[s] : r0_7
#-----| r0_9(String &) = Load : r0_8, mu0_2
# 1031| r0_10(glval<unknown>) = FunctionAddress[c_str] :
# 1031| r0_11(char *) = Call : r0_10, this:r0_9
# 1031| mu0_12(unknown) = ^CallSideEffect : mu0_2
#-----| r0_13(lambda [] type at line 1031, col. 23 *) = CopyValue : r0_3
#-----| r0_14(glval<int>) = FieldAddress[x] : r0_13
#-----| r0_15(int) = Load : r0_14, mu0_2
#-----| r0_16(lambda [] type at line 1031, col. 23 *) = CopyValue : r0_3
# 1031| r0_17(glval<int>) = FieldAddress[i] : r0_16
# 1031| r0_18(int) = Load : r0_17, mu0_2
# 1031| r0_19(int) = Add : r0_15, r0_18
#-----| r0_20(lambda [] type at line 1031, col. 23 *) = CopyValue : r0_3
# 1031| r0_21(glval<int &>) = FieldAddress[j] : r0_20
# 1031| r0_22(int &) = Load : r0_21, mu0_2
# 1031| r0_23(int) = Load : r0_22, mu0_2
# 1031| r0_24(int) = Sub : r0_19, r0_23
# 1031| r0_25(char *) = PointerAdd[1] : r0_11, r0_24
# 1031| r0_26(char) = Load : r0_25, mu0_2
# 1031| mu0_27(char) = Store : r0_6, r0_26
# 1031| r0_28(glval<char>) = VariableAddress[#return] :
# 1031| v0_29(void) = ReturnValue : r0_28, mu0_2
# 1031| v0_30(void) = UnmodeledUse : mu*
# 1031| v0_31(void) = ExitFunction :