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

C++: Update test expectations after StmtExpr changes

Browse Source
This commit is contained in:
Dave Bartolomeo
2019-04-09 10:48:47 -07:00
parent 95a62beb7a
commit ff12ed145e
1 changed files with 121 additions and 121 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -4373,16 +4373,16 @@ ir.cpp:
# 991| mu0_1(unknown) = AliasedDefinition :
# 991| mu0_2(unknown) = UnmodeledDefinition :
# 991| r0_3(glval<int>) = VariableAddress[b] :
# 991| mu0_4(int) = InitializeParameter[b] : r0_3
# 991| mu0_4(int) = InitializeParameter[b] : &:r0_3
# 991| r0_5(glval<int>) = VariableAddress[y] :
# 991| mu0_6(int) = InitializeParameter[y] : r0_5
# 991| mu0_6(int) = InitializeParameter[y] : &:r0_5
# 991| r0_7(glval<int>) = VariableAddress[z] :
# 991| mu0_8(int) = InitializeParameter[z] : r0_7
# 991| mu0_8(int) = InitializeParameter[z] : &:r0_7
# 992| r0_9(glval<int>) = VariableAddress[x] :
# 993| r0_10(glval<int>) = VariableAddress[w] :
# 993| mu0_11(int) = Uninitialized[w] : r0_10
# 993| mu0_11(int) = Uninitialized[w] : &:r0_10
# 994| r0_12(glval<int>) = VariableAddress[b] :
# 994| r0_13(int) = Load : r0_12, mu0_2
# 994| r0_13(int) = Load : &:r0_12, mu0_2
# 994| r0_14(int) = Constant[0] :
# 994| r0_15(bool) = CompareNE : r0_13, r0_14
# 994| v0_16(void) = ConditionalBranch : r0_15
@@ -4391,30 +4391,30 @@ ir.cpp:
# 995| Block 1
# 995| r1_0(glval<int>) = VariableAddress[y] :
# 995| r1_1(int) = Load : r1_0, mu0_2
# 995| r1_1(int) = Load : &:r1_0, mu0_2
# 995| r1_2(glval<int>) = VariableAddress[w] :
# 995| mu1_3(int) = Store : r1_2, r1_1
# 995| mu1_3(int) = Store : &:r1_2, r1_1
#-----| Goto -> Block 3
# 997| Block 2
# 997| r2_0(glval<int>) = VariableAddress[z] :
# 997| r2_1(int) = Load : r2_0, mu0_2
# 997| r2_1(int) = Load : &:r2_0, mu0_2
# 997| r2_2(glval<int>) = VariableAddress[w] :
# 997| mu2_3(int) = Store : r2_2, r2_1
# 997| mu2_3(int) = Store : &:r2_2, r2_1
#-----| Goto -> Block 3
# 999| Block 3
# 999| r3_0(glval<int>) = VariableAddress[w] :
# 999| r3_1(int) = Load : r3_0, mu0_2
# 999| r3_1(int) = Load : &:r3_0, mu0_2
# 992| r3_2(int) = CopyValue : r3_1
# 992| mu3_3(int) = Store : r0_9, r3_2
# 992| mu3_3(int) = Store : &:r0_9, r3_2
# 1002| r3_4(glval<int>) = VariableAddress[#return] :
# 1002| r3_5(glval<int>) = VariableAddress[x] :
# 1002| r3_6(int) = Load : r3_5, mu0_2
# 1002| r3_6(int) = Load : &:r3_5, mu0_2
# 1002| r3_7(int) = CopyValue : r3_6
# 1002| mu3_8(int) = Store : r3_4, r3_7
# 1002| mu3_8(int) = Store : &:r3_4, r3_7
# 991| r3_9(glval<int>) = VariableAddress[#return] :
# 991| v3_10(void) = ReturnValue : r3_9, mu0_2
# 991| v3_10(void) = ReturnValue : &:r3_9, mu0_2
# 991| v3_11(void) = UnmodeledUse : mu*
# 991| v3_12(void) = ExitFunction :
@@ -4424,7 +4424,7 @@ ir.cpp:
# 1025| mu0_1(unknown) = AliasedDefinition :
# 1025| mu0_2(unknown) = UnmodeledDefinition :
# 1026| r0_3(glval<EmptyStruct>) = VariableAddress[s] :
# 1026| mu0_4(EmptyStruct) = Uninitialized[s] : r0_3
# 1026| mu0_4(EmptyStruct) = Uninitialized[s] : &:r0_3
# 1027| v0_5(void) = NoOp :
# 1025| v0_6(void) = ReturnVoid :
# 1025| v0_7(void) = UnmodeledUse : mu*
@@ -4437,7 +4437,7 @@ ir.cpp:
# 1029| mu0_2(unknown) = UnmodeledDefinition :
# 1029| r0_3(glval<decltype([...](...){...})>) = InitializeThis :
#-----| r0_4(glval<lambda [] type at line 1029, col. 12 &&>) = VariableAddress[p#0] :
#-----| mu0_5(lambda [] type at line 1029, col. 12 &&) = InitializeParameter[p#0] : r0_4
#-----| mu0_5(lambda [] type at line 1029, col. 12 &&) = InitializeParameter[p#0] : &:r0_4
# 1029| v0_6(void) = NoOp :
# 1029| v0_7(void) = ReturnVoid :
# 1029| v0_8(void) = UnmodeledUse : mu*
@@ -4462,9 +4462,9 @@ ir.cpp:
# 1029| r0_3(glval<decltype([...](...){...})>) = InitializeThis :
# 1029| r0_4(glval<..(*)(..)>) = VariableAddress[#return] :
# 1029| r0_5(glval<..(*)(..)>) = FunctionAddress[_FUN] :
# 1029| mu0_6(..(*)(..)) = Store : r0_4, r0_5
# 1029| mu0_6(..(*)(..)) = Store : &:r0_4, r0_5
# 1029| r0_7(glval<..(*)(..)>) = VariableAddress[#return] :
# 1029| v0_8(void) = ReturnValue : r0_7, mu0_2
# 1029| v0_8(void) = ReturnValue : &:r0_7, mu0_2
# 1029| v0_9(void) = UnmodeledUse : mu*
# 1029| v0_10(void) = ExitFunction :
@@ -4474,138 +4474,138 @@ ir.cpp:
# 1031| mu0_1(unknown) = AliasedDefinition :
# 1031| mu0_2(unknown) = UnmodeledDefinition :
# 1031| r0_3(glval<int>) = VariableAddress[x] :
# 1031| mu0_4(int) = InitializeParameter[x] : r0_3
# 1031| mu0_4(int) = InitializeParameter[x] : &:r0_3
# 1031| r0_5(glval<String &>) = VariableAddress[s] :
# 1031| mu0_6(String &) = InitializeParameter[s] : r0_5
# 1031| mu0_6(String &) = InitializeParameter[s] : &:r0_5
# 1032| r0_7(glval<decltype([...](...){...})>) = VariableAddress[lambda_empty] :
# 1032| r0_8(glval<decltype([...](...){...})>) = VariableAddress[#temp1032:23] :
# 1032| mu0_9(decltype([...](...){...})) = Uninitialized[#temp1032:23] : r0_8
# 1032| r0_10(decltype([...](...){...})) = Load : r0_8, mu0_2
# 1032| mu0_11(decltype([...](...){...})) = Store : r0_7, r0_10
# 1032| mu0_9(decltype([...](...){...})) = Uninitialized[#temp1032:23] : &:r0_8
# 1032| r0_10(decltype([...](...){...})) = Load : &:r0_8, mu0_2
# 1032| mu0_11(decltype([...](...){...})) = Store : &:r0_7, r0_10
# 1033| r0_12(char) = Constant[65] :
# 1034| r0_13(glval<decltype([...](...){...})>) = VariableAddress[lambda_ref] :
# 1034| r0_14(glval<decltype([...](...){...})>) = VariableAddress[#temp1034:21] :
# 1034| mu0_15(decltype([...](...){...})) = Uninitialized[#temp1034:21] : r0_14
# 1034| mu0_15(decltype([...](...){...})) = Uninitialized[#temp1034:21] : &:r0_14
# 1034| r0_16(glval<String &>) = FieldAddress[s] : r0_14
#-----| r0_17(glval<String &>) = VariableAddress[s] :
#-----| r0_18(String &) = Load : r0_17, mu0_2
# 1034| mu0_19(String &) = Store : r0_16, r0_18
#-----| r0_18(String &) = Load : &:r0_17, mu0_2
# 1034| mu0_19(String &) = Store : &:r0_16, r0_18
# 1034| r0_20(glval<int &>) = FieldAddress[x] : r0_14
#-----| r0_21(glval<int>) = VariableAddress[x] :
#-----| mu0_22(int &) = Store : r0_20, r0_21
# 1034| r0_23(decltype([...](...){...})) = Load : r0_14, mu0_2
# 1034| mu0_24(decltype([...](...){...})) = Store : r0_13, r0_23
#-----| mu0_22(int &) = Store : &:r0_20, r0_21
# 1034| r0_23(decltype([...](...){...})) = Load : &:r0_14, mu0_2
# 1034| mu0_24(decltype([...](...){...})) = Store : &:r0_13, r0_23
# 1035| r0_25(glval<decltype([...](...){...})>) = VariableAddress[lambda_ref] :
# 1035| r0_26(glval<decltype([...](...){...})>) = Convert : r0_25
# 1035| r0_27(glval<unknown>) = FunctionAddress[operator()] :
# 1035| r0_28(float) = Constant[1.0] :
# 1035| r0_29(char) = Call : r0_27, this:r0_26, r0_28
# 1035| r0_29(char) = Call : func:r0_27, this:r0_26, 0:r0_28
# 1035| mu0_30(unknown) = ^CallSideEffect : mu0_2
# 1036| r0_31(glval<decltype([...](...){...})>) = VariableAddress[lambda_val] :
# 1036| r0_32(glval<unknown>) = FunctionAddress[(constructor)] :
# 1036| r0_33(glval<decltype([...](...){...})>) = VariableAddress[#temp1036:21] :
# 1036| mu0_34(decltype([...](...){...})) = Uninitialized[#temp1036:21] : r0_33
# 1036| mu0_34(decltype([...](...){...})) = Uninitialized[#temp1036:21] : &:r0_33
# 1036| r0_35(glval<String>) = FieldAddress[s] : r0_33
#-----| r0_36(glval<unknown>) = FunctionAddress[String] :
#-----| v0_37(void) = Call : r0_36, this:r0_35
#-----| v0_37(void) = Call : func:r0_36, this:r0_35
#-----| mu0_38(unknown) = ^CallSideEffect : mu0_2
# 1036| 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
# 1036| r0_43(decltype([...](...){...})) = Load : r0_33, mu0_2
# 1036| v0_44(void) = Call : r0_32, this:r0_31, r0_43
#-----| r0_41(int) = Load : &:r0_40, mu0_2
#-----| mu0_42(int) = Store : &:r0_39, r0_41
# 1036| r0_43(decltype([...](...){...})) = Load : &:r0_33, mu0_2
# 1036| v0_44(void) = Call : func:r0_32, this:r0_31, 0:r0_43
# 1036| mu0_45(unknown) = ^CallSideEffect : mu0_2
# 1037| r0_46(glval<decltype([...](...){...})>) = VariableAddress[lambda_val] :
# 1037| r0_47(glval<decltype([...](...){...})>) = Convert : r0_46
# 1037| r0_48(glval<unknown>) = FunctionAddress[operator()] :
# 1037| r0_49(float) = Constant[2.0] :
# 1037| r0_50(char) = Call : r0_48, this:r0_47, r0_49
# 1037| r0_50(char) = Call : func:r0_48, this:r0_47, 0:r0_49
# 1037| mu0_51(unknown) = ^CallSideEffect : mu0_2
# 1038| r0_52(glval<decltype([...](...){...})>) = VariableAddress[lambda_ref_explicit] :
# 1038| r0_53(glval<decltype([...](...){...})>) = VariableAddress[#temp1038:30] :
# 1038| mu0_54(decltype([...](...){...})) = Uninitialized[#temp1038:30] : r0_53
# 1038| mu0_54(decltype([...](...){...})) = Uninitialized[#temp1038:30] : &:r0_53
# 1038| r0_55(glval<String &>) = FieldAddress[s] : r0_53
# 1038| r0_56(glval<String &>) = VariableAddress[s] :
# 1038| r0_57(String &) = Load : r0_56, mu0_2
# 1038| mu0_58(String &) = Store : r0_55, r0_57
# 1038| r0_59(decltype([...](...){...})) = Load : r0_53, mu0_2
# 1038| mu0_60(decltype([...](...){...})) = Store : r0_52, r0_59
# 1038| r0_57(String &) = Load : &:r0_56, mu0_2
# 1038| mu0_58(String &) = Store : &:r0_55, r0_57
# 1038| r0_59(decltype([...](...){...})) = Load : &:r0_53, mu0_2
# 1038| mu0_60(decltype([...](...){...})) = Store : &:r0_52, r0_59
# 1039| r0_61(glval<decltype([...](...){...})>) = VariableAddress[lambda_ref_explicit] :
# 1039| r0_62(glval<decltype([...](...){...})>) = Convert : r0_61
# 1039| r0_63(glval<unknown>) = FunctionAddress[operator()] :
# 1039| r0_64(float) = Constant[3.0] :
# 1039| r0_65(char) = Call : r0_63, this:r0_62, r0_64
# 1039| r0_65(char) = Call : func:r0_63, this:r0_62, 0:r0_64
# 1039| mu0_66(unknown) = ^CallSideEffect : mu0_2
# 1040| r0_67(glval<decltype([...](...){...})>) = VariableAddress[lambda_val_explicit] :
# 1040| r0_68(glval<unknown>) = FunctionAddress[(constructor)] :
# 1040| r0_69(glval<decltype([...](...){...})>) = VariableAddress[#temp1040:30] :
# 1040| mu0_70(decltype([...](...){...})) = Uninitialized[#temp1040:30] : r0_69
# 1040| mu0_70(decltype([...](...){...})) = Uninitialized[#temp1040:30] : &:r0_69
# 1040| r0_71(glval<String>) = FieldAddress[s] : r0_69
#-----| r0_72(glval<unknown>) = FunctionAddress[String] :
#-----| v0_73(void) = Call : r0_72, this:r0_71
#-----| v0_73(void) = Call : func:r0_72, this:r0_71
#-----| mu0_74(unknown) = ^CallSideEffect : mu0_2
# 1040| r0_75(decltype([...](...){...})) = Load : r0_69, mu0_2
# 1040| v0_76(void) = Call : r0_68, this:r0_67, r0_75
# 1040| r0_75(decltype([...](...){...})) = Load : &:r0_69, mu0_2
# 1040| v0_76(void) = Call : func:r0_68, this:r0_67, 0:r0_75
# 1040| mu0_77(unknown) = ^CallSideEffect : mu0_2
# 1041| r0_78(glval<decltype([...](...){...})>) = VariableAddress[lambda_val_explicit] :
# 1041| r0_79(glval<decltype([...](...){...})>) = Convert : r0_78
# 1041| r0_80(glval<unknown>) = FunctionAddress[operator()] :
# 1041| r0_81(float) = Constant[4.0] :
# 1041| r0_82(char) = Call : r0_80, this:r0_79, r0_81
# 1041| r0_82(char) = Call : func:r0_80, this:r0_79, 0:r0_81
# 1041| mu0_83(unknown) = ^CallSideEffect : mu0_2
# 1042| r0_84(glval<decltype([...](...){...})>) = VariableAddress[lambda_mixed_explicit] :
# 1042| r0_85(glval<decltype([...](...){...})>) = VariableAddress[#temp1042:32] :
# 1042| mu0_86(decltype([...](...){...})) = Uninitialized[#temp1042:32] : r0_85
# 1042| mu0_86(decltype([...](...){...})) = Uninitialized[#temp1042:32] : &:r0_85
# 1042| r0_87(glval<String &>) = FieldAddress[s] : r0_85
# 1042| r0_88(glval<String &>) = VariableAddress[s] :
# 1042| r0_89(String &) = Load : r0_88, mu0_2
# 1042| mu0_90(String &) = Store : r0_87, r0_89
# 1042| r0_89(String &) = Load : &:r0_88, mu0_2
# 1042| mu0_90(String &) = Store : &:r0_87, r0_89
# 1042| r0_91(glval<int>) = FieldAddress[x] : r0_85
# 1042| r0_92(glval<int>) = VariableAddress[x] :
# 1042| r0_93(int) = Load : r0_92, mu0_2
# 1042| mu0_94(int) = Store : r0_91, r0_93
# 1042| r0_95(decltype([...](...){...})) = Load : r0_85, mu0_2
# 1042| mu0_96(decltype([...](...){...})) = Store : r0_84, r0_95
# 1042| r0_93(int) = Load : &:r0_92, mu0_2
# 1042| mu0_94(int) = Store : &:r0_91, r0_93
# 1042| r0_95(decltype([...](...){...})) = Load : &:r0_85, mu0_2
# 1042| mu0_96(decltype([...](...){...})) = Store : &:r0_84, r0_95
# 1043| r0_97(glval<decltype([...](...){...})>) = VariableAddress[lambda_mixed_explicit] :
# 1043| r0_98(glval<decltype([...](...){...})>) = Convert : r0_97
# 1043| r0_99(glval<unknown>) = FunctionAddress[operator()] :
# 1043| r0_100(float) = Constant[5.0] :
# 1043| r0_101(char) = Call : r0_99, this:r0_98, r0_100
# 1043| r0_101(char) = Call : func:r0_99, this:r0_98, 0:r0_100
# 1043| mu0_102(unknown) = ^CallSideEffect : mu0_2
# 1044| r0_103(glval<int>) = VariableAddress[r] :
# 1044| r0_104(glval<int>) = VariableAddress[x] :
# 1044| r0_105(int) = Load : r0_104, mu0_2
# 1044| r0_105(int) = Load : &:r0_104, mu0_2
# 1044| r0_106(int) = Constant[1] :
# 1044| r0_107(int) = Sub : r0_105, r0_106
# 1044| mu0_108(int) = Store : r0_103, r0_107
# 1044| mu0_108(int) = Store : &:r0_103, r0_107
# 1045| r0_109(glval<decltype([...](...){...})>) = VariableAddress[lambda_inits] :
# 1045| r0_110(glval<decltype([...](...){...})>) = VariableAddress[#temp1045:23] :
# 1045| mu0_111(decltype([...](...){...})) = Uninitialized[#temp1045:23] : r0_110
# 1045| mu0_111(decltype([...](...){...})) = Uninitialized[#temp1045:23] : &:r0_110
# 1045| r0_112(glval<String &>) = FieldAddress[s] : r0_110
# 1045| r0_113(glval<String &>) = VariableAddress[s] :
# 1045| r0_114(String &) = Load : r0_113, mu0_2
# 1045| mu0_115(String &) = Store : r0_112, r0_114
# 1045| r0_114(String &) = Load : &:r0_113, mu0_2
# 1045| mu0_115(String &) = Store : &:r0_112, r0_114
# 1045| r0_116(glval<int>) = FieldAddress[x] : r0_110
# 1045| r0_117(glval<int>) = VariableAddress[x] :
# 1045| r0_118(int) = Load : r0_117, mu0_2
# 1045| mu0_119(int) = Store : r0_116, r0_118
# 1045| r0_118(int) = Load : &:r0_117, mu0_2
# 1045| mu0_119(int) = Store : &:r0_116, r0_118
# 1045| r0_120(glval<int>) = FieldAddress[i] : r0_110
# 1045| r0_121(glval<int>) = VariableAddress[x] :
# 1045| r0_122(int) = Load : r0_121, mu0_2
# 1045| r0_122(int) = Load : &:r0_121, mu0_2
# 1045| r0_123(int) = Constant[1] :
# 1045| r0_124(int) = Add : r0_122, r0_123
# 1045| mu0_125(int) = Store : r0_120, r0_124
# 1045| mu0_125(int) = Store : &:r0_120, r0_124
# 1045| r0_126(glval<int &>) = FieldAddress[j] : r0_110
# 1045| r0_127(glval<int>) = VariableAddress[r] :
# 1045| mu0_128(int &) = Store : r0_126, r0_127
# 1045| r0_129(decltype([...](...){...})) = Load : r0_110, mu0_2
# 1045| mu0_130(decltype([...](...){...})) = Store : r0_109, r0_129
# 1045| mu0_128(int &) = Store : &:r0_126, r0_127
# 1045| r0_129(decltype([...](...){...})) = Load : &:r0_110, mu0_2
# 1045| mu0_130(decltype([...](...){...})) = Store : &:r0_109, r0_129
# 1046| r0_131(glval<decltype([...](...){...})>) = VariableAddress[lambda_inits] :
# 1046| r0_132(glval<decltype([...](...){...})>) = Convert : r0_131
# 1046| r0_133(glval<unknown>) = FunctionAddress[operator()] :
# 1046| r0_134(float) = Constant[6.0] :
# 1046| r0_135(char) = Call : r0_133, this:r0_132, r0_134
# 1046| r0_135(char) = Call : func:r0_133, this:r0_132, 0:r0_134
# 1046| mu0_136(unknown) = ^CallSideEffect : mu0_2
# 1047| v0_137(void) = NoOp :
# 1031| v0_138(void) = ReturnVoid :
@@ -4619,7 +4619,7 @@ ir.cpp:
# 1032| mu0_2(unknown) = UnmodeledDefinition :
# 1032| r0_3(glval<decltype([...](...){...})>) = InitializeThis :
#-----| r0_4(glval<lambda [] type at line 1032, col. 23 &&>) = VariableAddress[p#0] :
#-----| mu0_5(lambda [] type at line 1032, col. 23 &&) = InitializeParameter[p#0] : r0_4
#-----| mu0_5(lambda [] type at line 1032, col. 23 &&) = InitializeParameter[p#0] : &:r0_4
# 1032| v0_6(void) = NoOp :
# 1032| v0_7(void) = ReturnVoid :
# 1032| v0_8(void) = UnmodeledUse : mu*
@@ -4632,12 +4632,12 @@ ir.cpp:
# 1032| mu0_2(unknown) = UnmodeledDefinition :
# 1032| r0_3(glval<decltype([...](...){...})>) = InitializeThis :
# 1032| r0_4(glval<float>) = VariableAddress[f] :
# 1032| mu0_5(float) = InitializeParameter[f] : r0_4
# 1032| mu0_5(float) = InitializeParameter[f] : &:r0_4
# 1032| r0_6(glval<char>) = VariableAddress[#return] :
# 1032| r0_7(char) = Constant[65] :
# 1032| mu0_8(char) = Store : r0_6, r0_7
# 1032| mu0_8(char) = Store : &:r0_6, r0_7
# 1032| r0_9(glval<char>) = VariableAddress[#return] :
# 1032| v0_10(void) = ReturnValue : r0_9, mu0_2
# 1032| v0_10(void) = ReturnValue : &:r0_9, mu0_2
# 1032| v0_11(void) = UnmodeledUse : mu*
# 1032| v0_12(void) = ExitFunction :
@@ -4649,9 +4649,9 @@ ir.cpp:
# 1032| r0_3(glval<decltype([...](...){...})>) = InitializeThis :
# 1032| r0_4(glval<..(*)(..)>) = VariableAddress[#return] :
# 1032| r0_5(glval<..(*)(..)>) = FunctionAddress[_FUN] :
# 1032| mu0_6(..(*)(..)) = Store : r0_4, r0_5
# 1032| mu0_6(..(*)(..)) = Store : &:r0_4, r0_5
# 1032| r0_7(glval<..(*)(..)>) = VariableAddress[#return] :
# 1032| v0_8(void) = ReturnValue : r0_7, mu0_2
# 1032| v0_8(void) = ReturnValue : &:r0_7, mu0_2
# 1032| v0_9(void) = UnmodeledUse : mu*
# 1032| v0_10(void) = ExitFunction :
@@ -4662,23 +4662,23 @@ ir.cpp:
# 1034| mu0_2(unknown) = UnmodeledDefinition :
# 1034| r0_3(glval<decltype([...](...){...})>) = InitializeThis :
# 1034| r0_4(glval<float>) = VariableAddress[f] :
# 1034| mu0_5(float) = InitializeParameter[f] : r0_4
# 1034| mu0_5(float) = InitializeParameter[f] : &:r0_4
# 1034| r0_6(glval<char>) = VariableAddress[#return] :
#-----| r0_7(lambda [] type at line 1034, col. 21 *) = CopyValue : r0_3
#-----| r0_8(glval<String &>) = FieldAddress[s] : r0_7
#-----| r0_9(String &) = Load : r0_8, mu0_2
#-----| r0_9(String &) = Load : &:r0_8, mu0_2
# 1034| r0_10(glval<unknown>) = FunctionAddress[c_str] :
# 1034| r0_11(char *) = Call : r0_10, this:r0_9
# 1034| r0_11(char *) = Call : func:r0_10, this:r0_9
# 1034| mu0_12(unknown) = ^CallSideEffect : mu0_2
#-----| r0_13(lambda [] type at line 1034, col. 21 *) = CopyValue : r0_3
#-----| r0_14(glval<int &>) = FieldAddress[x] : r0_13
#-----| r0_15(int &) = Load : r0_14, mu0_2
# 1034| r0_16(int) = Load : r0_15, mu0_2
#-----| r0_15(int &) = Load : &:r0_14, mu0_2
# 1034| r0_16(int) = Load : &:r0_15, mu0_2
# 1034| r0_17(char *) = PointerAdd[1] : r0_11, r0_16
# 1034| r0_18(char) = Load : r0_17, mu0_2
# 1034| mu0_19(char) = Store : r0_6, r0_18
# 1034| r0_18(char) = Load : &:r0_17, mu0_2
# 1034| mu0_19(char) = Store : &:r0_6, r0_18
# 1034| r0_20(glval<char>) = VariableAddress[#return] :
# 1034| v0_21(void) = ReturnValue : r0_20, mu0_2
# 1034| v0_21(void) = ReturnValue : &:r0_20, mu0_2
# 1034| v0_22(void) = UnmodeledUse : mu*
# 1034| v0_23(void) = ExitFunction :
@@ -4691,7 +4691,7 @@ ir.cpp:
#-----| v0_4(void) = NoOp :
# 1036| r0_5(glval<String>) = FieldAddress[s] : r0_3
# 1036| r0_6(glval<unknown>) = FunctionAddress[~String] :
# 1036| v0_7(void) = Call : r0_6, this:r0_5
# 1036| v0_7(void) = Call : func:r0_6, this:r0_5
# 1036| mu0_8(unknown) = ^CallSideEffect : mu0_2
# 1036| v0_9(void) = ReturnVoid :
# 1036| v0_10(void) = UnmodeledUse : mu*
@@ -4704,21 +4704,21 @@ ir.cpp:
# 1036| mu0_2(unknown) = UnmodeledDefinition :
# 1036| r0_3(glval<decltype([...](...){...})>) = InitializeThis :
# 1036| r0_4(glval<float>) = VariableAddress[f] :
# 1036| mu0_5(float) = InitializeParameter[f] : r0_4
# 1036| mu0_5(float) = InitializeParameter[f] : &:r0_4
# 1036| r0_6(glval<char>) = VariableAddress[#return] :
#-----| r0_7(lambda [] type at line 1036, col. 21 *) = CopyValue : r0_3
#-----| r0_8(glval<String>) = FieldAddress[s] : r0_7
# 1036| r0_9(glval<unknown>) = FunctionAddress[c_str] :
# 1036| r0_10(char *) = Call : r0_9, this:r0_8
# 1036| r0_10(char *) = Call : func:r0_9, this:r0_8
# 1036| mu0_11(unknown) = ^CallSideEffect : mu0_2
#-----| r0_12(lambda [] type at line 1036, col. 21 *) = CopyValue : r0_3
#-----| r0_13(glval<int>) = FieldAddress[x] : r0_12
#-----| r0_14(int) = Load : r0_13, mu0_2
#-----| r0_14(int) = Load : &:r0_13, mu0_2
# 1036| r0_15(char *) = PointerAdd[1] : r0_10, r0_14
# 1036| r0_16(char) = Load : r0_15, mu0_2
# 1036| mu0_17(char) = Store : r0_6, r0_16
# 1036| r0_16(char) = Load : &:r0_15, mu0_2
# 1036| mu0_17(char) = Store : &:r0_6, r0_16
# 1036| r0_18(glval<char>) = VariableAddress[#return] :
# 1036| v0_19(void) = ReturnValue : r0_18, mu0_2
# 1036| v0_19(void) = ReturnValue : &:r0_18, mu0_2
# 1036| v0_20(void) = UnmodeledUse : mu*
# 1036| v0_21(void) = ExitFunction :
@@ -4729,20 +4729,20 @@ ir.cpp:
# 1038| mu0_2(unknown) = UnmodeledDefinition :
# 1038| r0_3(glval<decltype([...](...){...})>) = InitializeThis :
# 1038| r0_4(glval<float>) = VariableAddress[f] :
# 1038| mu0_5(float) = InitializeParameter[f] : r0_4
# 1038| mu0_5(float) = InitializeParameter[f] : &:r0_4
# 1038| r0_6(glval<char>) = VariableAddress[#return] :
#-----| r0_7(lambda [] type at line 1038, col. 30 *) = CopyValue : r0_3
#-----| r0_8(glval<String &>) = FieldAddress[s] : r0_7
#-----| r0_9(String &) = Load : r0_8, mu0_2
#-----| r0_9(String &) = Load : &:r0_8, mu0_2
# 1038| r0_10(glval<unknown>) = FunctionAddress[c_str] :
# 1038| r0_11(char *) = Call : r0_10, this:r0_9
# 1038| r0_11(char *) = Call : func:r0_10, this:r0_9
# 1038| mu0_12(unknown) = ^CallSideEffect : mu0_2
# 1038| r0_13(int) = Constant[0] :
# 1038| r0_14(char *) = PointerAdd[1] : r0_11, r0_13
# 1038| r0_15(char) = Load : r0_14, mu0_2
# 1038| mu0_16(char) = Store : r0_6, r0_15
# 1038| r0_15(char) = Load : &:r0_14, mu0_2
# 1038| mu0_16(char) = Store : &:r0_6, r0_15
# 1038| r0_17(glval<char>) = VariableAddress[#return] :
# 1038| v0_18(void) = ReturnValue : r0_17, mu0_2
# 1038| v0_18(void) = ReturnValue : &:r0_17, mu0_2
# 1038| v0_19(void) = UnmodeledUse : mu*
# 1038| v0_20(void) = ExitFunction :
@@ -4753,10 +4753,10 @@ ir.cpp:
# 1040| mu0_2(unknown) = UnmodeledDefinition :
# 1040| r0_3(glval<decltype([...](...){...})>) = InitializeThis :
#-----| r0_4(glval<lambda [] type at line 1040, col. 30 &&>) = VariableAddress[p#0] :
#-----| mu0_5(lambda [] type at line 1040, col. 30 &&) = InitializeParameter[p#0] : r0_4
#-----| mu0_5(lambda [] type at line 1040, col. 30 &&) = InitializeParameter[p#0] : &:r0_4
# 1040| r0_6(glval<String>) = FieldAddress[s] : r0_3
# 1040| r0_7(glval<unknown>) = FunctionAddress[String] :
# 1040| v0_8(void) = Call : r0_7, this:r0_6
# 1040| v0_8(void) = Call : func:r0_7, this:r0_6
# 1040| mu0_9(unknown) = ^CallSideEffect : mu0_2
# 1040| v0_10(void) = NoOp :
# 1040| v0_11(void) = ReturnVoid :
@@ -4772,7 +4772,7 @@ ir.cpp:
#-----| v0_4(void) = NoOp :
# 1040| r0_5(glval<String>) = FieldAddress[s] : r0_3
# 1040| r0_6(glval<unknown>) = FunctionAddress[~String] :
# 1040| v0_7(void) = Call : r0_6, this:r0_5
# 1040| v0_7(void) = Call : func:r0_6, this:r0_5
# 1040| mu0_8(unknown) = ^CallSideEffect : mu0_2
# 1040| v0_9(void) = ReturnVoid :
# 1040| v0_10(void) = UnmodeledUse : mu*
@@ -4785,19 +4785,19 @@ ir.cpp:
# 1040| mu0_2(unknown) = UnmodeledDefinition :
# 1040| r0_3(glval<decltype([...](...){...})>) = InitializeThis :
# 1040| r0_4(glval<float>) = VariableAddress[f] :
# 1040| mu0_5(float) = InitializeParameter[f] : r0_4
# 1040| mu0_5(float) = InitializeParameter[f] : &:r0_4
# 1040| r0_6(glval<char>) = VariableAddress[#return] :
#-----| r0_7(lambda [] type at line 1040, col. 30 *) = CopyValue : r0_3
#-----| r0_8(glval<String>) = FieldAddress[s] : r0_7
# 1040| r0_9(glval<unknown>) = FunctionAddress[c_str] :
# 1040| r0_10(char *) = Call : r0_9, this:r0_8
# 1040| r0_10(char *) = Call : func:r0_9, this:r0_8
# 1040| mu0_11(unknown) = ^CallSideEffect : mu0_2
# 1040| r0_12(int) = Constant[0] :
# 1040| r0_13(char *) = PointerAdd[1] : r0_10, r0_12
# 1040| r0_14(char) = Load : r0_13, mu0_2
# 1040| mu0_15(char) = Store : r0_6, r0_14
# 1040| r0_14(char) = Load : &:r0_13, mu0_2
# 1040| mu0_15(char) = Store : &:r0_6, r0_14
# 1040| r0_16(glval<char>) = VariableAddress[#return] :
# 1040| v0_17(void) = ReturnValue : r0_16, mu0_2
# 1040| v0_17(void) = ReturnValue : &:r0_16, mu0_2
# 1040| v0_18(void) = UnmodeledUse : mu*
# 1040| v0_19(void) = ExitFunction :
@@ -4808,22 +4808,22 @@ ir.cpp:
# 1042| mu0_2(unknown) = UnmodeledDefinition :
# 1042| r0_3(glval<decltype([...](...){...})>) = InitializeThis :
# 1042| r0_4(glval<float>) = VariableAddress[f] :
# 1042| mu0_5(float) = InitializeParameter[f] : r0_4
# 1042| mu0_5(float) = InitializeParameter[f] : &:r0_4
# 1042| r0_6(glval<char>) = VariableAddress[#return] :
#-----| r0_7(lambda [] type at line 1042, col. 32 *) = CopyValue : r0_3
#-----| r0_8(glval<String &>) = FieldAddress[s] : r0_7
#-----| r0_9(String &) = Load : r0_8, mu0_2
#-----| r0_9(String &) = Load : &:r0_8, mu0_2
# 1042| r0_10(glval<unknown>) = FunctionAddress[c_str] :
# 1042| r0_11(char *) = Call : r0_10, this:r0_9
# 1042| r0_11(char *) = Call : func:r0_10, this:r0_9
# 1042| mu0_12(unknown) = ^CallSideEffect : mu0_2
#-----| r0_13(lambda [] type at line 1042, col. 32 *) = CopyValue : r0_3
#-----| r0_14(glval<int>) = FieldAddress[x] : r0_13
#-----| r0_15(int) = Load : r0_14, mu0_2
#-----| r0_15(int) = Load : &:r0_14, mu0_2
# 1042| r0_16(char *) = PointerAdd[1] : r0_11, r0_15
# 1042| r0_17(char) = Load : r0_16, mu0_2
# 1042| mu0_18(char) = Store : r0_6, r0_17
# 1042| r0_17(char) = Load : &:r0_16, mu0_2
# 1042| mu0_18(char) = Store : &:r0_6, r0_17
# 1042| r0_19(glval<char>) = VariableAddress[#return] :
# 1042| v0_20(void) = ReturnValue : r0_19, mu0_2
# 1042| v0_20(void) = ReturnValue : &:r0_19, mu0_2
# 1042| v0_21(void) = UnmodeledUse : mu*
# 1042| v0_22(void) = ExitFunction :
@@ -4834,30 +4834,30 @@ ir.cpp:
# 1045| mu0_2(unknown) = UnmodeledDefinition :
# 1045| r0_3(glval<decltype([...](...){...})>) = InitializeThis :
# 1045| r0_4(glval<float>) = VariableAddress[f] :
# 1045| mu0_5(float) = InitializeParameter[f] : r0_4
# 1045| mu0_5(float) = InitializeParameter[f] : &:r0_4
# 1045| r0_6(glval<char>) = VariableAddress[#return] :
#-----| r0_7(lambda [] type at line 1045, col. 23 *) = CopyValue : r0_3
#-----| r0_8(glval<String &>) = FieldAddress[s] : r0_7
#-----| r0_9(String &) = Load : r0_8, mu0_2
#-----| r0_9(String &) = Load : &:r0_8, mu0_2
# 1045| r0_10(glval<unknown>) = FunctionAddress[c_str] :
# 1045| r0_11(char *) = Call : r0_10, this:r0_9
# 1045| r0_11(char *) = Call : func:r0_10, this:r0_9
# 1045| mu0_12(unknown) = ^CallSideEffect : mu0_2
#-----| r0_13(lambda [] type at line 1045, col. 23 *) = CopyValue : r0_3
#-----| r0_14(glval<int>) = FieldAddress[x] : r0_13
#-----| r0_15(int) = Load : r0_14, mu0_2
#-----| r0_15(int) = Load : &:r0_14, mu0_2
#-----| r0_16(lambda [] type at line 1045, col. 23 *) = CopyValue : r0_3
# 1045| r0_17(glval<int>) = FieldAddress[i] : r0_16
# 1045| r0_18(int) = Load : r0_17, mu0_2
# 1045| r0_18(int) = Load : &:r0_17, mu0_2
# 1045| r0_19(int) = Add : r0_15, r0_18
#-----| r0_20(lambda [] type at line 1045, col. 23 *) = CopyValue : r0_3
# 1045| r0_21(glval<int &>) = FieldAddress[j] : r0_20
# 1045| r0_22(int &) = Load : r0_21, mu0_2
# 1045| r0_23(int) = Load : r0_22, mu0_2
# 1045| r0_22(int &) = Load : &:r0_21, mu0_2
# 1045| r0_23(int) = Load : &:r0_22, mu0_2
# 1045| r0_24(int) = Sub : r0_19, r0_23
# 1045| r0_25(char *) = PointerAdd[1] : r0_11, r0_24
# 1045| r0_26(char) = Load : r0_25, mu0_2
# 1045| mu0_27(char) = Store : r0_6, r0_26
# 1045| r0_26(char) = Load : &:r0_25, mu0_2
# 1045| mu0_27(char) = Store : &:r0_6, r0_26
# 1045| r0_28(glval<char>) = VariableAddress[#return] :
# 1045| v0_29(void) = ReturnValue : r0_28, mu0_2
# 1045| v0_29(void) = ReturnValue : &:r0_28, mu0_2
# 1045| v0_30(void) = UnmodeledUse : mu*
# 1045| v0_31(void) = ExitFunction :