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

C++: accept test changes from extractor fixes

Browse Source
This commit is contained in:
Robert Marsh
2024-02-22 16:44:19 +00:00
parent 875ab74c28
commit ebe6ee5257
12 changed files with 1767 additions and 944 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -9478,8 +9478,12 @@ ir.cpp:
# 1068| <params>:
# 1068| getParameter(0): [Parameter] (unnamed parameter 0)
# 1068| Type = [IntType] int
# 1069| [Destructor] void vector<ClassWithDestructor>::~vector()
# 1069| <params>:
# 1069| [Destructor] void vector<T>::~vector()
# 1069| <params>:
# 1069| [Destructor] void vector<int>::~vector()
# 1069| <params>:
# 1070| [ConstMemberFunction] vector<ClassWithDestructor>::iterator vector<ClassWithDestructor>::begin() const
# 1070| <params>:
# 1070| [ConstMemberFunction] vector<String>::iterator vector<String>::begin() const
@@ -9515,7 +9519,43 @@ ir.cpp:
# 1079| getEntryPoint(): [BlockStmt] { ... }
# 1080| getStmt(0): [RangeBasedForStmt] for(...:...) ...
# 1080| getChild(1): [DeclStmt] declaration
# 1080| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (__range)
# 1080| Type = [LValueReferenceType] const vector<int> &
#-----| getVariable().getInitializer(): [Initializer] initializer for (__range)
# 1080| getExpr(): [VariableAccess] v
# 1080| Type = [LValueReferenceType] const vector<int> &
# 1080| ValueCategory = prvalue(load)
# 1080| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1080| Type = [LValueReferenceType] const vector<int> &
# 1080| ValueCategory = prvalue
# 1080| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1080| Type = [SpecifiedType] const vector<int>
# 1080| ValueCategory = lvalue
# 1080| getBeginEndDeclaration(): [DeclStmt] declaration
# 1080| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (__begin)
# 1080| Type = [NestedStruct] iterator
#-----| getVariable().getInitializer(): [Initializer] initializer for (__begin)
# 1080| getExpr(): [FunctionCall] call to begin
# 1080| Type = [NestedStruct] iterator
# 1080| ValueCategory = prvalue
# 1080| getQualifier(): [VariableAccess] (__range)
# 1080| Type = [LValueReferenceType] const vector<int> &
# 1080| ValueCategory = prvalue(load)
#-----| getQualifier().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [SpecifiedType] const vector<int>
#-----| ValueCategory = lvalue
# 1080| getDeclarationEntry(1): [VariableDeclarationEntry] declaration of (__end)
# 1080| Type = [NestedStruct] iterator
#-----| getVariable().getInitializer(): [Initializer] initializer for (__end)
# 1080| getExpr(): [FunctionCall] call to end
# 1080| Type = [NestedStruct] iterator
# 1080| ValueCategory = prvalue
# 1080| getQualifier(): [VariableAccess] (__range)
# 1080| Type = [LValueReferenceType] const vector<int> &
# 1080| ValueCategory = prvalue(load)
#-----| getQualifier().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [SpecifiedType] const vector<int>
#-----| ValueCategory = lvalue
# 1080| getCondition(): [FunctionCall] call to operator!=
# 1080| Type = [BoolType] bool
# 1080| ValueCategory = prvalue
@@ -9536,6 +9576,22 @@ ir.cpp:
# 1080| Type = [NestedStruct] iterator
# 1080| ValueCategory = lvalue
# 1080| getChild(5): [DeclStmt] declaration
# 1080| getDeclarationEntry(0): [VariableDeclarationEntry] definition of e
# 1080| Type = [IntType] int
# 1080| getVariable().getInitializer(): [Initializer] initializer for e
# 1080| getExpr(): [OverloadedPointerDereferenceExpr] call to operator*
# 1080| Type = [LValueReferenceType] int &
# 1080| ValueCategory = prvalue
# 1080| getQualifier(): [VariableAccess] (__begin)
# 1080| Type = [NestedStruct] iterator
# 1080| ValueCategory = lvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const iterator)...
#-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const iterator
#-----| ValueCategory = lvalue
# 1080| getExpr().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 1080| Type = [IntType] int
# 1080| ValueCategory = prvalue(load)
# 1080| getStmt(): [BlockStmt] { ... }
# 1081| getStmt(0): [IfStmt] if (...) ...
# 1081| getCondition(): [GTExpr] ... > ...
@@ -9556,7 +9612,43 @@ ir.cpp:
# 1080| ValueCategory = lvalue
# 1086| getStmt(1): [RangeBasedForStmt] for(...:...) ...
# 1086| getChild(1): [DeclStmt] declaration
# 1086| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (__range)
# 1086| Type = [LValueReferenceType] const vector<int> &
#-----| getVariable().getInitializer(): [Initializer] initializer for (__range)
# 1086| getExpr(): [VariableAccess] v
# 1086| Type = [LValueReferenceType] const vector<int> &
# 1086| ValueCategory = prvalue(load)
# 1086| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1086| Type = [LValueReferenceType] const vector<int> &
# 1086| ValueCategory = prvalue
# 1086| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1086| Type = [SpecifiedType] const vector<int>
# 1086| ValueCategory = lvalue
# 1086| getBeginEndDeclaration(): [DeclStmt] declaration
# 1086| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (__begin)
# 1086| Type = [NestedStruct] iterator
#-----| getVariable().getInitializer(): [Initializer] initializer for (__begin)
# 1086| getExpr(): [FunctionCall] call to begin
# 1086| Type = [NestedStruct] iterator
# 1086| ValueCategory = prvalue
# 1086| getQualifier(): [VariableAccess] (__range)
# 1086| Type = [LValueReferenceType] const vector<int> &
# 1086| ValueCategory = prvalue(load)
#-----| getQualifier().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [SpecifiedType] const vector<int>
#-----| ValueCategory = lvalue
# 1086| getDeclarationEntry(1): [VariableDeclarationEntry] declaration of (__end)
# 1086| Type = [NestedStruct] iterator
#-----| getVariable().getInitializer(): [Initializer] initializer for (__end)
# 1086| getExpr(): [FunctionCall] call to end
# 1086| Type = [NestedStruct] iterator
# 1086| ValueCategory = prvalue
# 1086| getQualifier(): [VariableAccess] (__range)
# 1086| Type = [LValueReferenceType] const vector<int> &
# 1086| ValueCategory = prvalue(load)
#-----| getQualifier().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [SpecifiedType] const vector<int>
#-----| ValueCategory = lvalue
# 1086| getCondition(): [FunctionCall] call to operator!=
# 1086| Type = [BoolType] bool
# 1086| ValueCategory = prvalue
@@ -9577,6 +9669,29 @@ ir.cpp:
# 1086| Type = [NestedStruct] iterator
# 1086| ValueCategory = lvalue
# 1086| getChild(5): [DeclStmt] declaration
# 1086| getDeclarationEntry(0): [VariableDeclarationEntry] definition of e
# 1086| Type = [LValueReferenceType] const int &
# 1086| getVariable().getInitializer(): [Initializer] initializer for e
# 1086| getExpr(): [OverloadedPointerDereferenceExpr] call to operator*
# 1086| Type = [LValueReferenceType] int &
# 1086| ValueCategory = prvalue
# 1086| getQualifier(): [VariableAccess] (__begin)
# 1086| Type = [NestedStruct] iterator
# 1086| ValueCategory = lvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const iterator)...
#-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const iterator
#-----| ValueCategory = lvalue
# 1086| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 1086| Type = [LValueReferenceType] const int &
# 1086| ValueCategory = prvalue
# 1086| getExpr(): [CStyleCast] (const int)...
# 1086| Conversion = [GlvalueConversion] glvalue conversion
# 1086| Type = [SpecifiedType] const int
# 1086| ValueCategory = lvalue
# 1086| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 1086| Type = [IntType] int
# 1086| ValueCategory = lvalue
# 1086| getStmt(): [BlockStmt] { ... }
# 1087| getStmt(0): [IfStmt] if (...) ...
# 1087| getCondition(): [LTExpr] ... < ...
@@ -10325,24 +10440,6 @@ ir.cpp:
# 1245| Type = [PointerType] const char *
# 1245| ValueCategory = prvalue(load)
# 1246| getStmt(3): [ReturnStmt] return ...
# 1246| getImplicitDestructorCall(0): [DestructorCall] call to ~String
# 1246| Type = [VoidType] void
# 1246| ValueCategory = prvalue
# 1246| getQualifier(): [VariableAccess] c
# 1246| Type = [Struct] String
# 1246| ValueCategory = lvalue
# 1246| getImplicitDestructorCall(1): [DestructorCall] call to ~String
# 1246| Type = [VoidType] void
# 1246| ValueCategory = prvalue
# 1246| getQualifier(): [VariableAccess] b
# 1246| Type = [Struct] String
# 1246| ValueCategory = lvalue
# 1246| getImplicitDestructorCall(2): [DestructorCall] call to ~String
# 1246| Type = [VoidType] void
# 1246| ValueCategory = prvalue
# 1246| getQualifier(): [VariableAccess] a
# 1246| Type = [Struct] String
# 1246| ValueCategory = lvalue
# 1250| [TopLevelFunction] char* strcpy(char*, char const*)
# 1250| <params>:
# 1250| getParameter(0): [Parameter] destination
@@ -16386,6 +16483,12 @@ ir.cpp:
# 2142| Type = [PlainCharType] char
# 2142| Value = [CharLiteral] 97
# 2142| ValueCategory = prvalue
# 2142| getImplicitDestructorCall(0): [DestructorCall] call to ~ClassWithDestructor
# 2142| Type = [VoidType] void
# 2142| ValueCategory = prvalue
# 2142| getQualifier(): [VariableAccess] x
# 2142| Type = [Class] ClassWithDestructor
# 2142| ValueCategory = lvalue
# 2144| getStmt(2): [SwitchStmt] switch (...) ...
# 2144| getInitialization(): [DeclStmt] declaration
# 2144| getDeclarationEntry(0): [VariableDeclarationEntry] definition of x
@@ -16452,8 +16555,62 @@ ir.cpp:
# 2153| Type = [VoidType] void
# 2153| ValueCategory = prvalue
# 2154| getStmt(5): [RangeBasedForStmt] for(...:...) ...
# 2154| getInitialization(): [DeclStmt] declaration
# 2154| getDeclarationEntry(0): [VariableDeclarationEntry] definition of ys
# 2154| Type = [ClassTemplateInstantiation,Struct] vector<ClassWithDestructor>
# 2154| getVariable().getInitializer(): [Initializer] initializer for ys
# 2154| getExpr(): [ConstructorCall] call to vector
# 2154| Type = [VoidType] void
# 2154| ValueCategory = prvalue
# 2154| getArgument(0): [VariableAccess] x
# 2154| Type = [Class] ClassWithDestructor
# 2154| ValueCategory = prvalue(load)
# 2154| getArgument(0).getFullyConverted(): [TemporaryObjectExpr] temporary object
# 2154| Type = [Class] ClassWithDestructor
# 2154| ValueCategory = lvalue
# 2154| getChild(1): [DeclStmt] declaration
# 2154| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (__range)
# 2154| Type = [LValueReferenceType] vector<ClassWithDestructor> &
#-----| getVariable().getInitializer(): [Initializer] initializer for (__range)
# 2154| getExpr(): [VariableAccess] ys
# 2154| Type = [ClassTemplateInstantiation,Struct] vector<ClassWithDestructor>
# 2154| ValueCategory = lvalue
# 2154| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 2154| Type = [LValueReferenceType] vector<ClassWithDestructor> &
# 2154| ValueCategory = prvalue
# 2154| getBeginEndDeclaration(): [DeclStmt] declaration
# 2154| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (__begin)
# 2154| Type = [NestedStruct] iterator
#-----| getVariable().getInitializer(): [Initializer] initializer for (__begin)
# 2154| getExpr(): [FunctionCall] call to begin
# 2154| Type = [NestedStruct] iterator
# 2154| ValueCategory = prvalue
# 2154| getQualifier(): [VariableAccess] (__range)
# 2154| Type = [LValueReferenceType] vector<ClassWithDestructor> &
# 2154| ValueCategory = prvalue(load)
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const vector<ClassWithDestructor>)...
#-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const vector<ClassWithDestructor>
#-----| ValueCategory = lvalue
#-----| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [ClassTemplateInstantiation,Struct] vector<ClassWithDestructor>
#-----| ValueCategory = lvalue
# 2154| getDeclarationEntry(1): [VariableDeclarationEntry] declaration of (__end)
# 2154| Type = [NestedStruct] iterator
#-----| getVariable().getInitializer(): [Initializer] initializer for (__end)
# 2154| getExpr(): [FunctionCall] call to end
# 2154| Type = [NestedStruct] iterator
# 2154| ValueCategory = prvalue
# 2154| getQualifier(): [VariableAccess] (__range)
# 2154| Type = [LValueReferenceType] vector<ClassWithDestructor> &
# 2154| ValueCategory = prvalue(load)
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const vector<ClassWithDestructor>)...
#-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const vector<ClassWithDestructor>
#-----| ValueCategory = lvalue
#-----| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [ClassTemplateInstantiation,Struct] vector<ClassWithDestructor>
#-----| ValueCategory = lvalue
# 2154| getCondition(): [FunctionCall] call to operator!=
# 2154| Type = [BoolType] bool
# 2154| ValueCategory = prvalue
@@ -16474,6 +16631,22 @@ ir.cpp:
# 2154| Type = [NestedStruct] iterator
# 2154| ValueCategory = lvalue
# 2154| getChild(5): [DeclStmt] declaration
# 2154| getDeclarationEntry(0): [VariableDeclarationEntry] definition of y
# 2154| Type = [Class] ClassWithDestructor
# 2154| getVariable().getInitializer(): [Initializer] initializer for y
# 2154| getExpr(): [OverloadedPointerDereferenceExpr] call to operator*
# 2154| Type = [LValueReferenceType] ClassWithDestructor &
# 2154| ValueCategory = prvalue
# 2154| getQualifier(): [VariableAccess] (__begin)
# 2154| Type = [NestedStruct] iterator
# 2154| ValueCategory = lvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const iterator)...
#-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const iterator
#-----| ValueCategory = lvalue
# 2154| getExpr().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 2154| Type = [Class] ClassWithDestructor
# 2154| ValueCategory = prvalue(load)
# 2155| getStmt(): [ExprStmt] ExprStmt
# 2155| getExpr(): [FunctionCall] call to set_x
# 2155| Type = [VoidType] void
@@ -16485,12 +16658,78 @@ ir.cpp:
# 2155| Type = [PlainCharType] char
# 2155| Value = [CharLiteral] 97
# 2155| ValueCategory = prvalue
# 2154| getImplicitDestructorCall(0): [DestructorCall] call to ~ClassWithDestructor
# 2154| Type = [VoidType] void
# 2154| ValueCategory = prvalue
# 2154| getQualifier(): [VariableAccess] y
# 2154| Type = [Class] ClassWithDestructor
# 2154| ValueCategory = lvalue
# 2154| getImplicitDestructorCall(0): [DestructorCall] call to ~vector
# 2154| Type = [VoidType] void
# 2154| ValueCategory = prvalue
# 2154| getQualifier(): [VariableAccess] ys
# 2154| Type = [ClassTemplateInstantiation,Struct] vector<ClassWithDestructor>
# 2154| ValueCategory = lvalue
# 2154| getUpdate().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 2154| Type = [NestedStruct] iterator
# 2154| ValueCategory = lvalue
# 2157| getStmt(6): [RangeBasedForStmt] for(...:...) ...
# 2157| getInitialization(): [DeclStmt] declaration
# 2157| getDeclarationEntry(0): [VariableDeclarationEntry] definition of ys
# 2157| Type = [ClassTemplateInstantiation,Struct] vector<ClassWithDestructor>
# 2157| getVariable().getInitializer(): [Initializer] initializer for ys
# 2157| getExpr(): [ConstructorCall] call to vector
# 2157| Type = [VoidType] void
# 2157| ValueCategory = prvalue
# 2157| getArgument(0): [VariableAccess] x
# 2157| Type = [Class] ClassWithDestructor
# 2157| ValueCategory = prvalue(load)
# 2157| getArgument(0).getFullyConverted(): [TemporaryObjectExpr] temporary object
# 2157| Type = [Class] ClassWithDestructor
# 2157| ValueCategory = lvalue
# 2157| getChild(1): [DeclStmt] declaration
# 2157| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (__range)
# 2157| Type = [LValueReferenceType] vector<ClassWithDestructor> &
#-----| getVariable().getInitializer(): [Initializer] initializer for (__range)
# 2157| getExpr(): [VariableAccess] ys
# 2157| Type = [ClassTemplateInstantiation,Struct] vector<ClassWithDestructor>
# 2157| ValueCategory = lvalue
# 2157| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 2157| Type = [LValueReferenceType] vector<ClassWithDestructor> &
# 2157| ValueCategory = prvalue
# 2157| getBeginEndDeclaration(): [DeclStmt] declaration
# 2157| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (__begin)
# 2157| Type = [NestedStruct] iterator
#-----| getVariable().getInitializer(): [Initializer] initializer for (__begin)
# 2157| getExpr(): [FunctionCall] call to begin
# 2157| Type = [NestedStruct] iterator
# 2157| ValueCategory = prvalue
# 2157| getQualifier(): [VariableAccess] (__range)
# 2157| Type = [LValueReferenceType] vector<ClassWithDestructor> &
# 2157| ValueCategory = prvalue(load)
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const vector<ClassWithDestructor>)...
#-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const vector<ClassWithDestructor>
#-----| ValueCategory = lvalue
#-----| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [ClassTemplateInstantiation,Struct] vector<ClassWithDestructor>
#-----| ValueCategory = lvalue
# 2157| getDeclarationEntry(1): [VariableDeclarationEntry] declaration of (__end)
# 2157| Type = [NestedStruct] iterator
#-----| getVariable().getInitializer(): [Initializer] initializer for (__end)
# 2157| getExpr(): [FunctionCall] call to end
# 2157| Type = [NestedStruct] iterator
# 2157| ValueCategory = prvalue
# 2157| getQualifier(): [VariableAccess] (__range)
# 2157| Type = [LValueReferenceType] vector<ClassWithDestructor> &
# 2157| ValueCategory = prvalue(load)
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const vector<ClassWithDestructor>)...
#-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const vector<ClassWithDestructor>
#-----| ValueCategory = lvalue
#-----| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [ClassTemplateInstantiation,Struct] vector<ClassWithDestructor>
#-----| ValueCategory = lvalue
# 2157| getCondition(): [FunctionCall] call to operator!=
# 2157| Type = [BoolType] bool
# 2157| ValueCategory = prvalue
@@ -16511,6 +16750,22 @@ ir.cpp:
# 2157| Type = [NestedStruct] iterator
# 2157| ValueCategory = lvalue
# 2157| getChild(5): [DeclStmt] declaration
# 2157| getDeclarationEntry(0): [VariableDeclarationEntry] definition of y
# 2157| Type = [Class] ClassWithDestructor
# 2157| getVariable().getInitializer(): [Initializer] initializer for y
# 2157| getExpr(): [OverloadedPointerDereferenceExpr] call to operator*
# 2157| Type = [LValueReferenceType] ClassWithDestructor &
# 2157| ValueCategory = prvalue
# 2157| getQualifier(): [VariableAccess] (__begin)
# 2157| Type = [NestedStruct] iterator
# 2157| ValueCategory = lvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const iterator)...
#-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const iterator
#-----| ValueCategory = lvalue
# 2157| getExpr().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 2157| Type = [Class] ClassWithDestructor
# 2157| ValueCategory = prvalue(load)
# 2157| getStmt(): [BlockStmt] { ... }
# 2158| getStmt(0): [ExprStmt] ExprStmt
# 2158| getExpr(): [FunctionCall] call to set_x
@@ -16547,18 +16802,94 @@ ir.cpp:
# 2159| Value = [CStyleCast] 98
# 2159| ValueCategory = prvalue
# 2160| getThen(): [ReturnStmt] return ...
# 2172| getImplicitDestructorCall(0): [DestructorCall] call to ~ClassWithDestructor
# 2157| getImplicitDestructorCall(0): [DestructorCall] call to ~ClassWithDestructor
# 2157| Type = [VoidType] void
# 2157| ValueCategory = prvalue
# 2157| getQualifier(): [VariableAccess] y
# 2157| Type = [Class] ClassWithDestructor
# 2157| ValueCategory = lvalue
# 2157| getImplicitDestructorCall(1): [DestructorCall] call to ~vector
# 2157| Type = [VoidType] void
# 2157| ValueCategory = prvalue
# 2157| getQualifier(): [VariableAccess] ys
# 2157| Type = [ClassTemplateInstantiation,Struct] vector<ClassWithDestructor>
# 2157| ValueCategory = lvalue
# 2172| getImplicitDestructorCall(2): [DestructorCall] call to ~ClassWithDestructor
# 2172| Type = [VoidType] void
# 2172| ValueCategory = prvalue
# 2172| getQualifier(): [VariableAccess] x
# 2172| Type = [Class] ClassWithDestructor
# 2172| ValueCategory = lvalue
# 2157| getImplicitDestructorCall(0): [DestructorCall] call to ~ClassWithDestructor
# 2157| Type = [VoidType] void
# 2157| ValueCategory = prvalue
# 2157| getQualifier(): [VariableAccess] y
# 2157| Type = [Class] ClassWithDestructor
# 2157| ValueCategory = lvalue
# 2157| getImplicitDestructorCall(0): [DestructorCall] call to ~vector
# 2157| Type = [VoidType] void
# 2157| ValueCategory = prvalue
# 2157| getQualifier(): [VariableAccess] ys
# 2157| Type = [ClassTemplateInstantiation,Struct] vector<ClassWithDestructor>
# 2157| ValueCategory = lvalue
# 2157| getUpdate().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 2157| Type = [NestedStruct] iterator
# 2157| ValueCategory = lvalue
# 2163| getStmt(7): [RangeBasedForStmt] for(...:...) ...
# 2163| getInitialization(): [DeclStmt] declaration
# 2163| getDeclarationEntry(0): [VariableDeclarationEntry] definition of ys
# 2163| Type = [ClassTemplateInstantiation,Struct] vector<int>
# 2163| getVariable().getInitializer(): [Initializer] initializer for ys
# 2163| getExpr(): [ConstructorCall] call to vector
# 2163| Type = [VoidType] void
# 2163| ValueCategory = prvalue
# 2163| getArgument(0): [Literal] 1
# 2163| Type = [IntType] int
# 2163| Value = [Literal] 1
# 2163| ValueCategory = prvalue
# 2163| getChild(1): [DeclStmt] declaration
# 2163| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (__range)
# 2163| Type = [LValueReferenceType] vector<int> &
#-----| getVariable().getInitializer(): [Initializer] initializer for (__range)
# 2163| getExpr(): [VariableAccess] ys
# 2163| Type = [ClassTemplateInstantiation,Struct] vector<int>
# 2163| ValueCategory = lvalue
# 2163| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 2163| Type = [LValueReferenceType] vector<int> &
# 2163| ValueCategory = prvalue
# 2163| getBeginEndDeclaration(): [DeclStmt] declaration
# 2163| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (__begin)
# 2163| Type = [NestedStruct] iterator
#-----| getVariable().getInitializer(): [Initializer] initializer for (__begin)
# 2163| getExpr(): [FunctionCall] call to begin
# 2163| Type = [NestedStruct] iterator
# 2163| ValueCategory = prvalue
# 2163| getQualifier(): [VariableAccess] (__range)
# 2163| Type = [LValueReferenceType] vector<int> &
# 2163| ValueCategory = prvalue(load)
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const vector<int>)...
#-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const vector<int>
#-----| ValueCategory = lvalue
#-----| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [ClassTemplateInstantiation,Struct] vector<int>
#-----| ValueCategory = lvalue
# 2163| getDeclarationEntry(1): [VariableDeclarationEntry] declaration of (__end)
# 2163| Type = [NestedStruct] iterator
#-----| getVariable().getInitializer(): [Initializer] initializer for (__end)
# 2163| getExpr(): [FunctionCall] call to end
# 2163| Type = [NestedStruct] iterator
# 2163| ValueCategory = prvalue
# 2163| getQualifier(): [VariableAccess] (__range)
# 2163| Type = [LValueReferenceType] vector<int> &
# 2163| ValueCategory = prvalue(load)
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const vector<int>)...
#-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const vector<int>
#-----| ValueCategory = lvalue
#-----| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [ClassTemplateInstantiation,Struct] vector<int>
#-----| ValueCategory = lvalue
# 2163| getCondition(): [FunctionCall] call to operator!=
# 2163| Type = [BoolType] bool
# 2163| ValueCategory = prvalue
@@ -16579,6 +16910,22 @@ ir.cpp:
# 2163| Type = [NestedStruct] iterator
# 2163| ValueCategory = lvalue
# 2163| getChild(5): [DeclStmt] declaration
# 2163| getDeclarationEntry(0): [VariableDeclarationEntry] definition of y
# 2163| Type = [IntType] int
# 2163| getVariable().getInitializer(): [Initializer] initializer for y
# 2163| getExpr(): [OverloadedPointerDereferenceExpr] call to operator*
# 2163| Type = [LValueReferenceType] int &
# 2163| ValueCategory = prvalue
# 2163| getQualifier(): [VariableAccess] (__begin)
# 2163| Type = [NestedStruct] iterator
# 2163| ValueCategory = lvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const iterator)...
#-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const iterator
#-----| ValueCategory = lvalue
# 2163| getExpr().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 2163| Type = [IntType] int
# 2163| ValueCategory = prvalue(load)
# 2163| getStmt(): [BlockStmt] { ... }
# 2164| getStmt(0): [IfStmt] if (...) ...
# 2164| getCondition(): [EQExpr] ... == ...
@@ -16592,18 +16939,84 @@ ir.cpp:
# 2164| Value = [Literal] 1
# 2164| ValueCategory = prvalue
# 2165| getThen(): [ReturnStmt] return ...
# 2172| getImplicitDestructorCall(0): [DestructorCall] call to ~ClassWithDestructor
# 2163| getImplicitDestructorCall(0): [DestructorCall] call to ~vector
# 2163| Type = [VoidType] void
# 2163| ValueCategory = prvalue
# 2163| getQualifier(): [VariableAccess] ys
# 2163| Type = [ClassTemplateInstantiation,Struct] vector<int>
# 2163| ValueCategory = lvalue
# 2172| getImplicitDestructorCall(1): [DestructorCall] call to ~ClassWithDestructor
# 2172| Type = [VoidType] void
# 2172| ValueCategory = prvalue
# 2172| getQualifier(): [VariableAccess] x
# 2172| Type = [Class] ClassWithDestructor
# 2172| ValueCategory = lvalue
# 2163| getImplicitDestructorCall(0): [DestructorCall] call to ~vector
# 2163| Type = [VoidType] void
# 2163| ValueCategory = prvalue
# 2163| getQualifier(): [VariableAccess] ys
# 2163| Type = [ClassTemplateInstantiation,Struct] vector<int>
# 2163| ValueCategory = lvalue
# 2163| getUpdate().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 2163| Type = [NestedStruct] iterator
# 2163| ValueCategory = lvalue
# 2168| getStmt(8): [RangeBasedForStmt] for(...:...) ...
# 2168| getInitialization(): [DeclStmt] declaration
# 2168| getDeclarationEntry(0): [VariableDeclarationEntry] definition of ys
# 2168| Type = [ClassTemplateInstantiation,Struct] vector<ClassWithDestructor>
# 2168| getVariable().getInitializer(): [Initializer] initializer for ys
# 2168| getExpr(): [ConstructorCall] call to vector
# 2168| Type = [VoidType] void
# 2168| ValueCategory = prvalue
# 2168| getArgument(0): [VariableAccess] x
# 2168| Type = [Class] ClassWithDestructor
# 2168| ValueCategory = prvalue(load)
# 2168| getArgument(0).getFullyConverted(): [TemporaryObjectExpr] temporary object
# 2168| Type = [Class] ClassWithDestructor
# 2168| ValueCategory = lvalue
# 2168| getChild(1): [DeclStmt] declaration
# 2168| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (__range)
# 2168| Type = [LValueReferenceType] vector<ClassWithDestructor> &
#-----| getVariable().getInitializer(): [Initializer] initializer for (__range)
# 2168| getExpr(): [VariableAccess] ys
# 2168| Type = [ClassTemplateInstantiation,Struct] vector<ClassWithDestructor>
# 2168| ValueCategory = lvalue
# 2168| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 2168| Type = [LValueReferenceType] vector<ClassWithDestructor> &
# 2168| ValueCategory = prvalue
# 2168| getBeginEndDeclaration(): [DeclStmt] declaration
# 2168| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (__begin)
# 2168| Type = [NestedStruct] iterator
#-----| getVariable().getInitializer(): [Initializer] initializer for (__begin)
# 2168| getExpr(): [FunctionCall] call to begin
# 2168| Type = [NestedStruct] iterator
# 2168| ValueCategory = prvalue
# 2168| getQualifier(): [VariableAccess] (__range)
# 2168| Type = [LValueReferenceType] vector<ClassWithDestructor> &
# 2168| ValueCategory = prvalue(load)
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const vector<ClassWithDestructor>)...
#-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const vector<ClassWithDestructor>
#-----| ValueCategory = lvalue
#-----| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [ClassTemplateInstantiation,Struct] vector<ClassWithDestructor>
#-----| ValueCategory = lvalue
# 2168| getDeclarationEntry(1): [VariableDeclarationEntry] declaration of (__end)
# 2168| Type = [NestedStruct] iterator
#-----| getVariable().getInitializer(): [Initializer] initializer for (__end)
# 2168| getExpr(): [FunctionCall] call to end
# 2168| Type = [NestedStruct] iterator
# 2168| ValueCategory = prvalue
# 2168| getQualifier(): [VariableAccess] (__range)
# 2168| Type = [LValueReferenceType] vector<ClassWithDestructor> &
# 2168| ValueCategory = prvalue(load)
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const vector<ClassWithDestructor>)...
#-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const vector<ClassWithDestructor>
#-----| ValueCategory = lvalue
#-----| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [ClassTemplateInstantiation,Struct] vector<ClassWithDestructor>
#-----| ValueCategory = lvalue
# 2168| getCondition(): [FunctionCall] call to operator!=
# 2168| Type = [BoolType] bool
# 2168| ValueCategory = prvalue
@@ -16624,6 +17037,22 @@ ir.cpp:
# 2168| Type = [NestedStruct] iterator
# 2168| ValueCategory = lvalue
# 2168| getChild(5): [DeclStmt] declaration
# 2168| getDeclarationEntry(0): [VariableDeclarationEntry] definition of y
# 2168| Type = [Class] ClassWithDestructor
# 2168| getVariable().getInitializer(): [Initializer] initializer for y
# 2168| getExpr(): [OverloadedPointerDereferenceExpr] call to operator*
# 2168| Type = [LValueReferenceType] ClassWithDestructor &
# 2168| ValueCategory = prvalue
# 2168| getQualifier(): [VariableAccess] (__begin)
# 2168| Type = [NestedStruct] iterator
# 2168| ValueCategory = lvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const iterator)...
#-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const iterator
#-----| ValueCategory = lvalue
# 2168| getExpr().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 2168| Type = [Class] ClassWithDestructor
# 2168| ValueCategory = prvalue(load)
# 2168| getStmt(): [BlockStmt] { ... }
# 2169| getStmt(0): [DeclStmt] declaration
# 2169| getDeclarationEntry(0): [VariableDeclarationEntry] definition of z1
@@ -16651,6 +17080,18 @@ ir.cpp:
# 2171| getQualifier(): [VariableAccess] z1
# 2171| Type = [Class] ClassWithDestructor
# 2171| ValueCategory = lvalue
# 2168| getImplicitDestructorCall(2): [DestructorCall] call to ~ClassWithDestructor
# 2168| Type = [VoidType] void
# 2168| ValueCategory = prvalue
# 2168| getQualifier(): [VariableAccess] y
# 2168| Type = [Class] ClassWithDestructor
# 2168| ValueCategory = lvalue
# 2168| getImplicitDestructorCall(0): [DestructorCall] call to ~vector
# 2168| Type = [VoidType] void
# 2168| ValueCategory = prvalue
# 2168| getQualifier(): [VariableAccess] ys
# 2168| Type = [ClassTemplateInstantiation,Struct] vector<ClassWithDestructor>
# 2168| ValueCategory = lvalue
# 2168| getUpdate().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 2168| Type = [NestedStruct] iterator
# 2168| ValueCategory = lvalue
@@ -16682,7 +17123,7 @@ ir.cpp:
# 2177| getImplicitDestructorCall(0): [DestructorCall] call to ~ClassWithDestructor
# 2177| Type = [VoidType] void
# 2177| ValueCategory = prvalue
# 2177| getQualifier(): [VariableAccess] b
# 2177| getQualifier(): [VariableAccess] a
# 2177| Type = [Class] ClassWithDestructor
# 2177| ValueCategory = lvalue
# 2179| [TopLevelFunction] void static_variable_with_destructor_2()
@@ -16737,7 +17178,13 @@ ir.cpp:
# 2188| getImplicitDestructorCall(0): [DestructorCall] call to ~ClassWithDestructor
# 2188| Type = [VoidType] void
# 2188| ValueCategory = prvalue
# 2188| getQualifier(): [VariableAccess] c
# 2188| getQualifier(): [VariableAccess] b
# 2188| Type = [Class] ClassWithDestructor
# 2188| ValueCategory = lvalue
# 2188| getImplicitDestructorCall(1): [DestructorCall] call to ~ClassWithDestructor
# 2188| Type = [VoidType] void
# 2188| ValueCategory = prvalue
# 2188| getQualifier(): [VariableAccess] a
# 2188| Type = [Class] ClassWithDestructor
# 2188| ValueCategory = lvalue
# 2190| [GlobalVariable] ClassWithDestructor global_class_with_destructor
@@ -16959,7 +17406,64 @@ ir.cpp:
# 2222| ValueCategory = lvalue
# 2226| getStmt(2): [RangeBasedForStmt] for(...:...) ...
# 2226| getChild(1): [DeclStmt] declaration
# 2226| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (__range)
# 2226| Type = [RValueReferenceType] vector<String> &&
#-----| getVariable().getInitializer(): [Initializer] initializer for (__range)
# 2226| getExpr(): [ConstructorCall] call to vector
# 2226| Type = [VoidType] void
# 2226| ValueCategory = prvalue
# 2226| getArgument(0): [ConstructorCall] call to String
# 2226| Type = [VoidType] void
# 2226| ValueCategory = prvalue
# 2226| getArgument(0): hello
# 2226| Type = [ArrayType] const char[6]
# 2226| Value = [StringLiteral] "hello"
# 2226| ValueCategory = lvalue
# 2226| getArgument(0).getFullyConverted(): [ArrayToPointerConversion] array to pointer conversion
# 2226| Type = [PointerType] const char *
# 2226| ValueCategory = prvalue
# 2226| getArgument(0).getFullyConverted(): [TemporaryObjectExpr] temporary object
# 2226| Type = [Struct] String
# 2226| ValueCategory = lvalue
# 2226| getExpr().getFullyConverted(): [ReferenceToExpr] (reference to)
# 2226| Type = [LValueReferenceType] vector<String> &
# 2226| ValueCategory = prvalue
# 2226| getExpr(): [TemporaryObjectExpr] temporary object
# 2226| Type = [ClassTemplateInstantiation,Struct] vector<String>
# 2226| ValueCategory = xvalue
# 2226| getBeginEndDeclaration(): [DeclStmt] declaration
# 2226| getDeclarationEntry(0): [VariableDeclarationEntry] declaration of (__begin)
# 2226| Type = [NestedStruct] iterator
#-----| getVariable().getInitializer(): [Initializer] initializer for (__begin)
# 2226| getExpr(): [FunctionCall] call to begin
# 2226| Type = [NestedStruct] iterator
# 2226| ValueCategory = prvalue
# 2226| getQualifier(): [VariableAccess] (__range)
# 2226| Type = [RValueReferenceType] vector<String> &&
# 2226| ValueCategory = prvalue(load)
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const vector<String>)...
#-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const vector<String>
#-----| ValueCategory = lvalue
#-----| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [ClassTemplateInstantiation,Struct] vector<String>
#-----| ValueCategory = lvalue
# 2226| getDeclarationEntry(1): [VariableDeclarationEntry] declaration of (__end)
# 2226| Type = [NestedStruct] iterator
#-----| getVariable().getInitializer(): [Initializer] initializer for (__end)
# 2226| getExpr(): [FunctionCall] call to end
# 2226| Type = [NestedStruct] iterator
# 2226| ValueCategory = prvalue
# 2226| getQualifier(): [VariableAccess] (__range)
# 2226| Type = [RValueReferenceType] vector<String> &&
# 2226| ValueCategory = prvalue(load)
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const vector<String>)...
#-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const vector<String>
#-----| ValueCategory = lvalue
#-----| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [ClassTemplateInstantiation,Struct] vector<String>
#-----| ValueCategory = lvalue
# 2226| getCondition(): [FunctionCall] call to operator!=
# 2226| Type = [BoolType] bool
# 2226| ValueCategory = prvalue
@@ -16980,6 +17484,32 @@ ir.cpp:
# 2226| Type = [NestedStruct] iterator
# 2226| ValueCategory = lvalue
# 2226| getChild(5): [DeclStmt] declaration
# 2226| getDeclarationEntry(0): [VariableDeclarationEntry] definition of s
# 2226| Type = [Struct] String
# 2226| getVariable().getInitializer(): [Initializer] initializer for s
# 2226| getExpr(): [ConstructorCall] call to String
# 2226| Type = [VoidType] void
# 2226| ValueCategory = prvalue
# 2226| getArgument(0): [OverloadedPointerDereferenceExpr] call to operator*
# 2226| Type = [LValueReferenceType] String &
# 2226| ValueCategory = prvalue
# 2226| getQualifier(): [VariableAccess] (__begin)
# 2226| Type = [NestedStruct] iterator
# 2226| ValueCategory = lvalue
#-----| getQualifier().getFullyConverted(): [CStyleCast] (const iterator)...
#-----| Conversion = [GlvalueConversion] glvalue conversion
#-----| Type = [SpecifiedType] const iterator
#-----| ValueCategory = lvalue
# 2226| getArgument(0).getFullyConverted(): [ReferenceToExpr] (reference to)
# 2226| Type = [LValueReferenceType] const String &
# 2226| ValueCategory = prvalue
# 2226| getExpr(): [CStyleCast] (const String)...
# 2226| Conversion = [GlvalueConversion] glvalue conversion
# 2226| Type = [SpecifiedType] const String
# 2226| ValueCategory = lvalue
# 2226| getExpr(): [ReferenceDereferenceExpr] (reference dereference)
# 2226| Type = [Struct] String
# 2226| ValueCategory = lvalue
# 2226| getStmt(): [BlockStmt] { ... }
# 2227| getStmt(0): [DeclStmt] declaration
# 2227| getDeclarationEntry(0): [VariableDeclarationEntry] definition of s2
@@ -16994,6 +17524,12 @@ ir.cpp:
# 2228| getQualifier(): [VariableAccess] s2
# 2228| Type = [Struct] String
# 2228| ValueCategory = lvalue
# 2226| getImplicitDestructorCall(1): [DestructorCall] call to ~String
# 2226| Type = [VoidType] void
# 2226| ValueCategory = prvalue
# 2226| getQualifier(): [VariableAccess] s
# 2226| Type = [Struct] String
# 2226| ValueCategory = lvalue
# 2226| getUpdate().getFullyConverted(): [ReferenceDereferenceExpr] (reference dereference)
# 2226| Type = [NestedStruct] iterator
# 2226| ValueCategory = lvalue

722
cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
View File

@@ -7605,36 +7605,12 @@ ir.cpp:
#-----| Goto -> Block 6
# 1246| Block 6
# 1246| m1246_1(unknown) = Phi : from 4:~m1245_1, from 5:~m1245_17
# 1246| v1246_2(void) = NoOp :
# 1246| r1246_3(glval<String>) = VariableAddress[c] :
# 1246| r1246_4(glval<unknown>) = FunctionAddress[~String] :
# 1246| v1246_5(void) = Call[~String] : func:r1246_4, this:r1246_3
# 1246| m1246_6(unknown) = ^CallSideEffect : ~m1246_1
# 1246| m1246_7(unknown) = Chi : total:m1246_1, partial:m1246_6
# 1246| v1246_8(void) = ^IndirectReadSideEffect[-1] : &:r1246_3, ~m1246_7
# 1246| m1246_9(String) = ^IndirectMayWriteSideEffect[-1] : &:r1246_3
# 1246| m1246_10(unknown) = Chi : total:m1246_7, partial:m1246_9
# 1246| r1246_11(glval<String>) = VariableAddress[b] :
# 1246| r1246_12(glval<unknown>) = FunctionAddress[~String] :
# 1246| v1246_13(void) = Call[~String] : func:r1246_12, this:r1246_11
# 1246| m1246_14(unknown) = ^CallSideEffect : ~m1246_10
# 1246| m1246_15(unknown) = Chi : total:m1246_10, partial:m1246_14
# 1246| v1246_16(void) = ^IndirectReadSideEffect[-1] : &:r1246_11, ~m1246_15
# 1246| m1246_17(String) = ^IndirectMayWriteSideEffect[-1] : &:r1246_11
# 1246| m1246_18(unknown) = Chi : total:m1246_15, partial:m1246_17
# 1246| r1246_19(glval<String>) = VariableAddress[a] :
# 1246| r1246_20(glval<unknown>) = FunctionAddress[~String] :
# 1246| v1246_21(void) = Call[~String] : func:r1246_20, this:r1246_19
# 1246| m1246_22(unknown) = ^CallSideEffect : ~m1246_18
# 1246| m1246_23(unknown) = Chi : total:m1246_18, partial:m1246_22
# 1246| v1246_24(void) = ^IndirectReadSideEffect[-1] : &:r1246_19, ~m1246_23
# 1246| m1246_25(String) = ^IndirectMayWriteSideEffect[-1] : &:r1246_19
# 1246| m1246_26(unknown) = Chi : total:m1246_23, partial:m1246_25
# 1242| v1242_9(void) = ReturnIndirection[dynamic] : &:r1242_7, m1242_8
# 1242| v1242_10(void) = ReturnVoid :
# 1242| v1242_11(void) = AliasedUse : ~m1246_26
# 1242| v1242_12(void) = ExitFunction :
# 1246| m1246_1(unknown) = Phi : from 4:~m1245_1, from 5:~m1245_17
# 1246| v1246_2(void) = NoOp :
# 1242| v1242_9(void) = ReturnIndirection[dynamic] : &:r1242_7, m1242_8
# 1242| v1242_10(void) = ReturnVoid :
# 1242| v1242_11(void) = AliasedUse : ~m1246_1
# 1242| v1242_12(void) = ExitFunction :
# 1253| void test_strings(char*, char*)
# 1253| Block 0
@@ -12801,7 +12777,7 @@ ir.cpp:
#-----| True -> Block 2
# 2137| Block 1
# 2137| m2137_9(unknown) = Phi : from 14:~m2172_5, from 19:~m2172_13, from 23:~m2172_22
# 2137| m2137_9(unknown) = Phi : from 13:~m2172_5, from 19:~m2172_13, from 23:~m2172_22
# 2137| v2137_10(void) = ReturnVoid :
# 2137| v2137_11(void) = AliasedUse : ~m2137_9
# 2137| v2137_12(void) = ExitFunction :
@@ -12905,158 +12881,180 @@ ir.cpp:
# 2153| m2153_6(unknown) = Chi : total:m2151_1, partial:m2153_5
# 2153| m2153_7(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2153_1
# 2153| m2153_8(ClassWithDestructor) = Chi : total:m2153_2, partial:m2153_7
# 2154| r2154_1(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2154| r2154_2(glval<vector<ClassWithDestructor>>) = VariableAddress :
# 2154| r2154_3(vector<ClassWithDestructor> &) = CopyValue : r2154_2
# 2154| m2154_4(vector<ClassWithDestructor> &) = Store[(__range)] : &:r2154_1, r2154_3
# 2154| r2154_5(glval<iterator>) = VariableAddress[(__begin)] :
# 2154| r2154_6(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2154| r2154_7(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2154_6, m2154_4
#-----| r0_1(glval<vector<ClassWithDestructor>>) = CopyValue : r2154_7
#-----| r0_2(glval<vector<ClassWithDestructor>>) = Convert : r0_1
# 2154| r2154_8(glval<unknown>) = FunctionAddress[begin] :
# 2154| r2154_9(iterator) = Call[begin] : func:r2154_8, this:r0_2
# 2154| r2154_1(glval<vector<ClassWithDestructor>>) = VariableAddress[ys] :
# 2154| m2154_2(vector<ClassWithDestructor>) = Uninitialized[ys] : &:r2154_1
# 2154| r2154_3(glval<unknown>) = FunctionAddress[vector] :
# 2154| r2154_4(glval<ClassWithDestructor>) = VariableAddress[#temp2154:40] :
# 2154| r2154_5(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2154| r2154_6(ClassWithDestructor) = Load[x] : &:r2154_5, m2153_8
# 2154| m2154_7(ClassWithDestructor) = Store[#temp2154:40] : &:r2154_4, r2154_6
# 2154| r2154_8(ClassWithDestructor) = Load[#temp2154:40] : &:r2154_4, m2154_7
# 2154| v2154_9(void) = Call[vector] : func:r2154_3, this:r2154_1, 0:r2154_8
# 2154| m2154_10(unknown) = ^CallSideEffect : ~m2153_6
# 2154| m2154_11(unknown) = Chi : total:m2153_6, partial:m2154_10
#-----| v0_3(void) = ^IndirectReadSideEffect[-1] : &:r0_2, ~m2154_11
# 2154| m2154_12(iterator) = Store[(__begin)] : &:r2154_5, r2154_9
# 2154| r2154_13(glval<iterator>) = VariableAddress[(__end)] :
# 2154| m2154_12(vector<ClassWithDestructor>) = ^IndirectMayWriteSideEffect[-1] : &:r2154_1
# 2154| m2154_13(vector<ClassWithDestructor>) = Chi : total:m2154_2, partial:m2154_12
# 2154| r2154_14(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2154| r2154_15(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2154_14, m2154_4
#-----| r0_4(glval<vector<ClassWithDestructor>>) = CopyValue : r2154_15
# 2154| r2154_15(glval<vector<ClassWithDestructor>>) = VariableAddress[ys] :
# 2154| r2154_16(vector<ClassWithDestructor> &) = CopyValue : r2154_15
# 2154| m2154_17(vector<ClassWithDestructor> &) = Store[(__range)] : &:r2154_14, r2154_16
# 2154| r2154_18(glval<iterator>) = VariableAddress[(__begin)] :
# 2154| r2154_19(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2154| r2154_20(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2154_19, m2154_17
#-----| r0_1(glval<vector<ClassWithDestructor>>) = CopyValue : r2154_20
#-----| r0_2(glval<vector<ClassWithDestructor>>) = Convert : r0_1
# 2154| r2154_21(glval<unknown>) = FunctionAddress[begin] :
# 2154| r2154_22(iterator) = Call[begin] : func:r2154_21, this:r0_2
# 2154| m2154_23(unknown) = ^CallSideEffect : ~m2154_11
# 2154| m2154_24(unknown) = Chi : total:m2154_11, partial:m2154_23
#-----| v0_3(void) = ^IndirectReadSideEffect[-1] : &:r0_2, m2154_13
# 2154| m2154_25(iterator) = Store[(__begin)] : &:r2154_18, r2154_22
# 2154| r2154_26(glval<iterator>) = VariableAddress[(__end)] :
# 2154| r2154_27(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2154| r2154_28(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2154_27, m2154_17
#-----| r0_4(glval<vector<ClassWithDestructor>>) = CopyValue : r2154_28
#-----| r0_5(glval<vector<ClassWithDestructor>>) = Convert : r0_4
# 2154| r2154_16(glval<unknown>) = FunctionAddress[end] :
# 2154| r2154_17(iterator) = Call[end] : func:r2154_16, this:r0_5
# 2154| m2154_18(unknown) = ^CallSideEffect : ~m2154_11
# 2154| m2154_19(unknown) = Chi : total:m2154_11, partial:m2154_18
#-----| v0_6(void) = ^IndirectReadSideEffect[-1] : &:r0_5, ~m2154_19
# 2154| m2154_20(iterator) = Store[(__end)] : &:r2154_13, r2154_17
# 2154| r2154_29(glval<unknown>) = FunctionAddress[end] :
# 2154| r2154_30(iterator) = Call[end] : func:r2154_29, this:r0_5
# 2154| m2154_31(unknown) = ^CallSideEffect : ~m2154_24
# 2154| m2154_32(unknown) = Chi : total:m2154_24, partial:m2154_31
#-----| v0_6(void) = ^IndirectReadSideEffect[-1] : &:r0_5, m2154_13
# 2154| m2154_33(iterator) = Store[(__end)] : &:r2154_26, r2154_30
#-----| Goto -> Block 8
# 2154| Block 8
# 2154| m2154_21(iterator) = Phi : from 7:m2154_12, from 9:m2154_46
# 2154| m2154_22(unknown) = Phi : from 7:~m2154_19, from 9:~m2154_43
# 2154| r2154_23(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_7(glval<iterator>) = Convert : r2154_23
# 2154| r2154_24(glval<unknown>) = FunctionAddress[operator!=] :
# 2154| r2154_25(glval<iterator>) = VariableAddress[(__end)] :
# 2154| r2154_26(iterator) = Load[(__end)] : &:r2154_25, m2154_20
# 2154| r2154_27(bool) = Call[operator!=] : func:r2154_24, this:r0_7, 0:r2154_26
# 2154| m2154_28(unknown) = ^CallSideEffect : ~m2154_22
# 2154| m2154_29(unknown) = Chi : total:m2154_22, partial:m2154_28
#-----| v0_8(void) = ^IndirectReadSideEffect[-1] : &:r0_7, m2154_21
# 2154| v2154_30(void) = ConditionalBranch : r2154_27
# 2154| m2154_34(iterator) = Phi : from 7:m2154_25, from 9:m2154_67
# 2154| m2154_35(unknown) = Phi : from 7:~m2154_32, from 9:~m2154_64
# 2154| r2154_36(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_7(glval<iterator>) = Convert : r2154_36
# 2154| r2154_37(glval<unknown>) = FunctionAddress[operator!=] :
# 2154| r2154_38(glval<iterator>) = VariableAddress[(__end)] :
# 2154| r2154_39(iterator) = Load[(__end)] : &:r2154_38, m2154_33
# 2154| r2154_40(bool) = Call[operator!=] : func:r2154_37, this:r0_7, 0:r2154_39
# 2154| m2154_41(unknown) = ^CallSideEffect : ~m2154_35
# 2154| m2154_42(unknown) = Chi : total:m2154_35, partial:m2154_41
#-----| v0_8(void) = ^IndirectReadSideEffect[-1] : &:r0_7, m2154_34
# 2154| v2154_43(void) = ConditionalBranch : r2154_40
#-----| False -> Block 10
#-----| True -> Block 9
# 2154| Block 9
# 2154| r2154_31(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2154| r2154_32(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_9(glval<iterator>) = Convert : r2154_32
# 2154| r2154_33(glval<unknown>) = FunctionAddress[operator*] :
# 2154| r2154_34(ClassWithDestructor &) = Call[operator*] : func:r2154_33, this:r0_9
# 2154| m2154_35(unknown) = ^CallSideEffect : ~m2154_29
# 2154| m2154_36(unknown) = Chi : total:m2154_29, partial:m2154_35
#-----| v0_10(void) = ^IndirectReadSideEffect[-1] : &:r0_9, m2154_21
# 2154| r2154_37(ClassWithDestructor) = Load[?] : &:r2154_34, ~m2154_36
# 2154| m2154_38(ClassWithDestructor) = Store[y] : &:r2154_31, r2154_37
# 2155| r2155_1(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2155| r2155_2(glval<unknown>) = FunctionAddress[set_x] :
# 2155| r2155_3(char) = Constant[97] :
# 2155| v2155_4(void) = Call[set_x] : func:r2155_2, this:r2155_1, 0:r2155_3
# 2155| m2155_5(unknown) = ^CallSideEffect : ~m2154_36
# 2155| m2155_6(unknown) = Chi : total:m2154_36, partial:m2155_5
# 2155| v2155_7(void) = ^IndirectReadSideEffect[-1] : &:r2155_1, m2154_38
# 2155| m2155_8(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2155_1
# 2155| m2155_9(ClassWithDestructor) = Chi : total:m2154_38, partial:m2155_8
# 2154| r2154_39(glval<iterator>) = VariableAddress[(__begin)] :
# 2154| r2154_40(glval<unknown>) = FunctionAddress[operator++] :
# 2154| r2154_41(iterator &) = Call[operator++] : func:r2154_40, this:r2154_39
# 2154| m2154_42(unknown) = ^CallSideEffect : ~m2155_6
# 2154| m2154_43(unknown) = Chi : total:m2155_6, partial:m2154_42
# 2154| v2154_44(void) = ^IndirectReadSideEffect[-1] : &:r2154_39, m2154_21
# 2154| m2154_45(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2154_39
# 2154| m2154_46(iterator) = Chi : total:m2154_21, partial:m2154_45
# 2154| r2154_47(glval<iterator>) = CopyValue : r2154_41
# 2154| r2154_44(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2154| r2154_45(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_9(glval<iterator>) = Convert : r2154_45
# 2154| r2154_46(glval<unknown>) = FunctionAddress[operator*] :
# 2154| r2154_47(ClassWithDestructor &) = Call[operator*] : func:r2154_46, this:r0_9
# 2154| m2154_48(unknown) = ^CallSideEffect : ~m2154_42
# 2154| m2154_49(unknown) = Chi : total:m2154_42, partial:m2154_48
#-----| v0_10(void) = ^IndirectReadSideEffect[-1] : &:r0_9, m2154_34
# 2154| r2154_50(ClassWithDestructor) = Load[?] : &:r2154_47, ~m2154_49
# 2154| m2154_51(ClassWithDestructor) = Store[y] : &:r2154_44, r2154_50
# 2155| r2155_1(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2155| r2155_2(glval<unknown>) = FunctionAddress[set_x] :
# 2155| r2155_3(char) = Constant[97] :
# 2155| v2155_4(void) = Call[set_x] : func:r2155_2, this:r2155_1, 0:r2155_3
# 2155| m2155_5(unknown) = ^CallSideEffect : ~m2154_49
# 2155| m2155_6(unknown) = Chi : total:m2154_49, partial:m2155_5
# 2155| v2155_7(void) = ^IndirectReadSideEffect[-1] : &:r2155_1, m2154_51
# 2155| m2155_8(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2155_1
# 2155| m2155_9(ClassWithDestructor) = Chi : total:m2154_51, partial:m2155_8
# 2154| r2154_52(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2154| r2154_53(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2154| v2154_54(void) = Call[~ClassWithDestructor] : func:r2154_53, this:r2154_52
# 2154| m2154_55(unknown) = ^CallSideEffect : ~m2155_6
# 2154| m2154_56(unknown) = Chi : total:m2155_6, partial:m2154_55
# 2154| v2154_57(void) = ^IndirectReadSideEffect[-1] : &:r2154_52, m2155_9
# 2154| m2154_58(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2154_52
# 2154| m2154_59(ClassWithDestructor) = Chi : total:m2155_9, partial:m2154_58
# 2154| r2154_60(glval<iterator>) = VariableAddress[(__begin)] :
# 2154| r2154_61(glval<unknown>) = FunctionAddress[operator++] :
# 2154| r2154_62(iterator &) = Call[operator++] : func:r2154_61, this:r2154_60
# 2154| m2154_63(unknown) = ^CallSideEffect : ~m2154_56
# 2154| m2154_64(unknown) = Chi : total:m2154_56, partial:m2154_63
# 2154| v2154_65(void) = ^IndirectReadSideEffect[-1] : &:r2154_60, m2154_34
# 2154| m2154_66(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2154_60
# 2154| m2154_67(iterator) = Chi : total:m2154_34, partial:m2154_66
# 2154| r2154_68(glval<iterator>) = CopyValue : r2154_62
#-----| Goto (back edge) -> Block 8
# 2157| Block 10
# 2157| r2157_1(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2157| r2157_2(glval<vector<ClassWithDestructor>>) = VariableAddress :
# 2157| r2157_3(vector<ClassWithDestructor> &) = CopyValue : r2157_2
# 2157| m2157_4(vector<ClassWithDestructor> &) = Store[(__range)] : &:r2157_1, r2157_3
# 2157| r2157_5(glval<iterator>) = VariableAddress[(__begin)] :
# 2157| r2157_6(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2157| r2157_7(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2157_6, m2157_4
#-----| r0_11(glval<vector<ClassWithDestructor>>) = CopyValue : r2157_7
#-----| r0_12(glval<vector<ClassWithDestructor>>) = Convert : r0_11
# 2157| r2157_8(glval<unknown>) = FunctionAddress[begin] :
# 2157| r2157_9(iterator) = Call[begin] : func:r2157_8, this:r0_12
# 2157| m2157_10(unknown) = ^CallSideEffect : ~m2154_29
# 2157| m2157_11(unknown) = Chi : total:m2154_29, partial:m2157_10
#-----| v0_13(void) = ^IndirectReadSideEffect[-1] : &:r0_12, ~m2157_11
# 2157| m2157_12(iterator) = Store[(__begin)] : &:r2157_5, r2157_9
# 2157| r2157_13(glval<iterator>) = VariableAddress[(__end)] :
# 2157| r2157_14(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2157| r2157_15(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2157_14, m2157_4
#-----| r0_14(glval<vector<ClassWithDestructor>>) = CopyValue : r2157_15
#-----| r0_15(glval<vector<ClassWithDestructor>>) = Convert : r0_14
# 2157| r2157_16(glval<unknown>) = FunctionAddress[end] :
# 2157| r2157_17(iterator) = Call[end] : func:r2157_16, this:r0_15
# 2157| m2157_18(unknown) = ^CallSideEffect : ~m2157_11
# 2157| m2157_19(unknown) = Chi : total:m2157_11, partial:m2157_18
#-----| v0_16(void) = ^IndirectReadSideEffect[-1] : &:r0_15, ~m2157_19
# 2157| m2157_20(iterator) = Store[(__end)] : &:r2157_13, r2157_17
# 2157| r2157_1(glval<vector<ClassWithDestructor>>) = VariableAddress[ys] :
# 2157| m2157_2(vector<ClassWithDestructor>) = Uninitialized[ys] : &:r2157_1
# 2157| r2157_3(glval<unknown>) = FunctionAddress[vector] :
# 2157| r2157_4(glval<ClassWithDestructor>) = VariableAddress[#temp2157:40] :
# 2157| r2157_5(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2157| r2157_6(ClassWithDestructor) = Load[x] : &:r2157_5, m2153_8
# 2157| m2157_7(ClassWithDestructor) = Store[#temp2157:40] : &:r2157_4, r2157_6
# 2157| r2157_8(ClassWithDestructor) = Load[#temp2157:40] : &:r2157_4, m2157_7
# 2157| v2157_9(void) = Call[vector] : func:r2157_3, this:r2157_1, 0:r2157_8
# 2157| m2157_10(unknown) = ^CallSideEffect : ~m2154_42
# 2157| m2157_11(unknown) = Chi : total:m2154_42, partial:m2157_10
# 2157| m2157_12(vector<ClassWithDestructor>) = ^IndirectMayWriteSideEffect[-1] : &:r2157_1
# 2157| m2157_13(vector<ClassWithDestructor>) = Chi : total:m2157_2, partial:m2157_12
# 2157| r2157_14(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2157| r2157_15(glval<vector<ClassWithDestructor>>) = VariableAddress[ys] :
# 2157| r2157_16(vector<ClassWithDestructor> &) = CopyValue : r2157_15
# 2157| m2157_17(vector<ClassWithDestructor> &) = Store[(__range)] : &:r2157_14, r2157_16
# 2157| r2157_18(glval<iterator>) = VariableAddress[(__begin)] :
# 2157| r2157_19(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2157| r2157_20(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2157_19, m2157_17
#-----| r0_11(glval<vector<ClassWithDestructor>>) = CopyValue : r2157_20
#-----| r0_12(glval<vector<ClassWithDestructor>>) = Convert : r0_11
# 2157| r2157_21(glval<unknown>) = FunctionAddress[begin] :
# 2157| r2157_22(iterator) = Call[begin] : func:r2157_21, this:r0_12
# 2157| m2157_23(unknown) = ^CallSideEffect : ~m2157_11
# 2157| m2157_24(unknown) = Chi : total:m2157_11, partial:m2157_23
#-----| v0_13(void) = ^IndirectReadSideEffect[-1] : &:r0_12, m2157_13
# 2157| m2157_25(iterator) = Store[(__begin)] : &:r2157_18, r2157_22
# 2157| r2157_26(glval<iterator>) = VariableAddress[(__end)] :
# 2157| r2157_27(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2157| r2157_28(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2157_27, m2157_17
#-----| r0_14(glval<vector<ClassWithDestructor>>) = CopyValue : r2157_28
#-----| r0_15(glval<vector<ClassWithDestructor>>) = Convert : r0_14
# 2157| r2157_29(glval<unknown>) = FunctionAddress[end] :
# 2157| r2157_30(iterator) = Call[end] : func:r2157_29, this:r0_15
# 2157| m2157_31(unknown) = ^CallSideEffect : ~m2157_24
# 2157| m2157_32(unknown) = Chi : total:m2157_24, partial:m2157_31
#-----| v0_16(void) = ^IndirectReadSideEffect[-1] : &:r0_15, m2157_13
# 2157| m2157_33(iterator) = Store[(__end)] : &:r2157_26, r2157_30
#-----| Goto -> Block 11
# 2157| Block 11
# 2157| m2157_21(iterator) = Phi : from 10:m2157_12, from 12:m2157_38
# 2157| m2157_22(unknown) = Phi : from 10:~m2157_19, from 12:~m2157_35
# 2157| r2157_23(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_17(glval<iterator>) = Convert : r2157_23
# 2157| r2157_24(glval<unknown>) = FunctionAddress[operator!=] :
# 2157| r2157_25(glval<iterator>) = VariableAddress[(__end)] :
# 2157| r2157_26(iterator) = Load[(__end)] : &:r2157_25, m2157_20
# 2157| r2157_27(bool) = Call[operator!=] : func:r2157_24, this:r0_17, 0:r2157_26
# 2157| m2157_28(unknown) = ^CallSideEffect : ~m2157_22
# 2157| m2157_29(unknown) = Chi : total:m2157_22, partial:m2157_28
#-----| v0_18(void) = ^IndirectReadSideEffect[-1] : &:r0_17, m2157_21
# 2157| v2157_30(void) = ConditionalBranch : r2157_27
# 2157| m2157_34(iterator) = Phi : from 10:m2157_25, from 14:m2157_83
# 2157| m2157_35(unknown) = Phi : from 10:~m2157_32, from 14:~m2157_80
# 2157| r2157_36(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_17(glval<iterator>) = Convert : r2157_36
# 2157| r2157_37(glval<unknown>) = FunctionAddress[operator!=] :
# 2157| r2157_38(glval<iterator>) = VariableAddress[(__end)] :
# 2157| r2157_39(iterator) = Load[(__end)] : &:r2157_38, m2157_33
# 2157| r2157_40(bool) = Call[operator!=] : func:r2157_37, this:r0_17, 0:r2157_39
# 2157| m2157_41(unknown) = ^CallSideEffect : ~m2157_35
# 2157| m2157_42(unknown) = Chi : total:m2157_35, partial:m2157_41
#-----| v0_18(void) = ^IndirectReadSideEffect[-1] : &:r0_17, m2157_34
# 2157| v2157_43(void) = ConditionalBranch : r2157_40
#-----| False -> Block 15
#-----| True -> Block 13
#-----| True -> Block 12
# 2157| Block 12
# 2157| r2157_31(glval<iterator>) = VariableAddress[(__begin)] :
# 2157| r2157_32(glval<unknown>) = FunctionAddress[operator++] :
# 2157| r2157_33(iterator &) = Call[operator++] : func:r2157_32, this:r2157_31
# 2157| m2157_34(unknown) = ^CallSideEffect : ~m2159_5
# 2157| m2157_35(unknown) = Chi : total:m2159_5, partial:m2157_34
# 2157| v2157_36(void) = ^IndirectReadSideEffect[-1] : &:r2157_31, m2157_21
# 2157| m2157_37(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2157_31
# 2157| m2157_38(iterator) = Chi : total:m2157_21, partial:m2157_37
# 2157| r2157_39(glval<iterator>) = CopyValue : r2157_33
#-----| Goto (back edge) -> Block 11
# 2157| Block 13
# 2157| r2157_40(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2157| r2157_41(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_19(glval<iterator>) = Convert : r2157_41
# 2157| r2157_42(glval<unknown>) = FunctionAddress[operator*] :
# 2157| r2157_43(ClassWithDestructor &) = Call[operator*] : func:r2157_42, this:r0_19
# 2157| m2157_44(unknown) = ^CallSideEffect : ~m2157_29
# 2157| m2157_45(unknown) = Chi : total:m2157_29, partial:m2157_44
#-----| v0_20(void) = ^IndirectReadSideEffect[-1] : &:r0_19, m2157_21
# 2157| r2157_46(ClassWithDestructor) = Load[?] : &:r2157_43, ~m2157_45
# 2157| m2157_47(ClassWithDestructor) = Store[y] : &:r2157_40, r2157_46
# 2157| r2157_44(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2157| r2157_45(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_19(glval<iterator>) = Convert : r2157_45
# 2157| r2157_46(glval<unknown>) = FunctionAddress[operator*] :
# 2157| r2157_47(ClassWithDestructor &) = Call[operator*] : func:r2157_46, this:r0_19
# 2157| m2157_48(unknown) = ^CallSideEffect : ~m2157_42
# 2157| m2157_49(unknown) = Chi : total:m2157_42, partial:m2157_48
#-----| v0_20(void) = ^IndirectReadSideEffect[-1] : &:r0_19, m2157_34
# 2157| r2157_50(ClassWithDestructor) = Load[?] : &:r2157_47, ~m2157_49
# 2157| m2157_51(ClassWithDestructor) = Store[y] : &:r2157_44, r2157_50
# 2158| r2158_1(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2158| r2158_2(glval<unknown>) = FunctionAddress[set_x] :
# 2158| r2158_3(char) = Constant[97] :
# 2158| v2158_4(void) = Call[set_x] : func:r2158_2, this:r2158_1, 0:r2158_3
# 2158| m2158_5(unknown) = ^CallSideEffect : ~m2157_45
# 2158| m2158_6(unknown) = Chi : total:m2157_45, partial:m2158_5
# 2158| v2158_7(void) = ^IndirectReadSideEffect[-1] : &:r2158_1, m2157_47
# 2158| m2158_5(unknown) = ^CallSideEffect : ~m2157_49
# 2158| m2158_6(unknown) = Chi : total:m2157_49, partial:m2158_5
# 2158| v2158_7(void) = ^IndirectReadSideEffect[-1] : &:r2158_1, m2157_51
# 2158| m2158_8(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2158_1
# 2158| m2158_9(ClassWithDestructor) = Chi : total:m2157_47, partial:m2158_8
# 2158| m2158_9(ClassWithDestructor) = Chi : total:m2157_51, partial:m2158_8
# 2159| r2159_1(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2159| r2159_2(glval<unknown>) = FunctionAddress[get_x] :
# 2159| r2159_3(char) = Call[get_x] : func:r2159_2, this:r2159_1
@@ -13069,91 +13067,136 @@ ir.cpp:
# 2159| r2159_10(int) = Constant[98] :
# 2159| r2159_11(bool) = CompareEQ : r2159_9, r2159_10
# 2159| v2159_12(void) = ConditionalBranch : r2159_11
#-----| False -> Block 12
#-----| True -> Block 14
#-----| False -> Block 14
#-----| True -> Block 13
# 2160| Block 14
# 2160| v2160_1(void) = NoOp :
# 2172| r2172_1(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2172| r2172_2(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2172| v2172_3(void) = Call[~ClassWithDestructor] : func:r2172_2, this:r2172_1
# 2172| m2172_4(unknown) = ^CallSideEffect : ~m2159_5
# 2172| m2172_5(unknown) = Chi : total:m2159_5, partial:m2172_4
# 2172| v2172_6(void) = ^IndirectReadSideEffect[-1] : &:r2172_1, m2153_8
# 2172| m2172_7(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2172_1
# 2172| m2172_8(ClassWithDestructor) = Chi : total:m2153_8, partial:m2172_7
# 2160| Block 13
# 2160| v2160_1(void) = NoOp :
# 2157| r2157_52(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2157| r2157_53(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2157| v2157_54(void) = Call[~ClassWithDestructor] : func:r2157_53, this:r2157_52
# 2157| m2157_55(unknown) = ^CallSideEffect : ~m2159_5
# 2157| m2157_56(unknown) = Chi : total:m2159_5, partial:m2157_55
# 2157| v2157_57(void) = ^IndirectReadSideEffect[-1] : &:r2157_52, m2159_8
# 2157| m2157_58(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2157_52
# 2157| m2157_59(ClassWithDestructor) = Chi : total:m2159_8, partial:m2157_58
# 2157| r2157_60(glval<vector<ClassWithDestructor>>) = VariableAddress[ys] :
# 2157| r2157_61(glval<unknown>) = FunctionAddress[~vector] :
# 2157| v2157_62(void) = Call[~vector] : func:r2157_61, this:r2157_60
# 2157| m2157_63(unknown) = ^CallSideEffect : ~m2157_56
# 2157| m2157_64(unknown) = Chi : total:m2157_56, partial:m2157_63
# 2157| v2157_65(void) = ^IndirectReadSideEffect[-1] : &:r2157_60, m2157_13
# 2157| m2157_66(vector<ClassWithDestructor>) = ^IndirectMayWriteSideEffect[-1] : &:r2157_60
# 2157| m2157_67(vector<ClassWithDestructor>) = Chi : total:m2157_13, partial:m2157_66
# 2172| r2172_1(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2172| r2172_2(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2172| v2172_3(void) = Call[~ClassWithDestructor] : func:r2172_2, this:r2172_1
# 2172| m2172_4(unknown) = ^CallSideEffect : ~m2157_64
# 2172| m2172_5(unknown) = Chi : total:m2157_64, partial:m2172_4
# 2172| v2172_6(void) = ^IndirectReadSideEffect[-1] : &:r2172_1, m2153_8
# 2172| m2172_7(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2172_1
# 2172| m2172_8(ClassWithDestructor) = Chi : total:m2153_8, partial:m2172_7
#-----| Goto -> Block 1
# 2157| Block 14
# 2157| r2157_68(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2157| r2157_69(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2157| v2157_70(void) = Call[~ClassWithDestructor] : func:r2157_69, this:r2157_68
# 2157| m2157_71(unknown) = ^CallSideEffect : ~m2159_5
# 2157| m2157_72(unknown) = Chi : total:m2159_5, partial:m2157_71
# 2157| v2157_73(void) = ^IndirectReadSideEffect[-1] : &:r2157_68, m2159_8
# 2157| m2157_74(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2157_68
# 2157| m2157_75(ClassWithDestructor) = Chi : total:m2159_8, partial:m2157_74
# 2157| r2157_76(glval<iterator>) = VariableAddress[(__begin)] :
# 2157| r2157_77(glval<unknown>) = FunctionAddress[operator++] :
# 2157| r2157_78(iterator &) = Call[operator++] : func:r2157_77, this:r2157_76
# 2157| m2157_79(unknown) = ^CallSideEffect : ~m2157_72
# 2157| m2157_80(unknown) = Chi : total:m2157_72, partial:m2157_79
# 2157| v2157_81(void) = ^IndirectReadSideEffect[-1] : &:r2157_76, m2157_34
# 2157| m2157_82(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2157_76
# 2157| m2157_83(iterator) = Chi : total:m2157_34, partial:m2157_82
# 2157| r2157_84(glval<iterator>) = CopyValue : r2157_78
#-----| Goto (back edge) -> Block 11
# 2163| Block 15
# 2163| r2163_1(glval<vector<int> &>) = VariableAddress[(__range)] :
# 2163| r2163_2(glval<vector<int>>) = VariableAddress :
# 2163| r2163_3(vector<int> &) = CopyValue : r2163_2
# 2163| m2163_4(vector<int> &) = Store[(__range)] : &:r2163_1, r2163_3
# 2163| r2163_5(glval<iterator>) = VariableAddress[(__begin)] :
# 2163| r2163_6(glval<vector<int> &>) = VariableAddress[(__range)] :
# 2163| r2163_7(vector<int> &) = Load[(__range)] : &:r2163_6, m2163_4
#-----| r0_21(glval<vector<int>>) = CopyValue : r2163_7
#-----| r0_22(glval<vector<int>>) = Convert : r0_21
# 2163| r2163_8(glval<unknown>) = FunctionAddress[begin] :
# 2163| r2163_9(iterator) = Call[begin] : func:r2163_8, this:r0_22
# 2163| m2163_10(unknown) = ^CallSideEffect : ~m2157_29
# 2163| m2163_11(unknown) = Chi : total:m2157_29, partial:m2163_10
#-----| v0_23(void) = ^IndirectReadSideEffect[-1] : &:r0_22, ~m2163_11
# 2163| m2163_12(iterator) = Store[(__begin)] : &:r2163_5, r2163_9
# 2163| r2163_13(glval<iterator>) = VariableAddress[(__end)] :
# 2163| r2163_14(glval<vector<int> &>) = VariableAddress[(__range)] :
# 2163| r2163_15(vector<int> &) = Load[(__range)] : &:r2163_14, m2163_4
#-----| r0_24(glval<vector<int>>) = CopyValue : r2163_15
#-----| r0_25(glval<vector<int>>) = Convert : r0_24
# 2163| r2163_16(glval<unknown>) = FunctionAddress[end] :
# 2163| r2163_17(iterator) = Call[end] : func:r2163_16, this:r0_25
# 2163| m2163_18(unknown) = ^CallSideEffect : ~m2163_11
# 2163| m2163_19(unknown) = Chi : total:m2163_11, partial:m2163_18
#-----| v0_26(void) = ^IndirectReadSideEffect[-1] : &:r0_25, ~m2163_19
# 2163| m2163_20(iterator) = Store[(__end)] : &:r2163_13, r2163_17
# 2163| r2163_1(glval<vector<int>>) = VariableAddress[ys] :
# 2163| m2163_2(vector<int>) = Uninitialized[ys] : &:r2163_1
# 2163| r2163_3(glval<unknown>) = FunctionAddress[vector] :
# 2163| r2163_4(int) = Constant[1] :
# 2163| v2163_5(void) = Call[vector] : func:r2163_3, this:r2163_1, 0:r2163_4
# 2163| m2163_6(unknown) = ^CallSideEffect : ~m2157_42
# 2163| m2163_7(unknown) = Chi : total:m2157_42, partial:m2163_6
# 2163| m2163_8(vector<int>) = ^IndirectMayWriteSideEffect[-1] : &:r2163_1
# 2163| m2163_9(vector<int>) = Chi : total:m2163_2, partial:m2163_8
# 2163| r2163_10(glval<vector<int> &>) = VariableAddress[(__range)] :
# 2163| r2163_11(glval<vector<int>>) = VariableAddress[ys] :
# 2163| r2163_12(vector<int> &) = CopyValue : r2163_11
# 2163| m2163_13(vector<int> &) = Store[(__range)] : &:r2163_10, r2163_12
# 2163| r2163_14(glval<iterator>) = VariableAddress[(__begin)] :
# 2163| r2163_15(glval<vector<int> &>) = VariableAddress[(__range)] :
# 2163| r2163_16(vector<int> &) = Load[(__range)] : &:r2163_15, m2163_13
#-----| r0_21(glval<vector<int>>) = CopyValue : r2163_16
#-----| r0_22(glval<vector<int>>) = Convert : r0_21
# 2163| r2163_17(glval<unknown>) = FunctionAddress[begin] :
# 2163| r2163_18(iterator) = Call[begin] : func:r2163_17, this:r0_22
# 2163| m2163_19(unknown) = ^CallSideEffect : ~m2163_7
# 2163| m2163_20(unknown) = Chi : total:m2163_7, partial:m2163_19
#-----| v0_23(void) = ^IndirectReadSideEffect[-1] : &:r0_22, m2163_9
# 2163| m2163_21(iterator) = Store[(__begin)] : &:r2163_14, r2163_18
# 2163| r2163_22(glval<iterator>) = VariableAddress[(__end)] :
# 2163| r2163_23(glval<vector<int> &>) = VariableAddress[(__range)] :
# 2163| r2163_24(vector<int> &) = Load[(__range)] : &:r2163_23, m2163_13
#-----| r0_24(glval<vector<int>>) = CopyValue : r2163_24
#-----| r0_25(glval<vector<int>>) = Convert : r0_24
# 2163| r2163_25(glval<unknown>) = FunctionAddress[end] :
# 2163| r2163_26(iterator) = Call[end] : func:r2163_25, this:r0_25
# 2163| m2163_27(unknown) = ^CallSideEffect : ~m2163_20
# 2163| m2163_28(unknown) = Chi : total:m2163_20, partial:m2163_27
#-----| v0_26(void) = ^IndirectReadSideEffect[-1] : &:r0_25, m2163_9
# 2163| m2163_29(iterator) = Store[(__end)] : &:r2163_22, r2163_26
#-----| Goto -> Block 16
# 2163| Block 16
# 2163| m2163_21(iterator) = Phi : from 15:m2163_12, from 17:m2163_38
# 2163| m2163_22(unknown) = Phi : from 15:~m2163_19, from 17:~m2163_35
# 2163| r2163_23(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_27(glval<iterator>) = Convert : r2163_23
# 2163| r2163_24(glval<unknown>) = FunctionAddress[operator!=] :
# 2163| r2163_25(glval<iterator>) = VariableAddress[(__end)] :
# 2163| r2163_26(iterator) = Load[(__end)] : &:r2163_25, m2163_20
# 2163| r2163_27(bool) = Call[operator!=] : func:r2163_24, this:r0_27, 0:r2163_26
# 2163| m2163_28(unknown) = ^CallSideEffect : ~m2163_22
# 2163| m2163_29(unknown) = Chi : total:m2163_22, partial:m2163_28
#-----| v0_28(void) = ^IndirectReadSideEffect[-1] : &:r0_27, m2163_21
# 2163| v2163_30(void) = ConditionalBranch : r2163_27
# 2163| m2163_30(iterator) = Phi : from 15:m2163_21, from 17:m2163_47
# 2163| m2163_31(unknown) = Phi : from 15:~m2163_28, from 17:~m2163_44
# 2163| r2163_32(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_27(glval<iterator>) = Convert : r2163_32
# 2163| r2163_33(glval<unknown>) = FunctionAddress[operator!=] :
# 2163| r2163_34(glval<iterator>) = VariableAddress[(__end)] :
# 2163| r2163_35(iterator) = Load[(__end)] : &:r2163_34, m2163_29
# 2163| r2163_36(bool) = Call[operator!=] : func:r2163_33, this:r0_27, 0:r2163_35
# 2163| m2163_37(unknown) = ^CallSideEffect : ~m2163_31
# 2163| m2163_38(unknown) = Chi : total:m2163_31, partial:m2163_37
#-----| v0_28(void) = ^IndirectReadSideEffect[-1] : &:r0_27, m2163_30
# 2163| v2163_39(void) = ConditionalBranch : r2163_36
#-----| False -> Block 20
#-----| True -> Block 18
# 2163| Block 17
# 2163| r2163_31(glval<iterator>) = VariableAddress[(__begin)] :
# 2163| r2163_32(glval<unknown>) = FunctionAddress[operator++] :
# 2163| r2163_33(iterator &) = Call[operator++] : func:r2163_32, this:r2163_31
# 2163| m2163_34(unknown) = ^CallSideEffect : ~m2163_45
# 2163| m2163_35(unknown) = Chi : total:m2163_45, partial:m2163_34
# 2163| v2163_36(void) = ^IndirectReadSideEffect[-1] : &:r2163_31, m2163_21
# 2163| m2163_37(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2163_31
# 2163| m2163_38(iterator) = Chi : total:m2163_21, partial:m2163_37
# 2163| r2163_39(glval<iterator>) = CopyValue : r2163_33
# 2163| r2163_40(glval<iterator>) = VariableAddress[(__begin)] :
# 2163| r2163_41(glval<unknown>) = FunctionAddress[operator++] :
# 2163| r2163_42(iterator &) = Call[operator++] : func:r2163_41, this:r2163_40
# 2163| m2163_43(unknown) = ^CallSideEffect : ~m2163_54
# 2163| m2163_44(unknown) = Chi : total:m2163_54, partial:m2163_43
# 2163| v2163_45(void) = ^IndirectReadSideEffect[-1] : &:r2163_40, m2163_30
# 2163| m2163_46(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2163_40
# 2163| m2163_47(iterator) = Chi : total:m2163_30, partial:m2163_46
# 2163| r2163_48(glval<iterator>) = CopyValue : r2163_42
#-----| Goto (back edge) -> Block 16
# 2163| Block 18
# 2163| r2163_40(glval<int>) = VariableAddress[y] :
# 2163| r2163_41(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_29(glval<iterator>) = Convert : r2163_41
# 2163| r2163_42(glval<unknown>) = FunctionAddress[operator*] :
# 2163| r2163_43(int &) = Call[operator*] : func:r2163_42, this:r0_29
# 2163| m2163_44(unknown) = ^CallSideEffect : ~m2163_29
# 2163| m2163_45(unknown) = Chi : total:m2163_29, partial:m2163_44
#-----| v0_30(void) = ^IndirectReadSideEffect[-1] : &:r0_29, m2163_21
# 2163| r2163_46(int) = Load[?] : &:r2163_43, ~m2163_45
# 2163| m2163_47(int) = Store[y] : &:r2163_40, r2163_46
# 2163| r2163_49(glval<int>) = VariableAddress[y] :
# 2163| r2163_50(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_29(glval<iterator>) = Convert : r2163_50
# 2163| r2163_51(glval<unknown>) = FunctionAddress[operator*] :
# 2163| r2163_52(int &) = Call[operator*] : func:r2163_51, this:r0_29
# 2163| m2163_53(unknown) = ^CallSideEffect : ~m2163_38
# 2163| m2163_54(unknown) = Chi : total:m2163_38, partial:m2163_53
#-----| v0_30(void) = ^IndirectReadSideEffect[-1] : &:r0_29, m2163_30
# 2163| r2163_55(int) = Load[?] : &:r2163_52, ~m2163_54
# 2163| m2163_56(int) = Store[y] : &:r2163_49, r2163_55
# 2164| r2164_1(glval<int>) = VariableAddress[y] :
# 2164| r2164_2(int) = Load[y] : &:r2164_1, m2163_47
# 2164| r2164_2(int) = Load[y] : &:r2164_1, m2163_56
# 2164| r2164_3(int) = Constant[1] :
# 2164| r2164_4(bool) = CompareEQ : r2164_2, r2164_3
# 2164| v2164_5(void) = ConditionalBranch : r2164_4
@@ -13162,78 +13205,99 @@ ir.cpp:
# 2165| Block 19
# 2165| v2165_1(void) = NoOp :
# 2163| r2163_57(glval<vector<int>>) = VariableAddress[ys] :
# 2163| r2163_58(glval<unknown>) = FunctionAddress[~vector] :
# 2163| v2163_59(void) = Call[~vector] : func:r2163_58, this:r2163_57
# 2163| m2163_60(unknown) = ^CallSideEffect : ~m2163_54
# 2163| m2163_61(unknown) = Chi : total:m2163_54, partial:m2163_60
# 2163| v2163_62(void) = ^IndirectReadSideEffect[-1] : &:r2163_57, m2163_9
# 2163| m2163_63(vector<int>) = ^IndirectMayWriteSideEffect[-1] : &:r2163_57
# 2163| m2163_64(vector<int>) = Chi : total:m2163_9, partial:m2163_63
# 2172| r2172_9(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2172| r2172_10(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2172| v2172_11(void) = Call[~ClassWithDestructor] : func:r2172_10, this:r2172_9
# 2172| m2172_12(unknown) = ^CallSideEffect : ~m2163_45
# 2172| m2172_13(unknown) = Chi : total:m2163_45, partial:m2172_12
# 2172| m2172_12(unknown) = ^CallSideEffect : ~m2163_61
# 2172| m2172_13(unknown) = Chi : total:m2163_61, partial:m2172_12
# 2172| v2172_14(void) = ^IndirectReadSideEffect[-1] : &:r2172_9, m2153_8
# 2172| m2172_15(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2172_9
# 2172| m2172_16(ClassWithDestructor) = Chi : total:m2153_8, partial:m2172_15
#-----| Goto -> Block 1
# 2168| Block 20
# 2168| r2168_1(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2168| r2168_2(glval<vector<ClassWithDestructor>>) = VariableAddress :
# 2168| r2168_3(vector<ClassWithDestructor> &) = CopyValue : r2168_2
# 2168| m2168_4(vector<ClassWithDestructor> &) = Store[(__range)] : &:r2168_1, r2168_3
# 2168| r2168_5(glval<iterator>) = VariableAddress[(__begin)] :
# 2168| r2168_6(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2168| r2168_7(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2168_6, m2168_4
#-----| r0_31(glval<vector<ClassWithDestructor>>) = CopyValue : r2168_7
#-----| r0_32(glval<vector<ClassWithDestructor>>) = Convert : r0_31
# 2168| r2168_8(glval<unknown>) = FunctionAddress[begin] :
# 2168| r2168_9(iterator) = Call[begin] : func:r2168_8, this:r0_32
# 2168| m2168_10(unknown) = ^CallSideEffect : ~m2163_29
# 2168| m2168_11(unknown) = Chi : total:m2163_29, partial:m2168_10
#-----| v0_33(void) = ^IndirectReadSideEffect[-1] : &:r0_32, ~m2168_11
# 2168| m2168_12(iterator) = Store[(__begin)] : &:r2168_5, r2168_9
# 2168| r2168_13(glval<iterator>) = VariableAddress[(__end)] :
# 2168| r2168_14(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2168| r2168_15(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2168_14, m2168_4
#-----| r0_34(glval<vector<ClassWithDestructor>>) = CopyValue : r2168_15
#-----| r0_35(glval<vector<ClassWithDestructor>>) = Convert : r0_34
# 2168| r2168_16(glval<unknown>) = FunctionAddress[end] :
# 2168| r2168_17(iterator) = Call[end] : func:r2168_16, this:r0_35
# 2168| m2168_18(unknown) = ^CallSideEffect : ~m2168_11
# 2168| m2168_19(unknown) = Chi : total:m2168_11, partial:m2168_18
#-----| v0_36(void) = ^IndirectReadSideEffect[-1] : &:r0_35, ~m2168_19
# 2168| m2168_20(iterator) = Store[(__end)] : &:r2168_13, r2168_17
# 2168| r2168_1(glval<vector<ClassWithDestructor>>) = VariableAddress[ys] :
# 2168| m2168_2(vector<ClassWithDestructor>) = Uninitialized[ys] : &:r2168_1
# 2168| r2168_3(glval<unknown>) = FunctionAddress[vector] :
# 2168| r2168_4(glval<ClassWithDestructor>) = VariableAddress[#temp2168:40] :
# 2168| r2168_5(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2168| r2168_6(ClassWithDestructor) = Load[x] : &:r2168_5, m2153_8
# 2168| m2168_7(ClassWithDestructor) = Store[#temp2168:40] : &:r2168_4, r2168_6
# 2168| r2168_8(ClassWithDestructor) = Load[#temp2168:40] : &:r2168_4, m2168_7
# 2168| v2168_9(void) = Call[vector] : func:r2168_3, this:r2168_1, 0:r2168_8
# 2168| m2168_10(unknown) = ^CallSideEffect : ~m2163_38
# 2168| m2168_11(unknown) = Chi : total:m2163_38, partial:m2168_10
# 2168| m2168_12(vector<ClassWithDestructor>) = ^IndirectMayWriteSideEffect[-1] : &:r2168_1
# 2168| m2168_13(vector<ClassWithDestructor>) = Chi : total:m2168_2, partial:m2168_12
# 2168| r2168_14(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2168| r2168_15(glval<vector<ClassWithDestructor>>) = VariableAddress[ys] :
# 2168| r2168_16(vector<ClassWithDestructor> &) = CopyValue : r2168_15
# 2168| m2168_17(vector<ClassWithDestructor> &) = Store[(__range)] : &:r2168_14, r2168_16
# 2168| r2168_18(glval<iterator>) = VariableAddress[(__begin)] :
# 2168| r2168_19(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2168| r2168_20(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2168_19, m2168_17
#-----| r0_31(glval<vector<ClassWithDestructor>>) = CopyValue : r2168_20
#-----| r0_32(glval<vector<ClassWithDestructor>>) = Convert : r0_31
# 2168| r2168_21(glval<unknown>) = FunctionAddress[begin] :
# 2168| r2168_22(iterator) = Call[begin] : func:r2168_21, this:r0_32
# 2168| m2168_23(unknown) = ^CallSideEffect : ~m2168_11
# 2168| m2168_24(unknown) = Chi : total:m2168_11, partial:m2168_23
#-----| v0_33(void) = ^IndirectReadSideEffect[-1] : &:r0_32, m2168_13
# 2168| m2168_25(iterator) = Store[(__begin)] : &:r2168_18, r2168_22
# 2168| r2168_26(glval<iterator>) = VariableAddress[(__end)] :
# 2168| r2168_27(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2168| r2168_28(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2168_27, m2168_17
#-----| r0_34(glval<vector<ClassWithDestructor>>) = CopyValue : r2168_28
#-----| r0_35(glval<vector<ClassWithDestructor>>) = Convert : r0_34
# 2168| r2168_29(glval<unknown>) = FunctionAddress[end] :
# 2168| r2168_30(iterator) = Call[end] : func:r2168_29, this:r0_35
# 2168| m2168_31(unknown) = ^CallSideEffect : ~m2168_24
# 2168| m2168_32(unknown) = Chi : total:m2168_24, partial:m2168_31
#-----| v0_36(void) = ^IndirectReadSideEffect[-1] : &:r0_35, m2168_13
# 2168| m2168_33(iterator) = Store[(__end)] : &:r2168_26, r2168_30
#-----| Goto -> Block 21
# 2168| Block 21
# 2168| m2168_21(iterator) = Phi : from 20:m2168_12, from 22:m2168_46
# 2168| m2168_22(unknown) = Phi : from 20:~m2168_19, from 22:~m2168_43
# 2168| r2168_23(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_37(glval<iterator>) = Convert : r2168_23
# 2168| r2168_24(glval<unknown>) = FunctionAddress[operator!=] :
# 2168| r2168_25(glval<iterator>) = VariableAddress[(__end)] :
# 2168| r2168_26(iterator) = Load[(__end)] : &:r2168_25, m2168_20
# 2168| r2168_27(bool) = Call[operator!=] : func:r2168_24, this:r0_37, 0:r2168_26
# 2168| m2168_28(unknown) = ^CallSideEffect : ~m2168_22
# 2168| m2168_29(unknown) = Chi : total:m2168_22, partial:m2168_28
#-----| v0_38(void) = ^IndirectReadSideEffect[-1] : &:r0_37, m2168_21
# 2168| v2168_30(void) = ConditionalBranch : r2168_27
# 2168| m2168_34(iterator) = Phi : from 20:m2168_25, from 22:m2168_67
# 2168| m2168_35(unknown) = Phi : from 20:~m2168_32, from 22:~m2168_64
# 2168| r2168_36(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_37(glval<iterator>) = Convert : r2168_36
# 2168| r2168_37(glval<unknown>) = FunctionAddress[operator!=] :
# 2168| r2168_38(glval<iterator>) = VariableAddress[(__end)] :
# 2168| r2168_39(iterator) = Load[(__end)] : &:r2168_38, m2168_33
# 2168| r2168_40(bool) = Call[operator!=] : func:r2168_37, this:r0_37, 0:r2168_39
# 2168| m2168_41(unknown) = ^CallSideEffect : ~m2168_35
# 2168| m2168_42(unknown) = Chi : total:m2168_35, partial:m2168_41
#-----| v0_38(void) = ^IndirectReadSideEffect[-1] : &:r0_37, m2168_34
# 2168| v2168_43(void) = ConditionalBranch : r2168_40
#-----| False -> Block 23
#-----| True -> Block 22
# 2168| Block 22
# 2168| r2168_31(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2168| r2168_32(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_39(glval<iterator>) = Convert : r2168_32
# 2168| r2168_33(glval<unknown>) = FunctionAddress[operator*] :
# 2168| r2168_34(ClassWithDestructor &) = Call[operator*] : func:r2168_33, this:r0_39
# 2168| m2168_35(unknown) = ^CallSideEffect : ~m2168_29
# 2168| m2168_36(unknown) = Chi : total:m2168_29, partial:m2168_35
#-----| v0_40(void) = ^IndirectReadSideEffect[-1] : &:r0_39, m2168_21
# 2168| r2168_37(ClassWithDestructor) = Load[?] : &:r2168_34, ~m2168_36
# 2168| m2168_38(ClassWithDestructor) = Store[y] : &:r2168_31, r2168_37
# 2168| r2168_44(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2168| r2168_45(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_39(glval<iterator>) = Convert : r2168_45
# 2168| r2168_46(glval<unknown>) = FunctionAddress[operator*] :
# 2168| r2168_47(ClassWithDestructor &) = Call[operator*] : func:r2168_46, this:r0_39
# 2168| m2168_48(unknown) = ^CallSideEffect : ~m2168_42
# 2168| m2168_49(unknown) = Chi : total:m2168_42, partial:m2168_48
#-----| v0_40(void) = ^IndirectReadSideEffect[-1] : &:r0_39, m2168_34
# 2168| r2168_50(ClassWithDestructor) = Load[?] : &:r2168_47, ~m2168_49
# 2168| m2168_51(ClassWithDestructor) = Store[y] : &:r2168_44, r2168_50
# 2169| r2169_1(glval<ClassWithDestructor>) = VariableAddress[z1] :
# 2169| m2169_2(ClassWithDestructor) = Uninitialized[z1] : &:r2169_1
# 2169| r2169_3(glval<unknown>) = FunctionAddress[ClassWithDestructor] :
# 2169| v2169_4(void) = Call[ClassWithDestructor] : func:r2169_3, this:r2169_1
# 2169| m2169_5(unknown) = ^CallSideEffect : ~m2168_36
# 2169| m2169_6(unknown) = Chi : total:m2168_36, partial:m2169_5
# 2169| m2169_5(unknown) = ^CallSideEffect : ~m2168_49
# 2169| m2169_6(unknown) = Chi : total:m2168_49, partial:m2169_5
# 2169| m2169_7(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2169_1
# 2169| m2169_8(ClassWithDestructor) = Chi : total:m2169_2, partial:m2169_7
# 2170| r2170_1(glval<ClassWithDestructor>) = VariableAddress[z2] :
@@ -13260,15 +13324,23 @@ ir.cpp:
# 2171| v2171_14(void) = ^IndirectReadSideEffect[-1] : &:r2171_9, m2169_8
# 2171| m2171_15(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2171_9
# 2171| m2171_16(ClassWithDestructor) = Chi : total:m2169_8, partial:m2171_15
# 2168| r2168_39(glval<iterator>) = VariableAddress[(__begin)] :
# 2168| r2168_40(glval<unknown>) = FunctionAddress[operator++] :
# 2168| r2168_41(iterator &) = Call[operator++] : func:r2168_40, this:r2168_39
# 2168| m2168_42(unknown) = ^CallSideEffect : ~m2171_13
# 2168| m2168_43(unknown) = Chi : total:m2171_13, partial:m2168_42
# 2168| v2168_44(void) = ^IndirectReadSideEffect[-1] : &:r2168_39, m2168_21
# 2168| m2168_45(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2168_39
# 2168| m2168_46(iterator) = Chi : total:m2168_21, partial:m2168_45
# 2168| r2168_47(glval<iterator>) = CopyValue : r2168_41
# 2168| r2168_52(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2168| r2168_53(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2168| v2168_54(void) = Call[~ClassWithDestructor] : func:r2168_53, this:r2168_52
# 2168| m2168_55(unknown) = ^CallSideEffect : ~m2171_13
# 2168| m2168_56(unknown) = Chi : total:m2171_13, partial:m2168_55
# 2168| v2168_57(void) = ^IndirectReadSideEffect[-1] : &:r2168_52, m2168_51
# 2168| m2168_58(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2168_52
# 2168| m2168_59(ClassWithDestructor) = Chi : total:m2168_51, partial:m2168_58
# 2168| r2168_60(glval<iterator>) = VariableAddress[(__begin)] :
# 2168| r2168_61(glval<unknown>) = FunctionAddress[operator++] :
# 2168| r2168_62(iterator &) = Call[operator++] : func:r2168_61, this:r2168_60
# 2168| m2168_63(unknown) = ^CallSideEffect : ~m2168_56
# 2168| m2168_64(unknown) = Chi : total:m2168_56, partial:m2168_63
# 2168| v2168_65(void) = ^IndirectReadSideEffect[-1] : &:r2168_60, m2168_34
# 2168| m2168_66(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2168_60
# 2168| m2168_67(iterator) = Chi : total:m2168_34, partial:m2168_66
# 2168| r2168_68(glval<iterator>) = CopyValue : r2168_62
#-----| Goto (back edge) -> Block 21
# 2172| Block 23
@@ -13276,8 +13348,8 @@ ir.cpp:
# 2172| r2172_18(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2172| r2172_19(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2172| v2172_20(void) = Call[~ClassWithDestructor] : func:r2172_19, this:r2172_18
# 2172| m2172_21(unknown) = ^CallSideEffect : ~m2168_29
# 2172| m2172_22(unknown) = Chi : total:m2168_29, partial:m2172_21
# 2172| m2172_21(unknown) = ^CallSideEffect : ~m2168_42
# 2172| m2172_22(unknown) = Chi : total:m2168_42, partial:m2172_21
# 2172| v2172_23(void) = ^IndirectReadSideEffect[-1] : &:r2172_18, m2153_8
# 2172| m2172_24(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2172_18
# 2172| m2172_25(ClassWithDestructor) = Chi : total:m2153_8, partial:m2172_24
@@ -13322,16 +13394,16 @@ ir.cpp:
# 2177| Block 2
# 2177| m2177_1(unknown) = Phi : from 0:~m2175_6, from 1:~m2176_7
# 2177| v2177_2(void) = NoOp :
# 2177| r2177_3(glval<ClassWithDestructor>) = VariableAddress[b] :
# 2177| r2177_3(glval<ClassWithDestructor>) = VariableAddress[a] :
# 2177| r2177_4(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2177| v2177_5(void) = Call[~ClassWithDestructor] : func:r2177_4, this:r2177_3
# 2177| m2177_6(unknown) = ^CallSideEffect : ~m2177_1
# 2177| m2177_7(unknown) = Chi : total:m2177_1, partial:m2177_6
# 2177| v2177_8(void) = ^IndirectReadSideEffect[-1] : &:r2177_3, ~m2177_7
# 2177| v2177_8(void) = ^IndirectReadSideEffect[-1] : &:r2177_3, m2175_8
# 2177| m2177_9(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2177_3
# 2177| m2177_10(unknown) = Chi : total:m2177_7, partial:m2177_9
# 2177| m2177_10(ClassWithDestructor) = Chi : total:m2175_8, partial:m2177_9
# 2174| v2174_5(void) = ReturnVoid :
# 2174| v2174_6(void) = AliasedUse : ~m2177_10
# 2174| v2174_6(void) = AliasedUse : ~m2177_7
# 2174| v2174_7(void) = ExitFunction :
# 2179| void static_variable_with_destructor_2()
@@ -13424,19 +13496,27 @@ ir.cpp:
#-----| Goto -> Block 2
# 2188| Block 2
# 2188| m2188_1(unknown) = Phi : from 0:~m2186_6, from 1:~m2187_7
# 2188| v2188_2(void) = NoOp :
# 2188| r2188_3(glval<ClassWithDestructor>) = VariableAddress[c] :
# 2188| r2188_4(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2188| v2188_5(void) = Call[~ClassWithDestructor] : func:r2188_4, this:r2188_3
# 2188| m2188_6(unknown) = ^CallSideEffect : ~m2188_1
# 2188| m2188_7(unknown) = Chi : total:m2188_1, partial:m2188_6
# 2188| v2188_8(void) = ^IndirectReadSideEffect[-1] : &:r2188_3, ~m2188_7
# 2188| m2188_9(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2188_3
# 2188| m2188_10(unknown) = Chi : total:m2188_7, partial:m2188_9
# 2184| v2184_5(void) = ReturnVoid :
# 2184| v2184_6(void) = AliasedUse : ~m2188_10
# 2184| v2184_7(void) = ExitFunction :
# 2188| m2188_1(unknown) = Phi : from 0:~m2186_6, from 1:~m2187_7
# 2188| v2188_2(void) = NoOp :
# 2188| r2188_3(glval<ClassWithDestructor>) = VariableAddress[b] :
# 2188| r2188_4(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2188| v2188_5(void) = Call[~ClassWithDestructor] : func:r2188_4, this:r2188_3
# 2188| m2188_6(unknown) = ^CallSideEffect : ~m2188_1
# 2188| m2188_7(unknown) = Chi : total:m2188_1, partial:m2188_6
# 2188| v2188_8(void) = ^IndirectReadSideEffect[-1] : &:r2188_3, m2186_8
# 2188| m2188_9(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2188_3
# 2188| m2188_10(ClassWithDestructor) = Chi : total:m2186_8, partial:m2188_9
# 2188| r2188_11(glval<ClassWithDestructor>) = VariableAddress[a] :
# 2188| r2188_12(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2188| v2188_13(void) = Call[~ClassWithDestructor] : func:r2188_12, this:r2188_11
# 2188| m2188_14(unknown) = ^CallSideEffect : ~m2188_7
# 2188| m2188_15(unknown) = Chi : total:m2188_7, partial:m2188_14
# 2188| v2188_16(void) = ^IndirectReadSideEffect[-1] : &:r2188_11, m2185_8
# 2188| m2188_17(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2188_11
# 2188| m2188_18(ClassWithDestructor) = Chi : total:m2185_8, partial:m2188_17
# 2184| v2184_5(void) = ReturnVoid :
# 2184| v2184_6(void) = AliasedUse : ~m2188_15
# 2184| v2184_7(void) = ExitFunction :
# 2190| ClassWithDestructor global_class_with_destructor
# 2190| Block 0
@@ -13780,8 +13860,8 @@ ir.cpp:
#-----| Goto -> Block 4
# 2226| Block 4
# 2226| m2226_40(iterator) = Phi : from 3:m2226_31, from 5:m2226_74
# 2226| m2226_41(unknown) = Phi : from 3:~m2226_38, from 5:~m2226_71
# 2226| m2226_40(iterator) = Phi : from 3:m2226_31, from 5:m2226_82
# 2226| m2226_41(unknown) = Phi : from 3:~m2226_38, from 5:~m2226_79
# 2226| r2226_42(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_7(glval<iterator>) = Convert : r2226_42
# 2226| r2226_43(glval<unknown>) = FunctionAddress[operator!=] :
@@ -13831,15 +13911,23 @@ ir.cpp:
# 2228| v2228_6(void) = ^IndirectReadSideEffect[-1] : &:r2228_1, m2227_8
# 2228| m2228_7(String) = ^IndirectMayWriteSideEffect[-1] : &:r2228_1
# 2228| m2228_8(String) = Chi : total:m2227_8, partial:m2228_7
# 2226| r2226_67(glval<iterator>) = VariableAddress[(__begin)] :
# 2226| r2226_68(glval<unknown>) = FunctionAddress[operator++] :
# 2226| r2226_69(iterator &) = Call[operator++] : func:r2226_68, this:r2226_67
# 2226| r2226_67(glval<String>) = VariableAddress[s] :
# 2226| r2226_68(glval<unknown>) = FunctionAddress[~String] :
# 2226| v2226_69(void) = Call[~String] : func:r2226_68, this:r2226_67
# 2226| m2226_70(unknown) = ^CallSideEffect : ~m2228_5
# 2226| m2226_71(unknown) = Chi : total:m2228_5, partial:m2226_70
# 2226| v2226_72(void) = ^IndirectReadSideEffect[-1] : &:r2226_67, m2226_40
# 2226| m2226_73(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2226_67
# 2226| m2226_74(iterator) = Chi : total:m2226_40, partial:m2226_73
# 2226| r2226_75(glval<iterator>) = CopyValue : r2226_69
# 2226| v2226_72(void) = ^IndirectReadSideEffect[-1] : &:r2226_67, m2226_66
# 2226| m2226_73(String) = ^IndirectMayWriteSideEffect[-1] : &:r2226_67
# 2226| m2226_74(String) = Chi : total:m2226_66, partial:m2226_73
# 2226| r2226_75(glval<iterator>) = VariableAddress[(__begin)] :
# 2226| r2226_76(glval<unknown>) = FunctionAddress[operator++] :
# 2226| r2226_77(iterator &) = Call[operator++] : func:r2226_76, this:r2226_75
# 2226| m2226_78(unknown) = ^CallSideEffect : ~m2226_71
# 2226| m2226_79(unknown) = Chi : total:m2226_71, partial:m2226_78
# 2226| v2226_80(void) = ^IndirectReadSideEffect[-1] : &:r2226_75, m2226_40
# 2226| m2226_81(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2226_75
# 2226| m2226_82(iterator) = Chi : total:m2226_40, partial:m2226_81
# 2226| r2226_83(glval<iterator>) = CopyValue : r2226_77
#-----| Goto (back edge) -> Block 4
# 2230| Block 6

4
cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency.expected
View File

@@ -28,8 +28,4 @@ nonUniqueEnclosingIRFunction
fieldAddressOnNonPointer
thisArgumentIsNonPointer
nonUniqueIRVariable
| ir.cpp:2154:68:2154:69 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
| ir.cpp:2157:68:2157:69 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
| ir.cpp:2163:36:2163:37 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
| ir.cpp:2168:68:2168:69 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
missingCppType

4
cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency_unsound.expected
View File

@@ -28,8 +28,4 @@ nonUniqueEnclosingIRFunction
fieldAddressOnNonPointer
thisArgumentIsNonPointer
nonUniqueIRVariable
| ir.cpp:2154:68:2154:69 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
| ir.cpp:2157:68:2157:69 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
| ir.cpp:2163:36:2163:37 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
| ir.cpp:2168:68:2168:69 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
missingCppType

714
cpp/ql/test/library-tests/ir/ir/operand_locations.expected
View File

@@ -905,14 +905,22 @@
| file://:0:0:0:0 | SideEffect | m1080_23 |
| file://:0:0:0:0 | SideEffect | m1086_23 |
| file://:0:0:0:0 | SideEffect | m1086_23 |
| file://:0:0:0:0 | SideEffect | m2154_21 |
| file://:0:0:0:0 | SideEffect | m2154_21 |
| file://:0:0:0:0 | SideEffect | m2157_21 |
| file://:0:0:0:0 | SideEffect | m2157_21 |
| file://:0:0:0:0 | SideEffect | m2163_21 |
| file://:0:0:0:0 | SideEffect | m2163_21 |
| file://:0:0:0:0 | SideEffect | m2168_21 |
| file://:0:0:0:0 | SideEffect | m2168_21 |
| file://:0:0:0:0 | SideEffect | m2154_13 |
| file://:0:0:0:0 | SideEffect | m2154_13 |
| file://:0:0:0:0 | SideEffect | m2154_34 |
| file://:0:0:0:0 | SideEffect | m2154_34 |
| file://:0:0:0:0 | SideEffect | m2157_13 |
| file://:0:0:0:0 | SideEffect | m2157_13 |
| file://:0:0:0:0 | SideEffect | m2157_34 |
| file://:0:0:0:0 | SideEffect | m2157_34 |
| file://:0:0:0:0 | SideEffect | m2163_9 |
| file://:0:0:0:0 | SideEffect | m2163_9 |
| file://:0:0:0:0 | SideEffect | m2163_30 |
| file://:0:0:0:0 | SideEffect | m2163_30 |
| file://:0:0:0:0 | SideEffect | m2168_13 |
| file://:0:0:0:0 | SideEffect | m2168_13 |
| file://:0:0:0:0 | SideEffect | m2168_34 |
| file://:0:0:0:0 | SideEffect | m2168_34 |
| file://:0:0:0:0 | SideEffect | m2226_21 |
| file://:0:0:0:0 | SideEffect | m2226_21 |
| file://:0:0:0:0 | SideEffect | m2226_40 |
@@ -933,14 +941,6 @@
| file://:0:0:0:0 | SideEffect | ~m1242_4 |
| file://:0:0:0:0 | SideEffect | ~m1449_6 |
| file://:0:0:0:0 | SideEffect | ~m1841_8 |
| file://:0:0:0:0 | SideEffect | ~m2154_11 |
| file://:0:0:0:0 | SideEffect | ~m2154_19 |
| file://:0:0:0:0 | SideEffect | ~m2157_11 |
| file://:0:0:0:0 | SideEffect | ~m2157_19 |
| file://:0:0:0:0 | SideEffect | ~m2163_11 |
| file://:0:0:0:0 | SideEffect | ~m2163_19 |
| file://:0:0:0:0 | SideEffect | ~m2168_11 |
| file://:0:0:0:0 | SideEffect | ~m2168_19 |
| file://:0:0:0:0 | SideEffect | ~m2175_6 |
| file://:0:0:0:0 | SideEffect | ~m2179_4 |
| file://:0:0:0:0 | SideEffect | ~m2186_6 |
@@ -5718,10 +5718,10 @@
| ir.cpp:1079:39:1079:39 | Address | &:r1079_7 |
| ir.cpp:1079:39:1079:39 | Load | m1079_6 |
| ir.cpp:1079:39:1079:39 | SideEffect | m1079_8 |
| ir.cpp:1080:5:1084:5 | Address | &:r1080_1 |
| ir.cpp:1080:5:1084:5 | Address | &:r1080_7 |
| ir.cpp:1080:5:1084:5 | Address | &:r1080_15 |
| ir.cpp:1080:5:1084:5 | Address | &:r1080_33 |
| ir.cpp:1080:5:1080:5 | Address | &:r1080_1 |
| ir.cpp:1080:5:1080:5 | Address | &:r1080_7 |
| ir.cpp:1080:5:1080:5 | Address | &:r1080_15 |
| ir.cpp:1080:14:1080:14 | Address | &:r1080_33 |
| ir.cpp:1080:18:1080:18 | Address | &:r1080_2 |
| ir.cpp:1080:18:1080:18 | Address | &:r1080_8 |
| ir.cpp:1080:18:1080:18 | Address | &:r1080_16 |
@@ -5784,10 +5784,10 @@
| ir.cpp:1081:13:1081:13 | Load | m1080_40 |
| ir.cpp:1081:13:1081:17 | Condition | r1081_4 |
| ir.cpp:1081:17:1081:17 | Right | r1081_3 |
| ir.cpp:1086:5:1090:5 | Address | &:r1086_1 |
| ir.cpp:1086:5:1090:5 | Address | &:r1086_7 |
| ir.cpp:1086:5:1090:5 | Address | &:r1086_15 |
| ir.cpp:1086:5:1090:5 | Address | &:r1086_42 |
| ir.cpp:1086:5:1086:5 | Address | &:r1086_1 |
| ir.cpp:1086:5:1086:5 | Address | &:r1086_7 |
| ir.cpp:1086:5:1086:5 | Address | &:r1086_15 |
| ir.cpp:1086:21:1086:21 | Address | &:r1086_42 |
| ir.cpp:1086:25:1086:25 | Address | &:r1086_2 |
| ir.cpp:1086:25:1086:25 | Address | &:r1086_8 |
| ir.cpp:1086:25:1086:25 | Address | &:r1086_16 |
@@ -6214,7 +6214,7 @@
| ir.cpp:1239:24:1239:24 | Right | r1239_13 |
| ir.cpp:1242:6:1242:31 | ChiPartial | partial:m1242_3 |
| ir.cpp:1242:6:1242:31 | ChiTotal | total:m1242_2 |
| ir.cpp:1242:6:1242:31 | SideEffect | ~m1246_26 |
| ir.cpp:1242:6:1242:31 | SideEffect | ~m1246_1 |
| ir.cpp:1242:45:1242:51 | Address | &:r1242_5 |
| ir.cpp:1242:45:1242:51 | Address | &:r1242_5 |
| ir.cpp:1242:45:1242:51 | Address | &:r1242_7 |
@@ -6273,38 +6273,8 @@
| ir.cpp:1245:21:1245:27 | Arg(0) | 0:r1245_8 |
| ir.cpp:1245:21:1245:27 | Load | m1242_6 |
| ir.cpp:1245:21:1245:27 | SideEffect | ~m1242_8 |
| ir.cpp:1246:1:1246:1 | Address | &:r1246_3 |
| ir.cpp:1246:1:1246:1 | Address | &:r1246_3 |
| ir.cpp:1246:1:1246:1 | Address | &:r1246_11 |
| ir.cpp:1246:1:1246:1 | Address | &:r1246_11 |
| ir.cpp:1246:1:1246:1 | Address | &:r1246_19 |
| ir.cpp:1246:1:1246:1 | Address | &:r1246_19 |
| ir.cpp:1246:1:1246:1 | Arg(this) | this:r1246_3 |
| ir.cpp:1246:1:1246:1 | Arg(this) | this:r1246_11 |
| ir.cpp:1246:1:1246:1 | Arg(this) | this:r1246_19 |
| ir.cpp:1246:1:1246:1 | CallTarget | func:r1246_4 |
| ir.cpp:1246:1:1246:1 | CallTarget | func:r1246_12 |
| ir.cpp:1246:1:1246:1 | CallTarget | func:r1246_20 |
| ir.cpp:1246:1:1246:1 | ChiPartial | partial:m1246_6 |
| ir.cpp:1246:1:1246:1 | ChiPartial | partial:m1246_9 |
| ir.cpp:1246:1:1246:1 | ChiPartial | partial:m1246_14 |
| ir.cpp:1246:1:1246:1 | ChiPartial | partial:m1246_17 |
| ir.cpp:1246:1:1246:1 | ChiPartial | partial:m1246_22 |
| ir.cpp:1246:1:1246:1 | ChiPartial | partial:m1246_25 |
| ir.cpp:1246:1:1246:1 | ChiTotal | total:m1246_1 |
| ir.cpp:1246:1:1246:1 | ChiTotal | total:m1246_7 |
| ir.cpp:1246:1:1246:1 | ChiTotal | total:m1246_10 |
| ir.cpp:1246:1:1246:1 | ChiTotal | total:m1246_15 |
| ir.cpp:1246:1:1246:1 | ChiTotal | total:m1246_18 |
| ir.cpp:1246:1:1246:1 | ChiTotal | total:m1246_23 |
| ir.cpp:1246:1:1246:1 | Phi | from 4:~m1245_1 |
| ir.cpp:1246:1:1246:1 | Phi | from 5:~m1245_17 |
| ir.cpp:1246:1:1246:1 | SideEffect | ~m1246_1 |
| ir.cpp:1246:1:1246:1 | SideEffect | ~m1246_7 |
| ir.cpp:1246:1:1246:1 | SideEffect | ~m1246_10 |
| ir.cpp:1246:1:1246:1 | SideEffect | ~m1246_15 |
| ir.cpp:1246:1:1246:1 | SideEffect | ~m1246_18 |
| ir.cpp:1246:1:1246:1 | SideEffect | ~m1246_23 |
| ir.cpp:1253:6:1253:17 | ChiPartial | partial:m1253_3 |
| ir.cpp:1253:6:1253:17 | ChiTotal | total:m1253_2 |
| ir.cpp:1253:6:1253:17 | SideEffect | m1253_3 |
@@ -10472,7 +10442,7 @@
| ir.cpp:2135:54:2135:57 | StoreValue | r2135_4 |
| ir.cpp:2137:6:2137:35 | ChiPartial | partial:m2137_3 |
| ir.cpp:2137:6:2137:35 | ChiTotal | total:m2137_2 |
| ir.cpp:2137:6:2137:35 | Phi | from 14:~m2172_5 |
| ir.cpp:2137:6:2137:35 | Phi | from 13:~m2172_5 |
| ir.cpp:2137:6:2137:35 | Phi | from 19:~m2172_13 |
| ir.cpp:2137:6:2137:35 | Phi | from 23:~m2172_22 |
| ir.cpp:2137:6:2137:35 | SideEffect | ~m2137_9 |
@@ -10580,143 +10550,215 @@
| ir.cpp:2153:25:2153:25 | ChiTotal | total:m2151_1 |
| ir.cpp:2153:25:2153:25 | ChiTotal | total:m2153_2 |
| ir.cpp:2153:25:2153:25 | SideEffect | ~m2151_1 |
| ir.cpp:2154:5:2155:19 | Address | &:r2154_1 |
| ir.cpp:2154:5:2155:19 | Address | &:r2154_5 |
| ir.cpp:2154:5:2155:19 | Address | &:r2154_13 |
| ir.cpp:2154:5:2155:19 | Address | &:r2154_31 |
| ir.cpp:2154:68:2154:68 | Address | &:r2154_6 |
| ir.cpp:2154:68:2154:68 | Address | &:r2154_14 |
| ir.cpp:2154:68:2154:68 | Address | &:r2154_25 |
| ir.cpp:2154:68:2154:68 | Address | &:r2154_34 |
| ir.cpp:2154:68:2154:68 | Address | &:r2154_39 |
| ir.cpp:2154:68:2154:68 | Address | &:r2154_39 |
| ir.cpp:2154:68:2154:68 | Arg(0) | 0:r2154_26 |
| ir.cpp:2154:5:2154:5 | Address | &:r2154_14 |
| ir.cpp:2154:5:2154:5 | Address | &:r2154_18 |
| ir.cpp:2154:5:2154:5 | Address | &:r2154_26 |
| ir.cpp:2154:37:2154:38 | Address | &:r2154_1 |
| ir.cpp:2154:37:2154:38 | Address | &:r2154_1 |
| ir.cpp:2154:37:2154:38 | Arg(this) | this:r2154_1 |
| ir.cpp:2154:40:2154:40 | Address | &:r2154_4 |
| ir.cpp:2154:40:2154:40 | Address | &:r2154_4 |
| ir.cpp:2154:40:2154:40 | Address | &:r2154_5 |
| ir.cpp:2154:40:2154:40 | Arg(0) | 0:r2154_8 |
| ir.cpp:2154:40:2154:40 | Load | m2153_8 |
| ir.cpp:2154:40:2154:40 | Load | m2154_7 |
| ir.cpp:2154:40:2154:40 | StoreValue | r2154_6 |
| ir.cpp:2154:40:2154:41 | CallTarget | func:r2154_3 |
| ir.cpp:2154:40:2154:41 | ChiPartial | partial:m2154_10 |
| ir.cpp:2154:40:2154:41 | ChiPartial | partial:m2154_12 |
| ir.cpp:2154:40:2154:41 | ChiTotal | total:m2153_6 |
| ir.cpp:2154:40:2154:41 | ChiTotal | total:m2154_2 |
| ir.cpp:2154:40:2154:41 | SideEffect | ~m2153_6 |
| ir.cpp:2154:64:2154:64 | Address | &:r2154_44 |
| ir.cpp:2154:64:2154:64 | Address | &:r2154_52 |
| ir.cpp:2154:64:2154:64 | Address | &:r2154_52 |
| ir.cpp:2154:64:2154:64 | Arg(this) | this:r2154_52 |
| ir.cpp:2154:64:2154:64 | CallTarget | func:r2154_53 |
| ir.cpp:2154:64:2154:64 | ChiPartial | partial:m2154_55 |
| ir.cpp:2154:64:2154:64 | ChiPartial | partial:m2154_58 |
| ir.cpp:2154:64:2154:64 | ChiTotal | total:m2155_6 |
| ir.cpp:2154:64:2154:64 | ChiTotal | total:m2155_9 |
| ir.cpp:2154:64:2154:64 | SideEffect | m2155_9 |
| ir.cpp:2154:64:2154:64 | SideEffect | ~m2155_6 |
| ir.cpp:2154:68:2154:68 | Address | &:r2154_19 |
| ir.cpp:2154:68:2154:68 | Address | &:r2154_27 |
| ir.cpp:2154:68:2154:68 | Address | &:r2154_38 |
| ir.cpp:2154:68:2154:68 | Address | &:r2154_47 |
| ir.cpp:2154:68:2154:68 | Address | &:r2154_60 |
| ir.cpp:2154:68:2154:68 | Address | &:r2154_60 |
| ir.cpp:2154:68:2154:68 | Arg(0) | 0:r2154_39 |
| ir.cpp:2154:68:2154:68 | Arg(this) | this:r0_2 |
| ir.cpp:2154:68:2154:68 | Arg(this) | this:r0_5 |
| ir.cpp:2154:68:2154:68 | Arg(this) | this:r0_7 |
| ir.cpp:2154:68:2154:68 | Arg(this) | this:r0_9 |
| ir.cpp:2154:68:2154:68 | Arg(this) | this:r2154_39 |
| ir.cpp:2154:68:2154:68 | CallTarget | func:r2154_8 |
| ir.cpp:2154:68:2154:68 | CallTarget | func:r2154_16 |
| ir.cpp:2154:68:2154:68 | CallTarget | func:r2154_24 |
| ir.cpp:2154:68:2154:68 | CallTarget | func:r2154_33 |
| ir.cpp:2154:68:2154:68 | CallTarget | func:r2154_40 |
| ir.cpp:2154:68:2154:68 | ChiPartial | partial:m2154_10 |
| ir.cpp:2154:68:2154:68 | ChiPartial | partial:m2154_18 |
| ir.cpp:2154:68:2154:68 | ChiPartial | partial:m2154_28 |
| ir.cpp:2154:68:2154:68 | ChiPartial | partial:m2154_35 |
| ir.cpp:2154:68:2154:68 | ChiPartial | partial:m2154_42 |
| ir.cpp:2154:68:2154:68 | ChiPartial | partial:m2154_45 |
| ir.cpp:2154:68:2154:68 | ChiTotal | total:m2153_6 |
| ir.cpp:2154:68:2154:68 | Arg(this) | this:r2154_60 |
| ir.cpp:2154:68:2154:68 | CallTarget | func:r2154_21 |
| ir.cpp:2154:68:2154:68 | CallTarget | func:r2154_29 |
| ir.cpp:2154:68:2154:68 | CallTarget | func:r2154_37 |
| ir.cpp:2154:68:2154:68 | CallTarget | func:r2154_46 |
| ir.cpp:2154:68:2154:68 | CallTarget | func:r2154_61 |
| ir.cpp:2154:68:2154:68 | ChiPartial | partial:m2154_23 |
| ir.cpp:2154:68:2154:68 | ChiPartial | partial:m2154_31 |
| ir.cpp:2154:68:2154:68 | ChiPartial | partial:m2154_41 |
| ir.cpp:2154:68:2154:68 | ChiPartial | partial:m2154_48 |
| ir.cpp:2154:68:2154:68 | ChiPartial | partial:m2154_63 |
| ir.cpp:2154:68:2154:68 | ChiPartial | partial:m2154_66 |
| ir.cpp:2154:68:2154:68 | ChiTotal | total:m2154_11 |
| ir.cpp:2154:68:2154:68 | ChiTotal | total:m2154_21 |
| ir.cpp:2154:68:2154:68 | ChiTotal | total:m2154_22 |
| ir.cpp:2154:68:2154:68 | ChiTotal | total:m2154_29 |
| ir.cpp:2154:68:2154:68 | ChiTotal | total:m2155_6 |
| ir.cpp:2154:68:2154:68 | Condition | r2154_27 |
| ir.cpp:2154:68:2154:68 | Load | m2154_4 |
| ir.cpp:2154:68:2154:68 | Load | m2154_4 |
| ir.cpp:2154:68:2154:68 | Load | m2154_20 |
| ir.cpp:2154:68:2154:68 | Phi | from 7:m2154_12 |
| ir.cpp:2154:68:2154:68 | Phi | from 7:~m2154_19 |
| ir.cpp:2154:68:2154:68 | Phi | from 9:m2154_46 |
| ir.cpp:2154:68:2154:68 | Phi | from 9:~m2154_43 |
| ir.cpp:2154:68:2154:68 | SideEffect | m2154_21 |
| ir.cpp:2154:68:2154:68 | SideEffect | ~m2153_6 |
| ir.cpp:2154:68:2154:68 | ChiTotal | total:m2154_24 |
| ir.cpp:2154:68:2154:68 | ChiTotal | total:m2154_34 |
| ir.cpp:2154:68:2154:68 | ChiTotal | total:m2154_35 |
| ir.cpp:2154:68:2154:68 | ChiTotal | total:m2154_42 |
| ir.cpp:2154:68:2154:68 | ChiTotal | total:m2154_56 |
| ir.cpp:2154:68:2154:68 | Condition | r2154_40 |
| ir.cpp:2154:68:2154:68 | Load | m2154_17 |
| ir.cpp:2154:68:2154:68 | Load | m2154_17 |
| ir.cpp:2154:68:2154:68 | Load | m2154_33 |
| ir.cpp:2154:68:2154:68 | Phi | from 7:m2154_25 |
| ir.cpp:2154:68:2154:68 | Phi | from 7:~m2154_32 |
| ir.cpp:2154:68:2154:68 | Phi | from 9:m2154_67 |
| ir.cpp:2154:68:2154:68 | Phi | from 9:~m2154_64 |
| ir.cpp:2154:68:2154:68 | SideEffect | m2154_34 |
| ir.cpp:2154:68:2154:68 | SideEffect | ~m2154_11 |
| ir.cpp:2154:68:2154:68 | SideEffect | ~m2154_22 |
| ir.cpp:2154:68:2154:68 | SideEffect | ~m2154_29 |
| ir.cpp:2154:68:2154:68 | SideEffect | ~m2155_6 |
| ir.cpp:2154:68:2154:68 | StoreValue | r2154_9 |
| ir.cpp:2154:68:2154:68 | StoreValue | r2154_17 |
| ir.cpp:2154:68:2154:68 | Unary | r2154_7 |
| ir.cpp:2154:68:2154:68 | Unary | r2154_15 |
| ir.cpp:2154:68:2154:68 | Unary | r2154_23 |
| ir.cpp:2154:68:2154:68 | Unary | r2154_32 |
| ir.cpp:2154:68:2154:68 | Unary | r2154_41 |
| ir.cpp:2154:68:2154:69 | StoreValue | r2154_3 |
| ir.cpp:2154:68:2154:69 | Unary | r2154_2 |
| ir.cpp:2154:68:2154:70 | Load | ~m2154_36 |
| ir.cpp:2154:68:2154:70 | StoreValue | r2154_37 |
| ir.cpp:2154:68:2154:68 | SideEffect | ~m2154_24 |
| ir.cpp:2154:68:2154:68 | SideEffect | ~m2154_35 |
| ir.cpp:2154:68:2154:68 | SideEffect | ~m2154_42 |
| ir.cpp:2154:68:2154:68 | SideEffect | ~m2154_56 |
| ir.cpp:2154:68:2154:68 | StoreValue | r2154_22 |
| ir.cpp:2154:68:2154:68 | StoreValue | r2154_30 |
| ir.cpp:2154:68:2154:68 | Unary | r2154_20 |
| ir.cpp:2154:68:2154:68 | Unary | r2154_28 |
| ir.cpp:2154:68:2154:68 | Unary | r2154_36 |
| ir.cpp:2154:68:2154:68 | Unary | r2154_45 |
| ir.cpp:2154:68:2154:68 | Unary | r2154_62 |
| ir.cpp:2154:68:2154:69 | StoreValue | r2154_16 |
| ir.cpp:2154:68:2154:69 | Unary | r2154_15 |
| ir.cpp:2154:68:2154:70 | Load | ~m2154_49 |
| ir.cpp:2154:68:2154:70 | StoreValue | r2154_50 |
| ir.cpp:2155:7:2155:7 | Address | &:r2155_1 |
| ir.cpp:2155:7:2155:7 | Address | &:r2155_1 |
| ir.cpp:2155:7:2155:7 | Arg(this) | this:r2155_1 |
| ir.cpp:2155:7:2155:7 | ChiPartial | partial:m2155_8 |
| ir.cpp:2155:7:2155:7 | ChiTotal | total:m2154_38 |
| ir.cpp:2155:7:2155:7 | SideEffect | m2154_38 |
| ir.cpp:2155:7:2155:7 | ChiTotal | total:m2154_51 |
| ir.cpp:2155:7:2155:7 | SideEffect | m2154_51 |
| ir.cpp:2155:9:2155:13 | CallTarget | func:r2155_2 |
| ir.cpp:2155:9:2155:13 | ChiPartial | partial:m2155_5 |
| ir.cpp:2155:9:2155:13 | ChiTotal | total:m2154_36 |
| ir.cpp:2155:9:2155:13 | SideEffect | ~m2154_36 |
| ir.cpp:2155:9:2155:13 | ChiTotal | total:m2154_49 |
| ir.cpp:2155:9:2155:13 | SideEffect | ~m2154_49 |
| ir.cpp:2155:15:2155:17 | Arg(0) | 0:r2155_3 |
| ir.cpp:2157:5:2161:5 | Address | &:r2157_1 |
| ir.cpp:2157:5:2161:5 | Address | &:r2157_5 |
| ir.cpp:2157:5:2161:5 | Address | &:r2157_13 |
| ir.cpp:2157:5:2161:5 | Address | &:r2157_40 |
| ir.cpp:2157:68:2157:68 | Address | &:r2157_6 |
| ir.cpp:2157:68:2157:68 | Address | &:r2157_14 |
| ir.cpp:2157:68:2157:68 | Address | &:r2157_25 |
| ir.cpp:2157:68:2157:68 | Address | &:r2157_31 |
| ir.cpp:2157:68:2157:68 | Address | &:r2157_31 |
| ir.cpp:2157:68:2157:68 | Address | &:r2157_43 |
| ir.cpp:2157:68:2157:68 | Arg(0) | 0:r2157_26 |
| ir.cpp:2157:5:2157:5 | Address | &:r2157_14 |
| ir.cpp:2157:5:2157:5 | Address | &:r2157_18 |
| ir.cpp:2157:5:2157:5 | Address | &:r2157_26 |
| ir.cpp:2157:37:2157:38 | Address | &:r2157_1 |
| ir.cpp:2157:37:2157:38 | Address | &:r2157_1 |
| ir.cpp:2157:37:2157:38 | Address | &:r2157_60 |
| ir.cpp:2157:37:2157:38 | Address | &:r2157_60 |
| ir.cpp:2157:37:2157:38 | Arg(this) | this:r2157_1 |
| ir.cpp:2157:37:2157:38 | Arg(this) | this:r2157_60 |
| ir.cpp:2157:37:2157:38 | CallTarget | func:r2157_61 |
| ir.cpp:2157:37:2157:38 | ChiPartial | partial:m2157_63 |
| ir.cpp:2157:37:2157:38 | ChiPartial | partial:m2157_66 |
| ir.cpp:2157:37:2157:38 | ChiTotal | total:m2157_13 |
| ir.cpp:2157:37:2157:38 | ChiTotal | total:m2157_56 |
| ir.cpp:2157:37:2157:38 | SideEffect | m2157_13 |
| ir.cpp:2157:37:2157:38 | SideEffect | ~m2157_56 |
| ir.cpp:2157:40:2157:40 | Address | &:r2157_4 |
| ir.cpp:2157:40:2157:40 | Address | &:r2157_4 |
| ir.cpp:2157:40:2157:40 | Address | &:r2157_5 |
| ir.cpp:2157:40:2157:40 | Arg(0) | 0:r2157_8 |
| ir.cpp:2157:40:2157:40 | Load | m2153_8 |
| ir.cpp:2157:40:2157:40 | Load | m2157_7 |
| ir.cpp:2157:40:2157:40 | StoreValue | r2157_6 |
| ir.cpp:2157:40:2157:41 | CallTarget | func:r2157_3 |
| ir.cpp:2157:40:2157:41 | ChiPartial | partial:m2157_10 |
| ir.cpp:2157:40:2157:41 | ChiPartial | partial:m2157_12 |
| ir.cpp:2157:40:2157:41 | ChiTotal | total:m2154_42 |
| ir.cpp:2157:40:2157:41 | ChiTotal | total:m2157_2 |
| ir.cpp:2157:40:2157:41 | SideEffect | ~m2154_42 |
| ir.cpp:2157:64:2157:64 | Address | &:r2157_44 |
| ir.cpp:2157:64:2157:64 | Address | &:r2157_52 |
| ir.cpp:2157:64:2157:64 | Address | &:r2157_52 |
| ir.cpp:2157:64:2157:64 | Address | &:r2157_68 |
| ir.cpp:2157:64:2157:64 | Address | &:r2157_68 |
| ir.cpp:2157:64:2157:64 | Arg(this) | this:r2157_52 |
| ir.cpp:2157:64:2157:64 | Arg(this) | this:r2157_68 |
| ir.cpp:2157:64:2157:64 | CallTarget | func:r2157_53 |
| ir.cpp:2157:64:2157:64 | CallTarget | func:r2157_69 |
| ir.cpp:2157:64:2157:64 | ChiPartial | partial:m2157_55 |
| ir.cpp:2157:64:2157:64 | ChiPartial | partial:m2157_58 |
| ir.cpp:2157:64:2157:64 | ChiPartial | partial:m2157_71 |
| ir.cpp:2157:64:2157:64 | ChiPartial | partial:m2157_74 |
| ir.cpp:2157:64:2157:64 | ChiTotal | total:m2159_5 |
| ir.cpp:2157:64:2157:64 | ChiTotal | total:m2159_5 |
| ir.cpp:2157:64:2157:64 | ChiTotal | total:m2159_8 |
| ir.cpp:2157:64:2157:64 | ChiTotal | total:m2159_8 |
| ir.cpp:2157:64:2157:64 | SideEffect | m2159_8 |
| ir.cpp:2157:64:2157:64 | SideEffect | m2159_8 |
| ir.cpp:2157:64:2157:64 | SideEffect | ~m2159_5 |
| ir.cpp:2157:64:2157:64 | SideEffect | ~m2159_5 |
| ir.cpp:2157:68:2157:68 | Address | &:r2157_19 |
| ir.cpp:2157:68:2157:68 | Address | &:r2157_27 |
| ir.cpp:2157:68:2157:68 | Address | &:r2157_38 |
| ir.cpp:2157:68:2157:68 | Address | &:r2157_47 |
| ir.cpp:2157:68:2157:68 | Address | &:r2157_76 |
| ir.cpp:2157:68:2157:68 | Address | &:r2157_76 |
| ir.cpp:2157:68:2157:68 | Arg(0) | 0:r2157_39 |
| ir.cpp:2157:68:2157:68 | Arg(this) | this:r0_12 |
| ir.cpp:2157:68:2157:68 | Arg(this) | this:r0_15 |
| ir.cpp:2157:68:2157:68 | Arg(this) | this:r0_17 |
| ir.cpp:2157:68:2157:68 | Arg(this) | this:r0_19 |
| ir.cpp:2157:68:2157:68 | Arg(this) | this:r2157_31 |
| ir.cpp:2157:68:2157:68 | CallTarget | func:r2157_8 |
| ir.cpp:2157:68:2157:68 | CallTarget | func:r2157_16 |
| ir.cpp:2157:68:2157:68 | CallTarget | func:r2157_24 |
| ir.cpp:2157:68:2157:68 | CallTarget | func:r2157_32 |
| ir.cpp:2157:68:2157:68 | CallTarget | func:r2157_42 |
| ir.cpp:2157:68:2157:68 | ChiPartial | partial:m2157_10 |
| ir.cpp:2157:68:2157:68 | ChiPartial | partial:m2157_18 |
| ir.cpp:2157:68:2157:68 | ChiPartial | partial:m2157_28 |
| ir.cpp:2157:68:2157:68 | ChiPartial | partial:m2157_34 |
| ir.cpp:2157:68:2157:68 | ChiPartial | partial:m2157_37 |
| ir.cpp:2157:68:2157:68 | ChiPartial | partial:m2157_44 |
| ir.cpp:2157:68:2157:68 | ChiTotal | total:m2154_29 |
| ir.cpp:2157:68:2157:68 | Arg(this) | this:r2157_76 |
| ir.cpp:2157:68:2157:68 | CallTarget | func:r2157_21 |
| ir.cpp:2157:68:2157:68 | CallTarget | func:r2157_29 |
| ir.cpp:2157:68:2157:68 | CallTarget | func:r2157_37 |
| ir.cpp:2157:68:2157:68 | CallTarget | func:r2157_46 |
| ir.cpp:2157:68:2157:68 | CallTarget | func:r2157_77 |
| ir.cpp:2157:68:2157:68 | ChiPartial | partial:m2157_23 |
| ir.cpp:2157:68:2157:68 | ChiPartial | partial:m2157_31 |
| ir.cpp:2157:68:2157:68 | ChiPartial | partial:m2157_41 |
| ir.cpp:2157:68:2157:68 | ChiPartial | partial:m2157_48 |
| ir.cpp:2157:68:2157:68 | ChiPartial | partial:m2157_79 |
| ir.cpp:2157:68:2157:68 | ChiPartial | partial:m2157_82 |
| ir.cpp:2157:68:2157:68 | ChiTotal | total:m2157_11 |
| ir.cpp:2157:68:2157:68 | ChiTotal | total:m2157_21 |
| ir.cpp:2157:68:2157:68 | ChiTotal | total:m2157_22 |
| ir.cpp:2157:68:2157:68 | ChiTotal | total:m2157_29 |
| ir.cpp:2157:68:2157:68 | ChiTotal | total:m2159_5 |
| ir.cpp:2157:68:2157:68 | Condition | r2157_27 |
| ir.cpp:2157:68:2157:68 | Load | m2157_4 |
| ir.cpp:2157:68:2157:68 | Load | m2157_4 |
| ir.cpp:2157:68:2157:68 | Load | m2157_20 |
| ir.cpp:2157:68:2157:68 | Phi | from 10:m2157_12 |
| ir.cpp:2157:68:2157:68 | Phi | from 10:~m2157_19 |
| ir.cpp:2157:68:2157:68 | Phi | from 12:m2157_38 |
| ir.cpp:2157:68:2157:68 | Phi | from 12:~m2157_35 |
| ir.cpp:2157:68:2157:68 | SideEffect | m2157_21 |
| ir.cpp:2157:68:2157:68 | SideEffect | ~m2154_29 |
| ir.cpp:2157:68:2157:68 | ChiTotal | total:m2157_24 |
| ir.cpp:2157:68:2157:68 | ChiTotal | total:m2157_34 |
| ir.cpp:2157:68:2157:68 | ChiTotal | total:m2157_35 |
| ir.cpp:2157:68:2157:68 | ChiTotal | total:m2157_42 |
| ir.cpp:2157:68:2157:68 | ChiTotal | total:m2157_72 |
| ir.cpp:2157:68:2157:68 | Condition | r2157_40 |
| ir.cpp:2157:68:2157:68 | Load | m2157_17 |
| ir.cpp:2157:68:2157:68 | Load | m2157_17 |
| ir.cpp:2157:68:2157:68 | Load | m2157_33 |
| ir.cpp:2157:68:2157:68 | Phi | from 10:m2157_25 |
| ir.cpp:2157:68:2157:68 | Phi | from 10:~m2157_32 |
| ir.cpp:2157:68:2157:68 | Phi | from 14:m2157_83 |
| ir.cpp:2157:68:2157:68 | Phi | from 14:~m2157_80 |
| ir.cpp:2157:68:2157:68 | SideEffect | m2157_34 |
| ir.cpp:2157:68:2157:68 | SideEffect | ~m2157_11 |
| ir.cpp:2157:68:2157:68 | SideEffect | ~m2157_22 |
| ir.cpp:2157:68:2157:68 | SideEffect | ~m2157_29 |
| ir.cpp:2157:68:2157:68 | SideEffect | ~m2159_5 |
| ir.cpp:2157:68:2157:68 | StoreValue | r2157_9 |
| ir.cpp:2157:68:2157:68 | StoreValue | r2157_17 |
| ir.cpp:2157:68:2157:68 | Unary | r2157_7 |
| ir.cpp:2157:68:2157:68 | Unary | r2157_15 |
| ir.cpp:2157:68:2157:68 | Unary | r2157_23 |
| ir.cpp:2157:68:2157:68 | Unary | r2157_33 |
| ir.cpp:2157:68:2157:68 | Unary | r2157_41 |
| ir.cpp:2157:68:2157:69 | StoreValue | r2157_3 |
| ir.cpp:2157:68:2157:69 | Unary | r2157_2 |
| ir.cpp:2157:68:2157:70 | Load | ~m2157_45 |
| ir.cpp:2157:68:2157:70 | StoreValue | r2157_46 |
| ir.cpp:2157:68:2157:68 | SideEffect | ~m2157_24 |
| ir.cpp:2157:68:2157:68 | SideEffect | ~m2157_35 |
| ir.cpp:2157:68:2157:68 | SideEffect | ~m2157_42 |
| ir.cpp:2157:68:2157:68 | SideEffect | ~m2157_72 |
| ir.cpp:2157:68:2157:68 | StoreValue | r2157_22 |
| ir.cpp:2157:68:2157:68 | StoreValue | r2157_30 |
| ir.cpp:2157:68:2157:68 | Unary | r2157_20 |
| ir.cpp:2157:68:2157:68 | Unary | r2157_28 |
| ir.cpp:2157:68:2157:68 | Unary | r2157_36 |
| ir.cpp:2157:68:2157:68 | Unary | r2157_45 |
| ir.cpp:2157:68:2157:68 | Unary | r2157_78 |
| ir.cpp:2157:68:2157:69 | StoreValue | r2157_16 |
| ir.cpp:2157:68:2157:69 | Unary | r2157_15 |
| ir.cpp:2157:68:2157:70 | Load | ~m2157_49 |
| ir.cpp:2157:68:2157:70 | StoreValue | r2157_50 |
| ir.cpp:2158:7:2158:7 | Address | &:r2158_1 |
| ir.cpp:2158:7:2158:7 | Address | &:r2158_1 |
| ir.cpp:2158:7:2158:7 | Arg(this) | this:r2158_1 |
| ir.cpp:2158:7:2158:7 | ChiPartial | partial:m2158_8 |
| ir.cpp:2158:7:2158:7 | ChiTotal | total:m2157_47 |
| ir.cpp:2158:7:2158:7 | SideEffect | m2157_47 |
| ir.cpp:2158:7:2158:7 | ChiTotal | total:m2157_51 |
| ir.cpp:2158:7:2158:7 | SideEffect | m2157_51 |
| ir.cpp:2158:9:2158:13 | CallTarget | func:r2158_2 |
| ir.cpp:2158:9:2158:13 | ChiPartial | partial:m2158_5 |
| ir.cpp:2158:9:2158:13 | ChiTotal | total:m2157_45 |
| ir.cpp:2158:9:2158:13 | SideEffect | ~m2157_45 |
| ir.cpp:2158:9:2158:13 | ChiTotal | total:m2157_49 |
| ir.cpp:2158:9:2158:13 | SideEffect | ~m2157_49 |
| ir.cpp:2158:15:2158:17 | Arg(0) | 0:r2158_3 |
| ir.cpp:2159:11:2159:11 | Address | &:r2159_1 |
| ir.cpp:2159:11:2159:11 | Address | &:r2159_1 |
@@ -10732,136 +10774,182 @@
| ir.cpp:2159:13:2159:17 | SideEffect | ~m2158_6 |
| ir.cpp:2159:13:2159:17 | Unary | r2159_3 |
| ir.cpp:2159:24:2159:26 | Right | r2159_10 |
| ir.cpp:2163:5:2166:5 | Address | &:r2163_1 |
| ir.cpp:2163:5:2166:5 | Address | &:r2163_5 |
| ir.cpp:2163:5:2166:5 | Address | &:r2163_13 |
| ir.cpp:2163:5:2166:5 | Address | &:r2163_40 |
| ir.cpp:2163:36:2163:36 | Address | &:r2163_6 |
| ir.cpp:2163:36:2163:36 | Address | &:r2163_14 |
| ir.cpp:2163:36:2163:36 | Address | &:r2163_25 |
| ir.cpp:2163:36:2163:36 | Address | &:r2163_31 |
| ir.cpp:2163:36:2163:36 | Address | &:r2163_31 |
| ir.cpp:2163:36:2163:36 | Address | &:r2163_43 |
| ir.cpp:2163:36:2163:36 | Arg(0) | 0:r2163_26 |
| ir.cpp:2163:5:2163:5 | Address | &:r2163_10 |
| ir.cpp:2163:5:2163:5 | Address | &:r2163_14 |
| ir.cpp:2163:5:2163:5 | Address | &:r2163_22 |
| ir.cpp:2163:21:2163:22 | Address | &:r2163_1 |
| ir.cpp:2163:21:2163:22 | Address | &:r2163_1 |
| ir.cpp:2163:21:2163:22 | Address | &:r2163_57 |
| ir.cpp:2163:21:2163:22 | Address | &:r2163_57 |
| ir.cpp:2163:21:2163:22 | Arg(this) | this:r2163_1 |
| ir.cpp:2163:21:2163:22 | Arg(this) | this:r2163_57 |
| ir.cpp:2163:21:2163:22 | CallTarget | func:r2163_58 |
| ir.cpp:2163:21:2163:22 | ChiPartial | partial:m2163_60 |
| ir.cpp:2163:21:2163:22 | ChiPartial | partial:m2163_63 |
| ir.cpp:2163:21:2163:22 | ChiTotal | total:m2163_9 |
| ir.cpp:2163:21:2163:22 | ChiTotal | total:m2163_54 |
| ir.cpp:2163:21:2163:22 | SideEffect | m2163_9 |
| ir.cpp:2163:21:2163:22 | SideEffect | ~m2163_54 |
| ir.cpp:2163:24:2163:24 | Arg(0) | 0:r2163_4 |
| ir.cpp:2163:24:2163:25 | CallTarget | func:r2163_3 |
| ir.cpp:2163:24:2163:25 | ChiPartial | partial:m2163_6 |
| ir.cpp:2163:24:2163:25 | ChiPartial | partial:m2163_8 |
| ir.cpp:2163:24:2163:25 | ChiTotal | total:m2157_42 |
| ir.cpp:2163:24:2163:25 | ChiTotal | total:m2163_2 |
| ir.cpp:2163:24:2163:25 | SideEffect | ~m2157_42 |
| ir.cpp:2163:32:2163:32 | Address | &:r2163_49 |
| ir.cpp:2163:36:2163:36 | Address | &:r2163_15 |
| ir.cpp:2163:36:2163:36 | Address | &:r2163_23 |
| ir.cpp:2163:36:2163:36 | Address | &:r2163_34 |
| ir.cpp:2163:36:2163:36 | Address | &:r2163_40 |
| ir.cpp:2163:36:2163:36 | Address | &:r2163_40 |
| ir.cpp:2163:36:2163:36 | Address | &:r2163_52 |
| ir.cpp:2163:36:2163:36 | Arg(0) | 0:r2163_35 |
| ir.cpp:2163:36:2163:36 | Arg(this) | this:r0_22 |
| ir.cpp:2163:36:2163:36 | Arg(this) | this:r0_25 |
| ir.cpp:2163:36:2163:36 | Arg(this) | this:r0_27 |
| ir.cpp:2163:36:2163:36 | Arg(this) | this:r0_29 |
| ir.cpp:2163:36:2163:36 | Arg(this) | this:r2163_31 |
| ir.cpp:2163:36:2163:36 | CallTarget | func:r2163_8 |
| ir.cpp:2163:36:2163:36 | CallTarget | func:r2163_16 |
| ir.cpp:2163:36:2163:36 | CallTarget | func:r2163_24 |
| ir.cpp:2163:36:2163:36 | CallTarget | func:r2163_32 |
| ir.cpp:2163:36:2163:36 | CallTarget | func:r2163_42 |
| ir.cpp:2163:36:2163:36 | ChiPartial | partial:m2163_10 |
| ir.cpp:2163:36:2163:36 | ChiPartial | partial:m2163_18 |
| ir.cpp:2163:36:2163:36 | ChiPartial | partial:m2163_28 |
| ir.cpp:2163:36:2163:36 | ChiPartial | partial:m2163_34 |
| ir.cpp:2163:36:2163:36 | Arg(this) | this:r2163_40 |
| ir.cpp:2163:36:2163:36 | CallTarget | func:r2163_17 |
| ir.cpp:2163:36:2163:36 | CallTarget | func:r2163_25 |
| ir.cpp:2163:36:2163:36 | CallTarget | func:r2163_33 |
| ir.cpp:2163:36:2163:36 | CallTarget | func:r2163_41 |
| ir.cpp:2163:36:2163:36 | CallTarget | func:r2163_51 |
| ir.cpp:2163:36:2163:36 | ChiPartial | partial:m2163_19 |
| ir.cpp:2163:36:2163:36 | ChiPartial | partial:m2163_27 |
| ir.cpp:2163:36:2163:36 | ChiPartial | partial:m2163_37 |
| ir.cpp:2163:36:2163:36 | ChiPartial | partial:m2163_44 |
| ir.cpp:2163:36:2163:36 | ChiTotal | total:m2157_29 |
| ir.cpp:2163:36:2163:36 | ChiTotal | total:m2163_11 |
| ir.cpp:2163:36:2163:36 | ChiTotal | total:m2163_21 |
| ir.cpp:2163:36:2163:36 | ChiTotal | total:m2163_22 |
| ir.cpp:2163:36:2163:36 | ChiTotal | total:m2163_29 |
| ir.cpp:2163:36:2163:36 | ChiTotal | total:m2163_45 |
| ir.cpp:2163:36:2163:36 | Condition | r2163_27 |
| ir.cpp:2163:36:2163:36 | Load | m2163_4 |
| ir.cpp:2163:36:2163:36 | Load | m2163_4 |
| ir.cpp:2163:36:2163:36 | Load | m2163_20 |
| ir.cpp:2163:36:2163:36 | Phi | from 15:m2163_12 |
| ir.cpp:2163:36:2163:36 | Phi | from 15:~m2163_19 |
| ir.cpp:2163:36:2163:36 | Phi | from 17:m2163_38 |
| ir.cpp:2163:36:2163:36 | Phi | from 17:~m2163_35 |
| ir.cpp:2163:36:2163:36 | SideEffect | m2163_21 |
| ir.cpp:2163:36:2163:36 | SideEffect | ~m2157_29 |
| ir.cpp:2163:36:2163:36 | SideEffect | ~m2163_11 |
| ir.cpp:2163:36:2163:36 | SideEffect | ~m2163_22 |
| ir.cpp:2163:36:2163:36 | SideEffect | ~m2163_29 |
| ir.cpp:2163:36:2163:36 | SideEffect | ~m2163_45 |
| ir.cpp:2163:36:2163:36 | StoreValue | r2163_9 |
| ir.cpp:2163:36:2163:36 | StoreValue | r2163_17 |
| ir.cpp:2163:36:2163:36 | Unary | r2163_7 |
| ir.cpp:2163:36:2163:36 | Unary | r2163_15 |
| ir.cpp:2163:36:2163:36 | Unary | r2163_23 |
| ir.cpp:2163:36:2163:36 | Unary | r2163_33 |
| ir.cpp:2163:36:2163:36 | Unary | r2163_41 |
| ir.cpp:2163:36:2163:37 | StoreValue | r2163_3 |
| ir.cpp:2163:36:2163:37 | Unary | r2163_2 |
| ir.cpp:2163:36:2163:38 | Load | ~m2163_45 |
| ir.cpp:2163:36:2163:38 | StoreValue | r2163_46 |
| ir.cpp:2163:36:2163:36 | ChiPartial | partial:m2163_43 |
| ir.cpp:2163:36:2163:36 | ChiPartial | partial:m2163_46 |
| ir.cpp:2163:36:2163:36 | ChiPartial | partial:m2163_53 |
| ir.cpp:2163:36:2163:36 | ChiTotal | total:m2163_7 |
| ir.cpp:2163:36:2163:36 | ChiTotal | total:m2163_20 |
| ir.cpp:2163:36:2163:36 | ChiTotal | total:m2163_30 |
| ir.cpp:2163:36:2163:36 | ChiTotal | total:m2163_31 |
| ir.cpp:2163:36:2163:36 | ChiTotal | total:m2163_38 |
| ir.cpp:2163:36:2163:36 | ChiTotal | total:m2163_54 |
| ir.cpp:2163:36:2163:36 | Condition | r2163_36 |
| ir.cpp:2163:36:2163:36 | Load | m2163_13 |
| ir.cpp:2163:36:2163:36 | Load | m2163_13 |
| ir.cpp:2163:36:2163:36 | Load | m2163_29 |
| ir.cpp:2163:36:2163:36 | Phi | from 15:m2163_21 |
| ir.cpp:2163:36:2163:36 | Phi | from 15:~m2163_28 |
| ir.cpp:2163:36:2163:36 | Phi | from 17:m2163_47 |
| ir.cpp:2163:36:2163:36 | Phi | from 17:~m2163_44 |
| ir.cpp:2163:36:2163:36 | SideEffect | m2163_30 |
| ir.cpp:2163:36:2163:36 | SideEffect | ~m2163_7 |
| ir.cpp:2163:36:2163:36 | SideEffect | ~m2163_20 |
| ir.cpp:2163:36:2163:36 | SideEffect | ~m2163_31 |
| ir.cpp:2163:36:2163:36 | SideEffect | ~m2163_38 |
| ir.cpp:2163:36:2163:36 | SideEffect | ~m2163_54 |
| ir.cpp:2163:36:2163:36 | StoreValue | r2163_18 |
| ir.cpp:2163:36:2163:36 | StoreValue | r2163_26 |
| ir.cpp:2163:36:2163:36 | Unary | r2163_16 |
| ir.cpp:2163:36:2163:36 | Unary | r2163_24 |
| ir.cpp:2163:36:2163:36 | Unary | r2163_32 |
| ir.cpp:2163:36:2163:36 | Unary | r2163_42 |
| ir.cpp:2163:36:2163:36 | Unary | r2163_50 |
| ir.cpp:2163:36:2163:37 | StoreValue | r2163_12 |
| ir.cpp:2163:36:2163:37 | Unary | r2163_11 |
| ir.cpp:2163:36:2163:38 | Load | ~m2163_54 |
| ir.cpp:2163:36:2163:38 | StoreValue | r2163_55 |
| ir.cpp:2164:11:2164:11 | Address | &:r2164_1 |
| ir.cpp:2164:11:2164:11 | Left | r2164_2 |
| ir.cpp:2164:11:2164:11 | Load | m2163_47 |
| ir.cpp:2164:11:2164:11 | Load | m2163_56 |
| ir.cpp:2164:11:2164:16 | Condition | r2164_4 |
| ir.cpp:2164:16:2164:16 | Right | r2164_3 |
| ir.cpp:2168:5:2171:5 | Address | &:r2168_1 |
| ir.cpp:2168:5:2171:5 | Address | &:r2168_5 |
| ir.cpp:2168:5:2171:5 | Address | &:r2168_13 |
| ir.cpp:2168:5:2171:5 | Address | &:r2168_31 |
| ir.cpp:2168:68:2168:68 | Address | &:r2168_6 |
| ir.cpp:2168:68:2168:68 | Address | &:r2168_14 |
| ir.cpp:2168:68:2168:68 | Address | &:r2168_25 |
| ir.cpp:2168:68:2168:68 | Address | &:r2168_34 |
| ir.cpp:2168:68:2168:68 | Address | &:r2168_39 |
| ir.cpp:2168:68:2168:68 | Address | &:r2168_39 |
| ir.cpp:2168:68:2168:68 | Arg(0) | 0:r2168_26 |
| ir.cpp:2168:5:2168:5 | Address | &:r2168_14 |
| ir.cpp:2168:5:2168:5 | Address | &:r2168_18 |
| ir.cpp:2168:5:2168:5 | Address | &:r2168_26 |
| ir.cpp:2168:37:2168:38 | Address | &:r2168_1 |
| ir.cpp:2168:37:2168:38 | Address | &:r2168_1 |
| ir.cpp:2168:37:2168:38 | Arg(this) | this:r2168_1 |
| ir.cpp:2168:40:2168:40 | Address | &:r2168_4 |
| ir.cpp:2168:40:2168:40 | Address | &:r2168_4 |
| ir.cpp:2168:40:2168:40 | Address | &:r2168_5 |
| ir.cpp:2168:40:2168:40 | Arg(0) | 0:r2168_8 |
| ir.cpp:2168:40:2168:40 | Load | m2153_8 |
| ir.cpp:2168:40:2168:40 | Load | m2168_7 |
| ir.cpp:2168:40:2168:40 | StoreValue | r2168_6 |
| ir.cpp:2168:40:2168:41 | CallTarget | func:r2168_3 |
| ir.cpp:2168:40:2168:41 | ChiPartial | partial:m2168_10 |
| ir.cpp:2168:40:2168:41 | ChiPartial | partial:m2168_12 |
| ir.cpp:2168:40:2168:41 | ChiTotal | total:m2163_38 |
| ir.cpp:2168:40:2168:41 | ChiTotal | total:m2168_2 |
| ir.cpp:2168:40:2168:41 | SideEffect | ~m2163_38 |
| ir.cpp:2168:64:2168:64 | Address | &:r2168_44 |
| ir.cpp:2168:64:2168:64 | Address | &:r2168_52 |
| ir.cpp:2168:64:2168:64 | Address | &:r2168_52 |
| ir.cpp:2168:64:2168:64 | Arg(this) | this:r2168_52 |
| ir.cpp:2168:64:2168:64 | CallTarget | func:r2168_53 |
| ir.cpp:2168:64:2168:64 | ChiPartial | partial:m2168_55 |
| ir.cpp:2168:64:2168:64 | ChiPartial | partial:m2168_58 |
| ir.cpp:2168:64:2168:64 | ChiTotal | total:m2168_51 |
| ir.cpp:2168:64:2168:64 | ChiTotal | total:m2171_13 |
| ir.cpp:2168:64:2168:64 | SideEffect | m2168_51 |
| ir.cpp:2168:64:2168:64 | SideEffect | ~m2171_13 |
| ir.cpp:2168:68:2168:68 | Address | &:r2168_19 |
| ir.cpp:2168:68:2168:68 | Address | &:r2168_27 |
| ir.cpp:2168:68:2168:68 | Address | &:r2168_38 |
| ir.cpp:2168:68:2168:68 | Address | &:r2168_47 |
| ir.cpp:2168:68:2168:68 | Address | &:r2168_60 |
| ir.cpp:2168:68:2168:68 | Address | &:r2168_60 |
| ir.cpp:2168:68:2168:68 | Arg(0) | 0:r2168_39 |
| ir.cpp:2168:68:2168:68 | Arg(this) | this:r0_32 |
| ir.cpp:2168:68:2168:68 | Arg(this) | this:r0_35 |
| ir.cpp:2168:68:2168:68 | Arg(this) | this:r0_37 |
| ir.cpp:2168:68:2168:68 | Arg(this) | this:r0_39 |
| ir.cpp:2168:68:2168:68 | Arg(this) | this:r2168_39 |
| ir.cpp:2168:68:2168:68 | CallTarget | func:r2168_8 |
| ir.cpp:2168:68:2168:68 | CallTarget | func:r2168_16 |
| ir.cpp:2168:68:2168:68 | CallTarget | func:r2168_24 |
| ir.cpp:2168:68:2168:68 | CallTarget | func:r2168_33 |
| ir.cpp:2168:68:2168:68 | CallTarget | func:r2168_40 |
| ir.cpp:2168:68:2168:68 | ChiPartial | partial:m2168_10 |
| ir.cpp:2168:68:2168:68 | ChiPartial | partial:m2168_18 |
| ir.cpp:2168:68:2168:68 | ChiPartial | partial:m2168_28 |
| ir.cpp:2168:68:2168:68 | ChiPartial | partial:m2168_35 |
| ir.cpp:2168:68:2168:68 | ChiPartial | partial:m2168_42 |
| ir.cpp:2168:68:2168:68 | ChiPartial | partial:m2168_45 |
| ir.cpp:2168:68:2168:68 | ChiTotal | total:m2163_29 |
| ir.cpp:2168:68:2168:68 | Arg(this) | this:r2168_60 |
| ir.cpp:2168:68:2168:68 | CallTarget | func:r2168_21 |
| ir.cpp:2168:68:2168:68 | CallTarget | func:r2168_29 |
| ir.cpp:2168:68:2168:68 | CallTarget | func:r2168_37 |
| ir.cpp:2168:68:2168:68 | CallTarget | func:r2168_46 |
| ir.cpp:2168:68:2168:68 | CallTarget | func:r2168_61 |
| ir.cpp:2168:68:2168:68 | ChiPartial | partial:m2168_23 |
| ir.cpp:2168:68:2168:68 | ChiPartial | partial:m2168_31 |
| ir.cpp:2168:68:2168:68 | ChiPartial | partial:m2168_41 |
| ir.cpp:2168:68:2168:68 | ChiPartial | partial:m2168_48 |
| ir.cpp:2168:68:2168:68 | ChiPartial | partial:m2168_63 |
| ir.cpp:2168:68:2168:68 | ChiPartial | partial:m2168_66 |
| ir.cpp:2168:68:2168:68 | ChiTotal | total:m2168_11 |
| ir.cpp:2168:68:2168:68 | ChiTotal | total:m2168_21 |
| ir.cpp:2168:68:2168:68 | ChiTotal | total:m2168_22 |
| ir.cpp:2168:68:2168:68 | ChiTotal | total:m2168_29 |
| ir.cpp:2168:68:2168:68 | ChiTotal | total:m2171_13 |
| ir.cpp:2168:68:2168:68 | Condition | r2168_27 |
| ir.cpp:2168:68:2168:68 | Load | m2168_4 |
| ir.cpp:2168:68:2168:68 | Load | m2168_4 |
| ir.cpp:2168:68:2168:68 | Load | m2168_20 |
| ir.cpp:2168:68:2168:68 | Phi | from 20:m2168_12 |
| ir.cpp:2168:68:2168:68 | Phi | from 20:~m2168_19 |
| ir.cpp:2168:68:2168:68 | Phi | from 22:m2168_46 |
| ir.cpp:2168:68:2168:68 | Phi | from 22:~m2168_43 |
| ir.cpp:2168:68:2168:68 | SideEffect | m2168_21 |
| ir.cpp:2168:68:2168:68 | SideEffect | ~m2163_29 |
| ir.cpp:2168:68:2168:68 | ChiTotal | total:m2168_24 |
| ir.cpp:2168:68:2168:68 | ChiTotal | total:m2168_34 |
| ir.cpp:2168:68:2168:68 | ChiTotal | total:m2168_35 |
| ir.cpp:2168:68:2168:68 | ChiTotal | total:m2168_42 |
| ir.cpp:2168:68:2168:68 | ChiTotal | total:m2168_56 |
| ir.cpp:2168:68:2168:68 | Condition | r2168_40 |
| ir.cpp:2168:68:2168:68 | Load | m2168_17 |
| ir.cpp:2168:68:2168:68 | Load | m2168_17 |
| ir.cpp:2168:68:2168:68 | Load | m2168_33 |
| ir.cpp:2168:68:2168:68 | Phi | from 20:m2168_25 |
| ir.cpp:2168:68:2168:68 | Phi | from 20:~m2168_32 |
| ir.cpp:2168:68:2168:68 | Phi | from 22:m2168_67 |
| ir.cpp:2168:68:2168:68 | Phi | from 22:~m2168_64 |
| ir.cpp:2168:68:2168:68 | SideEffect | m2168_34 |
| ir.cpp:2168:68:2168:68 | SideEffect | ~m2168_11 |
| ir.cpp:2168:68:2168:68 | SideEffect | ~m2168_22 |
| ir.cpp:2168:68:2168:68 | SideEffect | ~m2168_29 |
| ir.cpp:2168:68:2168:68 | SideEffect | ~m2171_13 |
| ir.cpp:2168:68:2168:68 | StoreValue | r2168_9 |
| ir.cpp:2168:68:2168:68 | StoreValue | r2168_17 |
| ir.cpp:2168:68:2168:68 | Unary | r2168_7 |
| ir.cpp:2168:68:2168:68 | Unary | r2168_15 |
| ir.cpp:2168:68:2168:68 | Unary | r2168_23 |
| ir.cpp:2168:68:2168:68 | Unary | r2168_32 |
| ir.cpp:2168:68:2168:68 | Unary | r2168_41 |
| ir.cpp:2168:68:2168:69 | StoreValue | r2168_3 |
| ir.cpp:2168:68:2168:69 | Unary | r2168_2 |
| ir.cpp:2168:68:2168:70 | Load | ~m2168_36 |
| ir.cpp:2168:68:2168:70 | StoreValue | r2168_37 |
| ir.cpp:2168:68:2168:68 | SideEffect | ~m2168_24 |
| ir.cpp:2168:68:2168:68 | SideEffect | ~m2168_35 |
| ir.cpp:2168:68:2168:68 | SideEffect | ~m2168_42 |
| ir.cpp:2168:68:2168:68 | SideEffect | ~m2168_56 |
| ir.cpp:2168:68:2168:68 | StoreValue | r2168_22 |
| ir.cpp:2168:68:2168:68 | StoreValue | r2168_30 |
| ir.cpp:2168:68:2168:68 | Unary | r2168_20 |
| ir.cpp:2168:68:2168:68 | Unary | r2168_28 |
| ir.cpp:2168:68:2168:68 | Unary | r2168_36 |
| ir.cpp:2168:68:2168:68 | Unary | r2168_45 |
| ir.cpp:2168:68:2168:68 | Unary | r2168_62 |
| ir.cpp:2168:68:2168:69 | StoreValue | r2168_16 |
| ir.cpp:2168:68:2168:69 | Unary | r2168_15 |
| ir.cpp:2168:68:2168:70 | Load | ~m2168_49 |
| ir.cpp:2168:68:2168:70 | StoreValue | r2168_50 |
| ir.cpp:2169:27:2169:28 | Address | &:r2169_1 |
| ir.cpp:2169:27:2169:28 | Address | &:r2169_1 |
| ir.cpp:2169:27:2169:28 | Arg(this) | this:r2169_1 |
| ir.cpp:2169:27:2169:28 | CallTarget | func:r2169_3 |
| ir.cpp:2169:27:2169:28 | ChiPartial | partial:m2169_5 |
| ir.cpp:2169:27:2169:28 | ChiPartial | partial:m2169_7 |
| ir.cpp:2169:27:2169:28 | ChiTotal | total:m2168_36 |
| ir.cpp:2169:27:2169:28 | ChiTotal | total:m2168_49 |
| ir.cpp:2169:27:2169:28 | ChiTotal | total:m2169_2 |
| ir.cpp:2169:27:2169:28 | SideEffect | ~m2168_36 |
| ir.cpp:2169:27:2169:28 | SideEffect | ~m2168_49 |
| ir.cpp:2170:27:2170:28 | Address | &:r2170_1 |
| ir.cpp:2170:27:2170:28 | Address | &:r2170_1 |
| ir.cpp:2170:27:2170:28 | Arg(this) | this:r2170_1 |
@@ -10912,18 +11000,18 @@
| ir.cpp:2172:1:2172:1 | ChiTotal | total:m2153_8 |
| ir.cpp:2172:1:2172:1 | ChiTotal | total:m2153_8 |
| ir.cpp:2172:1:2172:1 | ChiTotal | total:m2153_8 |
| ir.cpp:2172:1:2172:1 | ChiTotal | total:m2159_5 |
| ir.cpp:2172:1:2172:1 | ChiTotal | total:m2163_45 |
| ir.cpp:2172:1:2172:1 | ChiTotal | total:m2168_29 |
| ir.cpp:2172:1:2172:1 | ChiTotal | total:m2157_64 |
| ir.cpp:2172:1:2172:1 | ChiTotal | total:m2163_61 |
| ir.cpp:2172:1:2172:1 | ChiTotal | total:m2168_42 |
| ir.cpp:2172:1:2172:1 | SideEffect | m2153_8 |
| ir.cpp:2172:1:2172:1 | SideEffect | m2153_8 |
| ir.cpp:2172:1:2172:1 | SideEffect | m2153_8 |
| ir.cpp:2172:1:2172:1 | SideEffect | ~m2159_5 |
| ir.cpp:2172:1:2172:1 | SideEffect | ~m2163_45 |
| ir.cpp:2172:1:2172:1 | SideEffect | ~m2168_29 |
| ir.cpp:2172:1:2172:1 | SideEffect | ~m2157_64 |
| ir.cpp:2172:1:2172:1 | SideEffect | ~m2163_61 |
| ir.cpp:2172:1:2172:1 | SideEffect | ~m2168_42 |
| ir.cpp:2174:6:2174:38 | ChiPartial | partial:m2174_3 |
| ir.cpp:2174:6:2174:38 | ChiTotal | total:m2174_2 |
| ir.cpp:2174:6:2174:38 | SideEffect | ~m2177_10 |
| ir.cpp:2174:6:2174:38 | SideEffect | ~m2177_7 |
| ir.cpp:2175:25:2175:25 | Address | &:r2175_1 |
| ir.cpp:2175:25:2175:25 | Address | &:r2175_1 |
| ir.cpp:2175:25:2175:25 | Arg(this) | this:r2175_1 |
@@ -10948,12 +11036,12 @@
| ir.cpp:2177:1:2177:1 | CallTarget | func:r2177_4 |
| ir.cpp:2177:1:2177:1 | ChiPartial | partial:m2177_6 |
| ir.cpp:2177:1:2177:1 | ChiPartial | partial:m2177_9 |
| ir.cpp:2177:1:2177:1 | ChiTotal | total:m2175_8 |
| ir.cpp:2177:1:2177:1 | ChiTotal | total:m2177_1 |
| ir.cpp:2177:1:2177:1 | ChiTotal | total:m2177_7 |
| ir.cpp:2177:1:2177:1 | Phi | from 0:~m2175_6 |
| ir.cpp:2177:1:2177:1 | Phi | from 1:~m2176_7 |
| ir.cpp:2177:1:2177:1 | SideEffect | m2175_8 |
| ir.cpp:2177:1:2177:1 | SideEffect | ~m2177_1 |
| ir.cpp:2177:1:2177:1 | SideEffect | ~m2177_7 |
| ir.cpp:2179:6:2179:38 | ChiPartial | partial:m2179_3 |
| ir.cpp:2179:6:2179:38 | ChiTotal | total:m2179_2 |
| ir.cpp:2179:6:2179:38 | SideEffect | ~m2182_6 |
@@ -10989,7 +11077,7 @@
| ir.cpp:2182:1:2182:1 | SideEffect | ~m2181_7 |
| ir.cpp:2184:6:2184:38 | ChiPartial | partial:m2184_3 |
| ir.cpp:2184:6:2184:38 | ChiTotal | total:m2184_2 |
| ir.cpp:2184:6:2184:38 | SideEffect | ~m2188_10 |
| ir.cpp:2184:6:2184:38 | SideEffect | ~m2188_15 |
| ir.cpp:2185:25:2185:25 | Address | &:r2185_1 |
| ir.cpp:2185:25:2185:25 | Address | &:r2185_1 |
| ir.cpp:2185:25:2185:25 | Arg(this) | this:r2185_1 |
@@ -11019,14 +11107,24 @@
| ir.cpp:2187:32:2187:32 | StoreValue | r2187_5 |
| ir.cpp:2188:1:2188:1 | Address | &:r2188_3 |
| ir.cpp:2188:1:2188:1 | Address | &:r2188_3 |
| ir.cpp:2188:1:2188:1 | Address | &:r2188_11 |
| ir.cpp:2188:1:2188:1 | Address | &:r2188_11 |
| ir.cpp:2188:1:2188:1 | Arg(this) | this:r2188_3 |
| ir.cpp:2188:1:2188:1 | Arg(this) | this:r2188_11 |
| ir.cpp:2188:1:2188:1 | CallTarget | func:r2188_4 |
| ir.cpp:2188:1:2188:1 | CallTarget | func:r2188_12 |
| ir.cpp:2188:1:2188:1 | ChiPartial | partial:m2188_6 |
| ir.cpp:2188:1:2188:1 | ChiPartial | partial:m2188_9 |
| ir.cpp:2188:1:2188:1 | ChiPartial | partial:m2188_14 |
| ir.cpp:2188:1:2188:1 | ChiPartial | partial:m2188_17 |
| ir.cpp:2188:1:2188:1 | ChiTotal | total:m2185_8 |
| ir.cpp:2188:1:2188:1 | ChiTotal | total:m2186_8 |
| ir.cpp:2188:1:2188:1 | ChiTotal | total:m2188_1 |
| ir.cpp:2188:1:2188:1 | ChiTotal | total:m2188_7 |
| ir.cpp:2188:1:2188:1 | Phi | from 0:~m2186_6 |
| ir.cpp:2188:1:2188:1 | Phi | from 1:~m2187_7 |
| ir.cpp:2188:1:2188:1 | SideEffect | m2185_8 |
| ir.cpp:2188:1:2188:1 | SideEffect | m2186_8 |
| ir.cpp:2188:1:2188:1 | SideEffect | ~m2188_1 |
| ir.cpp:2188:1:2188:1 | SideEffect | ~m2188_7 |
| ir.cpp:2190:28:2190:55 | Address | &:r2190_3 |
@@ -11274,60 +11372,70 @@
| ir.cpp:2224:5:2224:5 | ChiTotal | total:m2223_8 |
| ir.cpp:2224:5:2224:5 | SideEffect | m2223_8 |
| ir.cpp:2224:5:2224:5 | SideEffect | ~m2223_6 |
| ir.cpp:2226:5:2228:5 | Address | &:r2226_1 |
| ir.cpp:2226:5:2228:5 | Address | &:r2226_24 |
| ir.cpp:2226:5:2228:5 | Address | &:r2226_32 |
| ir.cpp:2226:5:2228:5 | Address | &:r2226_50 |
| ir.cpp:2226:5:2228:5 | Address | &:r2226_50 |
| ir.cpp:2226:5:2228:5 | Arg(this) | this:r2226_50 |
| ir.cpp:2226:5:2226:5 | Address | &:r2226_1 |
| ir.cpp:2226:5:2226:5 | Address | &:r2226_24 |
| ir.cpp:2226:5:2226:5 | Address | &:r2226_32 |
| ir.cpp:2226:16:2226:16 | Address | &:r2226_50 |
| ir.cpp:2226:16:2226:16 | Address | &:r2226_50 |
| ir.cpp:2226:16:2226:16 | Address | &:r2226_67 |
| ir.cpp:2226:16:2226:16 | Address | &:r2226_67 |
| ir.cpp:2226:16:2226:16 | Arg(this) | this:r2226_50 |
| ir.cpp:2226:16:2226:16 | Arg(this) | this:r2226_67 |
| ir.cpp:2226:16:2226:16 | CallTarget | func:r2226_52 |
| ir.cpp:2226:16:2226:16 | CallTarget | func:r2226_68 |
| ir.cpp:2226:16:2226:16 | ChiPartial | partial:m2226_62 |
| ir.cpp:2226:16:2226:16 | ChiPartial | partial:m2226_65 |
| ir.cpp:2226:16:2226:16 | ChiPartial | partial:m2226_70 |
| ir.cpp:2226:16:2226:16 | ChiPartial | partial:m2226_73 |
| ir.cpp:2226:16:2226:16 | ChiTotal | total:m2226_51 |
| ir.cpp:2226:16:2226:16 | ChiTotal | total:m2226_57 |
| ir.cpp:2226:16:2226:16 | ChiTotal | total:m2226_66 |
| ir.cpp:2226:16:2226:16 | ChiTotal | total:m2228_5 |
| ir.cpp:2226:16:2226:16 | SideEffect | m2226_66 |
| ir.cpp:2226:16:2226:16 | SideEffect | ~m2226_57 |
| ir.cpp:2226:16:2226:16 | SideEffect | ~m2228_5 |
| ir.cpp:2226:20:2226:20 | Address | &:r2226_25 |
| ir.cpp:2226:20:2226:20 | Address | &:r2226_33 |
| ir.cpp:2226:20:2226:20 | Address | &:r2226_44 |
| ir.cpp:2226:20:2226:20 | Address | &:r2226_67 |
| ir.cpp:2226:20:2226:20 | Address | &:r2226_67 |
| ir.cpp:2226:20:2226:20 | Address | &:r2226_75 |
| ir.cpp:2226:20:2226:20 | Address | &:r2226_75 |
| ir.cpp:2226:20:2226:20 | Arg(0) | 0:r2226_45 |
| ir.cpp:2226:20:2226:20 | Arg(this) | this:r0_2 |
| ir.cpp:2226:20:2226:20 | Arg(this) | this:r0_5 |
| ir.cpp:2226:20:2226:20 | Arg(this) | this:r0_7 |
| ir.cpp:2226:20:2226:20 | Arg(this) | this:r0_9 |
| ir.cpp:2226:20:2226:20 | Arg(this) | this:r2226_67 |
| ir.cpp:2226:20:2226:20 | Arg(this) | this:r2226_75 |
| ir.cpp:2226:20:2226:20 | CallTarget | func:r2226_27 |
| ir.cpp:2226:20:2226:20 | CallTarget | func:r2226_35 |
| ir.cpp:2226:20:2226:20 | CallTarget | func:r2226_43 |
| ir.cpp:2226:20:2226:20 | CallTarget | func:r2226_54 |
| ir.cpp:2226:20:2226:20 | CallTarget | func:r2226_68 |
| ir.cpp:2226:20:2226:20 | CallTarget | func:r2226_76 |
| ir.cpp:2226:20:2226:20 | ChiPartial | partial:m2226_29 |
| ir.cpp:2226:20:2226:20 | ChiPartial | partial:m2226_37 |
| ir.cpp:2226:20:2226:20 | ChiPartial | partial:m2226_47 |
| ir.cpp:2226:20:2226:20 | ChiPartial | partial:m2226_56 |
| ir.cpp:2226:20:2226:20 | ChiPartial | partial:m2226_70 |
| ir.cpp:2226:20:2226:20 | ChiPartial | partial:m2226_73 |
| ir.cpp:2226:20:2226:20 | ChiPartial | partial:m2226_78 |
| ir.cpp:2226:20:2226:20 | ChiPartial | partial:m2226_81 |
| ir.cpp:2226:20:2226:20 | ChiTotal | total:m2226_19 |
| ir.cpp:2226:20:2226:20 | ChiTotal | total:m2226_30 |
| ir.cpp:2226:20:2226:20 | ChiTotal | total:m2226_40 |
| ir.cpp:2226:20:2226:20 | ChiTotal | total:m2226_41 |
| ir.cpp:2226:20:2226:20 | ChiTotal | total:m2226_48 |
| ir.cpp:2226:20:2226:20 | ChiTotal | total:m2228_5 |
| ir.cpp:2226:20:2226:20 | ChiTotal | total:m2226_71 |
| ir.cpp:2226:20:2226:20 | Condition | r2226_46 |
| ir.cpp:2226:20:2226:20 | Load | m2226_23 |
| ir.cpp:2226:20:2226:20 | Load | m2226_23 |
| ir.cpp:2226:20:2226:20 | Load | m2226_39 |
| ir.cpp:2226:20:2226:20 | Phi | from 3:m2226_31 |
| ir.cpp:2226:20:2226:20 | Phi | from 3:~m2226_38 |
| ir.cpp:2226:20:2226:20 | Phi | from 5:m2226_74 |
| ir.cpp:2226:20:2226:20 | Phi | from 5:~m2226_71 |
| ir.cpp:2226:20:2226:20 | Phi | from 5:m2226_82 |
| ir.cpp:2226:20:2226:20 | Phi | from 5:~m2226_79 |
| ir.cpp:2226:20:2226:20 | SideEffect | m2226_40 |
| ir.cpp:2226:20:2226:20 | SideEffect | ~m2226_19 |
| ir.cpp:2226:20:2226:20 | SideEffect | ~m2226_30 |
| ir.cpp:2226:20:2226:20 | SideEffect | ~m2226_41 |
| ir.cpp:2226:20:2226:20 | SideEffect | ~m2226_48 |
| ir.cpp:2226:20:2226:20 | SideEffect | ~m2228_5 |
| ir.cpp:2226:20:2226:20 | SideEffect | ~m2226_71 |
| ir.cpp:2226:20:2226:20 | StoreValue | r2226_28 |
| ir.cpp:2226:20:2226:20 | StoreValue | r2226_36 |
| ir.cpp:2226:20:2226:20 | Unary | r2226_26 |
@@ -11335,7 +11443,7 @@
| ir.cpp:2226:20:2226:20 | Unary | r2226_42 |
| ir.cpp:2226:20:2226:20 | Unary | r2226_53 |
| ir.cpp:2226:20:2226:20 | Unary | r2226_55 |
| ir.cpp:2226:20:2226:20 | Unary | r2226_69 |
| ir.cpp:2226:20:2226:20 | Unary | r2226_77 |
| ir.cpp:2226:20:2226:50 | Address | &:r2226_2 |
| ir.cpp:2226:20:2226:50 | Address | &:r2226_2 |
| ir.cpp:2226:20:2226:50 | Arg(this) | this:r2226_2 |

4
cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
View File

@@ -37,8 +37,4 @@ nonUniqueEnclosingIRFunction
fieldAddressOnNonPointer
thisArgumentIsNonPointer
nonUniqueIRVariable
| ir.cpp:2154:68:2154:69 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
| ir.cpp:2157:68:2157:69 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
| ir.cpp:2163:36:2163:37 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
| ir.cpp:2168:68:2168:69 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
missingCppType

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

@@ -7200,29 +7200,11 @@ ir.cpp:
#-----| Goto -> Block 6
# 1246| Block 6
# 1246| v1246_1(void) = NoOp :
# 1246| r1246_2(glval<String>) = VariableAddress[c] :
# 1246| r1246_3(glval<unknown>) = FunctionAddress[~String] :
# 1246| v1246_4(void) = Call[~String] : func:r1246_3, this:r1246_2
# 1246| mu1246_5(unknown) = ^CallSideEffect : ~m?
# 1246| v1246_6(void) = ^IndirectReadSideEffect[-1] : &:r1246_2, ~m?
# 1246| mu1246_7(String) = ^IndirectMayWriteSideEffect[-1] : &:r1246_2
# 1246| r1246_8(glval<String>) = VariableAddress[b] :
# 1246| r1246_9(glval<unknown>) = FunctionAddress[~String] :
# 1246| v1246_10(void) = Call[~String] : func:r1246_9, this:r1246_8
# 1246| mu1246_11(unknown) = ^CallSideEffect : ~m?
# 1246| v1246_12(void) = ^IndirectReadSideEffect[-1] : &:r1246_8, ~m?
# 1246| mu1246_13(String) = ^IndirectMayWriteSideEffect[-1] : &:r1246_8
# 1246| r1246_14(glval<String>) = VariableAddress[a] :
# 1246| r1246_15(glval<unknown>) = FunctionAddress[~String] :
# 1246| v1246_16(void) = Call[~String] : func:r1246_15, this:r1246_14
# 1246| mu1246_17(unknown) = ^CallSideEffect : ~m?
# 1246| v1246_18(void) = ^IndirectReadSideEffect[-1] : &:r1246_14, ~m?
# 1246| mu1246_19(String) = ^IndirectMayWriteSideEffect[-1] : &:r1246_14
# 1242| v1242_8(void) = ReturnIndirection[dynamic] : &:r1242_6, ~m?
# 1242| v1242_9(void) = ReturnVoid :
# 1242| v1242_10(void) = AliasedUse : ~m?
# 1242| v1242_11(void) = ExitFunction :
# 1246| v1246_1(void) = NoOp :
# 1242| v1242_8(void) = ReturnIndirection[dynamic] : &:r1242_6, ~m?
# 1242| v1242_9(void) = ReturnVoid :
# 1242| v1242_10(void) = AliasedUse : ~m?
# 1242| v1242_11(void) = ExitFunction :
# 1253| void test_strings(char*, char*)
# 1253| Block 0
@@ -11979,7 +11961,7 @@ ir.cpp:
# 2141| mu2141_6(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2141_1
# 2141| r2141_7(bool) = Constant[1] :
# 2141| v2141_8(void) = ConditionalBranch : r2141_7
#-----| False -> Block 5
#-----| False -> Block 6
#-----| True -> Block 4
# 2142| Block 4
@@ -11990,9 +11972,18 @@ ir.cpp:
# 2142| mu2142_5(unknown) = ^CallSideEffect : ~m?
# 2142| v2142_6(void) = ^IndirectReadSideEffect[-1] : &:r2142_1, ~m?
# 2142| mu2142_7(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2142_1
#-----| Goto -> Block 5
#-----| Goto -> Block 6
# 2144| Block 5
# 2142| Block 5
# 2142| r2142_8(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2142| r2142_9(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2142| v2142_10(void) = Call[~ClassWithDestructor] : func:r2142_9, this:r2142_8
# 2142| mu2142_11(unknown) = ^CallSideEffect : ~m?
# 2142| v2142_12(void) = ^IndirectReadSideEffect[-1] : &:r2142_8, ~m?
# 2142| mu2142_13(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2142_8
#-----| Goto -> Block 6
# 2144| Block 6
# 2144| r2144_1(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2144| mu2144_2(ClassWithDestructor) = Uninitialized[x] : &:r2144_1
# 2144| r2144_3(glval<unknown>) = FunctionAddress[ClassWithDestructor] :
@@ -12003,10 +11994,10 @@ ir.cpp:
# 2144| r2144_8(char) = Load[c] : &:r2144_7, ~m?
# 2144| r2144_9(int) = Convert : r2144_8
# 2144| v2144_10(void) = Switch : r2144_9
#-----| Case[97] -> Block 6
#-----| Default -> Block 7
#-----| Case[97] -> Block 7
#-----| Default -> Block 8
# 2145| Block 6
# 2145| Block 7
# 2145| v2145_1(void) = NoOp :
# 2146| r2146_1(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2146| r2146_2(glval<unknown>) = FunctionAddress[set_x] :
@@ -12016,9 +12007,9 @@ ir.cpp:
# 2146| v2146_6(void) = ^IndirectReadSideEffect[-1] : &:r2146_1, ~m?
# 2146| mu2146_7(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2146_1
# 2147| v2147_1(void) = NoOp :
#-----| Goto -> Block 9
#-----| Goto -> Block 10
# 2148| Block 7
# 2148| Block 8
# 2148| v2148_1(void) = NoOp :
# 2149| r2149_1(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2149| r2149_2(glval<unknown>) = FunctionAddress[set_x] :
@@ -12028,18 +12019,18 @@ ir.cpp:
# 2149| v2149_6(void) = ^IndirectReadSideEffect[-1] : &:r2149_1, ~m?
# 2149| mu2149_7(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2149_1
# 2150| v2150_1(void) = NoOp :
#-----| Goto -> Block 9
#-----| Goto -> Block 10
# 2151| Block 8
# 2151| Block 9
# 2151| r2151_1(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2151| r2151_2(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2151| v2151_3(void) = Call[~ClassWithDestructor] : func:r2151_2, this:r2151_1
# 2151| mu2151_4(unknown) = ^CallSideEffect : ~m?
# 2151| v2151_5(void) = ^IndirectReadSideEffect[-1] : &:r2151_1, ~m?
# 2151| mu2151_6(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2151_1
#-----| Goto -> Block 9
#-----| Goto -> Block 10
# 2151| Block 9
# 2151| Block 10
# 2151| v2151_7(void) = NoOp :
# 2153| r2153_1(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2153| mu2153_2(ClassWithDestructor) = Uninitialized[x] : &:r2153_1
@@ -12047,131 +12038,158 @@ ir.cpp:
# 2153| v2153_4(void) = Call[ClassWithDestructor] : func:r2153_3, this:r2153_1
# 2153| mu2153_5(unknown) = ^CallSideEffect : ~m?
# 2153| mu2153_6(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2153_1
# 2154| r2154_1(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2154| r2154_2(glval<vector<ClassWithDestructor>>) = VariableAddress :
# 2154| r2154_3(vector<ClassWithDestructor> &) = CopyValue : r2154_2
# 2154| mu2154_4(vector<ClassWithDestructor> &) = Store[(__range)] : &:r2154_1, r2154_3
# 2154| r2154_5(glval<iterator>) = VariableAddress[(__begin)] :
# 2154| r2154_6(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2154| r2154_7(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2154_6, ~m?
#-----| r0_1(glval<vector<ClassWithDestructor>>) = CopyValue : r2154_7
#-----| r0_2(glval<vector<ClassWithDestructor>>) = Convert : r0_1
# 2154| r2154_8(glval<unknown>) = FunctionAddress[begin] :
# 2154| r2154_9(iterator) = Call[begin] : func:r2154_8, this:r0_2
# 2154| r2154_1(glval<vector<ClassWithDestructor>>) = VariableAddress[ys] :
# 2154| mu2154_2(vector<ClassWithDestructor>) = Uninitialized[ys] : &:r2154_1
# 2154| r2154_3(glval<unknown>) = FunctionAddress[vector] :
# 2154| r2154_4(glval<ClassWithDestructor>) = VariableAddress[#temp2154:40] :
# 2154| r2154_5(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2154| r2154_6(ClassWithDestructor) = Load[x] : &:r2154_5, ~m?
# 2154| mu2154_7(ClassWithDestructor) = Store[#temp2154:40] : &:r2154_4, r2154_6
# 2154| r2154_8(ClassWithDestructor) = Load[#temp2154:40] : &:r2154_4, ~m?
# 2154| v2154_9(void) = Call[vector] : func:r2154_3, this:r2154_1, 0:r2154_8
# 2154| mu2154_10(unknown) = ^CallSideEffect : ~m?
# 2154| mu2154_11(vector<ClassWithDestructor>) = ^IndirectMayWriteSideEffect[-1] : &:r2154_1
# 2154| r2154_12(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2154| r2154_13(glval<vector<ClassWithDestructor>>) = VariableAddress[ys] :
# 2154| r2154_14(vector<ClassWithDestructor> &) = CopyValue : r2154_13
# 2154| mu2154_15(vector<ClassWithDestructor> &) = Store[(__range)] : &:r2154_12, r2154_14
# 2154| r2154_16(glval<iterator>) = VariableAddress[(__begin)] :
# 2154| r2154_17(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2154| r2154_18(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2154_17, ~m?
#-----| r0_1(glval<vector<ClassWithDestructor>>) = CopyValue : r2154_18
#-----| r0_2(glval<vector<ClassWithDestructor>>) = Convert : r0_1
# 2154| r2154_19(glval<unknown>) = FunctionAddress[begin] :
# 2154| r2154_20(iterator) = Call[begin] : func:r2154_19, this:r0_2
# 2154| mu2154_21(unknown) = ^CallSideEffect : ~m?
#-----| v0_3(void) = ^IndirectReadSideEffect[-1] : &:r0_2, ~m?
# 2154| mu2154_11(iterator) = Store[(__begin)] : &:r2154_5, r2154_9
# 2154| r2154_12(glval<iterator>) = VariableAddress[(__end)] :
# 2154| r2154_13(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2154| r2154_14(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2154_13, ~m?
#-----| r0_4(glval<vector<ClassWithDestructor>>) = CopyValue : r2154_14
# 2154| mu2154_22(iterator) = Store[(__begin)] : &:r2154_16, r2154_20
# 2154| r2154_23(glval<iterator>) = VariableAddress[(__end)] :
# 2154| r2154_24(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2154| r2154_25(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2154_24, ~m?
#-----| r0_4(glval<vector<ClassWithDestructor>>) = CopyValue : r2154_25
#-----| r0_5(glval<vector<ClassWithDestructor>>) = Convert : r0_4
# 2154| r2154_15(glval<unknown>) = FunctionAddress[end] :
# 2154| r2154_16(iterator) = Call[end] : func:r2154_15, this:r0_5
# 2154| mu2154_17(unknown) = ^CallSideEffect : ~m?
# 2154| r2154_26(glval<unknown>) = FunctionAddress[end] :
# 2154| r2154_27(iterator) = Call[end] : func:r2154_26, this:r0_5
# 2154| mu2154_28(unknown) = ^CallSideEffect : ~m?
#-----| v0_6(void) = ^IndirectReadSideEffect[-1] : &:r0_5, ~m?
# 2154| mu2154_18(iterator) = Store[(__end)] : &:r2154_12, r2154_16
#-----| Goto -> Block 10
# 2154| Block 10
# 2154| r2154_19(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_7(glval<iterator>) = Convert : r2154_19
# 2154| r2154_20(glval<unknown>) = FunctionAddress[operator!=] :
# 2154| r2154_21(glval<iterator>) = VariableAddress[(__end)] :
# 2154| r2154_22(iterator) = Load[(__end)] : &:r2154_21, ~m?
# 2154| r2154_23(bool) = Call[operator!=] : func:r2154_20, this:r0_7, 0:r2154_22
# 2154| mu2154_24(unknown) = ^CallSideEffect : ~m?
#-----| v0_8(void) = ^IndirectReadSideEffect[-1] : &:r0_7, ~m?
# 2154| v2154_25(void) = ConditionalBranch : r2154_23
#-----| False -> Block 12
#-----| True -> Block 11
# 2154| mu2154_29(iterator) = Store[(__end)] : &:r2154_23, r2154_27
#-----| Goto -> Block 11
# 2154| Block 11
# 2154| r2154_26(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2154| r2154_27(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_9(glval<iterator>) = Convert : r2154_27
# 2154| r2154_28(glval<unknown>) = FunctionAddress[operator*] :
# 2154| r2154_29(ClassWithDestructor &) = Call[operator*] : func:r2154_28, this:r0_9
# 2154| mu2154_30(unknown) = ^CallSideEffect : ~m?
#-----| v0_10(void) = ^IndirectReadSideEffect[-1] : &:r0_9, ~m?
# 2154| r2154_31(ClassWithDestructor) = Load[?] : &:r2154_29, ~m?
# 2154| mu2154_32(ClassWithDestructor) = Store[y] : &:r2154_26, r2154_31
# 2155| r2155_1(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2155| r2155_2(glval<unknown>) = FunctionAddress[set_x] :
# 2155| r2155_3(char) = Constant[97] :
# 2155| v2155_4(void) = Call[set_x] : func:r2155_2, this:r2155_1, 0:r2155_3
# 2155| mu2155_5(unknown) = ^CallSideEffect : ~m?
# 2155| v2155_6(void) = ^IndirectReadSideEffect[-1] : &:r2155_1, ~m?
# 2155| mu2155_7(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2155_1
# 2154| r2154_33(glval<iterator>) = VariableAddress[(__begin)] :
# 2154| r2154_34(glval<unknown>) = FunctionAddress[operator++] :
# 2154| r2154_35(iterator &) = Call[operator++] : func:r2154_34, this:r2154_33
# 2154| mu2154_36(unknown) = ^CallSideEffect : ~m?
# 2154| v2154_37(void) = ^IndirectReadSideEffect[-1] : &:r2154_33, ~m?
# 2154| mu2154_38(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2154_33
# 2154| r2154_39(glval<iterator>) = CopyValue : r2154_35
#-----| Goto (back edge) -> Block 10
# 2154| r2154_30(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_7(glval<iterator>) = Convert : r2154_30
# 2154| r2154_31(glval<unknown>) = FunctionAddress[operator!=] :
# 2154| r2154_32(glval<iterator>) = VariableAddress[(__end)] :
# 2154| r2154_33(iterator) = Load[(__end)] : &:r2154_32, ~m?
# 2154| r2154_34(bool) = Call[operator!=] : func:r2154_31, this:r0_7, 0:r2154_33
# 2154| mu2154_35(unknown) = ^CallSideEffect : ~m?
#-----| v0_8(void) = ^IndirectReadSideEffect[-1] : &:r0_7, ~m?
# 2154| v2154_36(void) = ConditionalBranch : r2154_34
#-----| False -> Block 14
#-----| True -> Block 12
# 2157| Block 12
# 2157| r2157_1(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2157| r2157_2(glval<vector<ClassWithDestructor>>) = VariableAddress :
# 2157| r2157_3(vector<ClassWithDestructor> &) = CopyValue : r2157_2
# 2157| mu2157_4(vector<ClassWithDestructor> &) = Store[(__range)] : &:r2157_1, r2157_3
# 2157| r2157_5(glval<iterator>) = VariableAddress[(__begin)] :
# 2157| r2157_6(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2157| r2157_7(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2157_6, ~m?
#-----| r0_11(glval<vector<ClassWithDestructor>>) = CopyValue : r2157_7
#-----| r0_12(glval<vector<ClassWithDestructor>>) = Convert : r0_11
# 2157| r2157_8(glval<unknown>) = FunctionAddress[begin] :
# 2157| r2157_9(iterator) = Call[begin] : func:r2157_8, this:r0_12
# 2157| mu2157_10(unknown) = ^CallSideEffect : ~m?
#-----| v0_13(void) = ^IndirectReadSideEffect[-1] : &:r0_12, ~m?
# 2157| mu2157_11(iterator) = Store[(__begin)] : &:r2157_5, r2157_9
# 2157| r2157_12(glval<iterator>) = VariableAddress[(__end)] :
# 2157| r2157_13(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2157| r2157_14(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2157_13, ~m?
#-----| r0_14(glval<vector<ClassWithDestructor>>) = CopyValue : r2157_14
#-----| r0_15(glval<vector<ClassWithDestructor>>) = Convert : r0_14
# 2157| r2157_15(glval<unknown>) = FunctionAddress[end] :
# 2157| r2157_16(iterator) = Call[end] : func:r2157_15, this:r0_15
# 2157| mu2157_17(unknown) = ^CallSideEffect : ~m?
#-----| v0_16(void) = ^IndirectReadSideEffect[-1] : &:r0_15, ~m?
# 2157| mu2157_18(iterator) = Store[(__end)] : &:r2157_12, r2157_16
#-----| Goto -> Block 13
# 2154| Block 12
# 2154| r2154_37(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2154| r2154_38(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_9(glval<iterator>) = Convert : r2154_38
# 2154| r2154_39(glval<unknown>) = FunctionAddress[operator*] :
# 2154| r2154_40(ClassWithDestructor &) = Call[operator*] : func:r2154_39, this:r0_9
# 2154| mu2154_41(unknown) = ^CallSideEffect : ~m?
#-----| v0_10(void) = ^IndirectReadSideEffect[-1] : &:r0_9, ~m?
# 2154| r2154_42(ClassWithDestructor) = Load[?] : &:r2154_40, ~m?
# 2154| mu2154_43(ClassWithDestructor) = Store[y] : &:r2154_37, r2154_42
# 2155| r2155_1(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2155| r2155_2(glval<unknown>) = FunctionAddress[set_x] :
# 2155| r2155_3(char) = Constant[97] :
# 2155| v2155_4(void) = Call[set_x] : func:r2155_2, this:r2155_1, 0:r2155_3
# 2155| mu2155_5(unknown) = ^CallSideEffect : ~m?
# 2155| v2155_6(void) = ^IndirectReadSideEffect[-1] : &:r2155_1, ~m?
# 2155| mu2155_7(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2155_1
# 2154| r2154_44(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2154| r2154_45(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2154| v2154_46(void) = Call[~ClassWithDestructor] : func:r2154_45, this:r2154_44
# 2154| mu2154_47(unknown) = ^CallSideEffect : ~m?
# 2154| v2154_48(void) = ^IndirectReadSideEffect[-1] : &:r2154_44, ~m?
# 2154| mu2154_49(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2154_44
# 2154| r2154_50(glval<iterator>) = VariableAddress[(__begin)] :
# 2154| r2154_51(glval<unknown>) = FunctionAddress[operator++] :
# 2154| r2154_52(iterator &) = Call[operator++] : func:r2154_51, this:r2154_50
# 2154| mu2154_53(unknown) = ^CallSideEffect : ~m?
# 2154| v2154_54(void) = ^IndirectReadSideEffect[-1] : &:r2154_50, ~m?
# 2154| mu2154_55(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2154_50
# 2154| r2154_56(glval<iterator>) = CopyValue : r2154_52
#-----| Goto (back edge) -> Block 11
# 2157| Block 13
# 2157| r2157_19(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_17(glval<iterator>) = Convert : r2157_19
# 2157| r2157_20(glval<unknown>) = FunctionAddress[operator!=] :
# 2157| r2157_21(glval<iterator>) = VariableAddress[(__end)] :
# 2157| r2157_22(iterator) = Load[(__end)] : &:r2157_21, ~m?
# 2157| r2157_23(bool) = Call[operator!=] : func:r2157_20, this:r0_17, 0:r2157_22
# 2157| mu2157_24(unknown) = ^CallSideEffect : ~m?
#-----| v0_18(void) = ^IndirectReadSideEffect[-1] : &:r0_17, ~m?
# 2157| v2157_25(void) = ConditionalBranch : r2157_23
#-----| False -> Block 17
#-----| True -> Block 15
# 2154| Block 13
# 2154| r2154_57(glval<vector<ClassWithDestructor>>) = VariableAddress[ys] :
# 2154| r2154_58(glval<unknown>) = FunctionAddress[~vector] :
# 2154| v2154_59(void) = Call[~vector] : func:r2154_58, this:r2154_57
# 2154| mu2154_60(unknown) = ^CallSideEffect : ~m?
# 2154| v2154_61(void) = ^IndirectReadSideEffect[-1] : &:r2154_57, ~m?
# 2154| mu2154_62(vector<ClassWithDestructor>) = ^IndirectMayWriteSideEffect[-1] : &:r2154_57
#-----| Goto -> Block 14
# 2157| Block 14
# 2157| r2157_26(glval<iterator>) = VariableAddress[(__begin)] :
# 2157| r2157_27(glval<unknown>) = FunctionAddress[operator++] :
# 2157| r2157_28(iterator &) = Call[operator++] : func:r2157_27, this:r2157_26
# 2157| mu2157_29(unknown) = ^CallSideEffect : ~m?
# 2157| v2157_30(void) = ^IndirectReadSideEffect[-1] : &:r2157_26, ~m?
# 2157| mu2157_31(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2157_26
# 2157| r2157_32(glval<iterator>) = CopyValue : r2157_28
#-----| Goto (back edge) -> Block 13
# 2157| r2157_1(glval<vector<ClassWithDestructor>>) = VariableAddress[ys] :
# 2157| mu2157_2(vector<ClassWithDestructor>) = Uninitialized[ys] : &:r2157_1
# 2157| r2157_3(glval<unknown>) = FunctionAddress[vector] :
# 2157| r2157_4(glval<ClassWithDestructor>) = VariableAddress[#temp2157:40] :
# 2157| r2157_5(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2157| r2157_6(ClassWithDestructor) = Load[x] : &:r2157_5, ~m?
# 2157| mu2157_7(ClassWithDestructor) = Store[#temp2157:40] : &:r2157_4, r2157_6
# 2157| r2157_8(ClassWithDestructor) = Load[#temp2157:40] : &:r2157_4, ~m?
# 2157| v2157_9(void) = Call[vector] : func:r2157_3, this:r2157_1, 0:r2157_8
# 2157| mu2157_10(unknown) = ^CallSideEffect : ~m?
# 2157| mu2157_11(vector<ClassWithDestructor>) = ^IndirectMayWriteSideEffect[-1] : &:r2157_1
# 2157| r2157_12(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2157| r2157_13(glval<vector<ClassWithDestructor>>) = VariableAddress[ys] :
# 2157| r2157_14(vector<ClassWithDestructor> &) = CopyValue : r2157_13
# 2157| mu2157_15(vector<ClassWithDestructor> &) = Store[(__range)] : &:r2157_12, r2157_14
# 2157| r2157_16(glval<iterator>) = VariableAddress[(__begin)] :
# 2157| r2157_17(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2157| r2157_18(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2157_17, ~m?
#-----| r0_11(glval<vector<ClassWithDestructor>>) = CopyValue : r2157_18
#-----| r0_12(glval<vector<ClassWithDestructor>>) = Convert : r0_11
# 2157| r2157_19(glval<unknown>) = FunctionAddress[begin] :
# 2157| r2157_20(iterator) = Call[begin] : func:r2157_19, this:r0_12
# 2157| mu2157_21(unknown) = ^CallSideEffect : ~m?
#-----| v0_13(void) = ^IndirectReadSideEffect[-1] : &:r0_12, ~m?
# 2157| mu2157_22(iterator) = Store[(__begin)] : &:r2157_16, r2157_20
# 2157| r2157_23(glval<iterator>) = VariableAddress[(__end)] :
# 2157| r2157_24(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2157| r2157_25(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2157_24, ~m?
#-----| r0_14(glval<vector<ClassWithDestructor>>) = CopyValue : r2157_25
#-----| r0_15(glval<vector<ClassWithDestructor>>) = Convert : r0_14
# 2157| r2157_26(glval<unknown>) = FunctionAddress[end] :
# 2157| r2157_27(iterator) = Call[end] : func:r2157_26, this:r0_15
# 2157| mu2157_28(unknown) = ^CallSideEffect : ~m?
#-----| v0_16(void) = ^IndirectReadSideEffect[-1] : &:r0_15, ~m?
# 2157| mu2157_29(iterator) = Store[(__end)] : &:r2157_23, r2157_27
#-----| Goto -> Block 15
# 2157| Block 15
# 2157| r2157_33(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2157| r2157_34(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_19(glval<iterator>) = Convert : r2157_34
# 2157| r2157_35(glval<unknown>) = FunctionAddress[operator*] :
# 2157| r2157_36(ClassWithDestructor &) = Call[operator*] : func:r2157_35, this:r0_19
# 2157| mu2157_37(unknown) = ^CallSideEffect : ~m?
# 2157| r2157_30(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_17(glval<iterator>) = Convert : r2157_30
# 2157| r2157_31(glval<unknown>) = FunctionAddress[operator!=] :
# 2157| r2157_32(glval<iterator>) = VariableAddress[(__end)] :
# 2157| r2157_33(iterator) = Load[(__end)] : &:r2157_32, ~m?
# 2157| r2157_34(bool) = Call[operator!=] : func:r2157_31, this:r0_17, 0:r2157_33
# 2157| mu2157_35(unknown) = ^CallSideEffect : ~m?
#-----| v0_18(void) = ^IndirectReadSideEffect[-1] : &:r0_17, ~m?
# 2157| v2157_36(void) = ConditionalBranch : r2157_34
#-----| False -> Block 20
#-----| True -> Block 16
# 2157| Block 16
# 2157| r2157_37(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2157| r2157_38(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_19(glval<iterator>) = Convert : r2157_38
# 2157| r2157_39(glval<unknown>) = FunctionAddress[operator*] :
# 2157| r2157_40(ClassWithDestructor &) = Call[operator*] : func:r2157_39, this:r0_19
# 2157| mu2157_41(unknown) = ^CallSideEffect : ~m?
#-----| v0_20(void) = ^IndirectReadSideEffect[-1] : &:r0_19, ~m?
# 2157| r2157_38(ClassWithDestructor) = Load[?] : &:r2157_36, ~m?
# 2157| mu2157_39(ClassWithDestructor) = Store[y] : &:r2157_33, r2157_38
# 2157| r2157_42(ClassWithDestructor) = Load[?] : &:r2157_40, ~m?
# 2157| mu2157_43(ClassWithDestructor) = Store[y] : &:r2157_37, r2157_42
# 2158| r2158_1(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2158| r2158_2(glval<unknown>) = FunctionAddress[set_x] :
# 2158| r2158_3(char) = Constant[97] :
@@ -12189,89 +12207,139 @@ ir.cpp:
# 2159| r2159_8(int) = Constant[98] :
# 2159| r2159_9(bool) = CompareEQ : r2159_7, r2159_8
# 2159| v2159_10(void) = ConditionalBranch : r2159_9
#-----| False -> Block 14
#-----| True -> Block 16
#-----| False -> Block 18
#-----| True -> Block 17
# 2160| Block 16
# 2160| v2160_1(void) = NoOp :
# 2172| r2172_1(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2172| r2172_2(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2172| v2172_3(void) = Call[~ClassWithDestructor] : func:r2172_2, this:r2172_1
# 2172| mu2172_4(unknown) = ^CallSideEffect : ~m?
# 2172| v2172_5(void) = ^IndirectReadSideEffect[-1] : &:r2172_1, ~m?
# 2172| mu2172_6(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2172_1
# 2160| Block 17
# 2160| v2160_1(void) = NoOp :
# 2157| r2157_44(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2157| r2157_45(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2157| v2157_46(void) = Call[~ClassWithDestructor] : func:r2157_45, this:r2157_44
# 2157| mu2157_47(unknown) = ^CallSideEffect : ~m?
# 2157| v2157_48(void) = ^IndirectReadSideEffect[-1] : &:r2157_44, ~m?
# 2157| mu2157_49(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2157_44
# 2157| r2157_50(glval<vector<ClassWithDestructor>>) = VariableAddress[ys] :
# 2157| r2157_51(glval<unknown>) = FunctionAddress[~vector] :
# 2157| v2157_52(void) = Call[~vector] : func:r2157_51, this:r2157_50
# 2157| mu2157_53(unknown) = ^CallSideEffect : ~m?
# 2157| v2157_54(void) = ^IndirectReadSideEffect[-1] : &:r2157_50, ~m?
# 2157| mu2157_55(vector<ClassWithDestructor>) = ^IndirectMayWriteSideEffect[-1] : &:r2157_50
# 2172| r2172_1(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2172| r2172_2(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2172| v2172_3(void) = Call[~ClassWithDestructor] : func:r2172_2, this:r2172_1
# 2172| mu2172_4(unknown) = ^CallSideEffect : ~m?
# 2172| v2172_5(void) = ^IndirectReadSideEffect[-1] : &:r2172_1, ~m?
# 2172| mu2172_6(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2172_1
#-----| Goto -> Block 1
# 2163| Block 17
# 2163| r2163_1(glval<vector<int> &>) = VariableAddress[(__range)] :
# 2163| r2163_2(glval<vector<int>>) = VariableAddress :
# 2163| r2163_3(vector<int> &) = CopyValue : r2163_2
# 2163| mu2163_4(vector<int> &) = Store[(__range)] : &:r2163_1, r2163_3
# 2163| r2163_5(glval<iterator>) = VariableAddress[(__begin)] :
# 2163| r2163_6(glval<vector<int> &>) = VariableAddress[(__range)] :
# 2163| r2163_7(vector<int> &) = Load[(__range)] : &:r2163_6, ~m?
#-----| r0_21(glval<vector<int>>) = CopyValue : r2163_7
#-----| r0_22(glval<vector<int>>) = Convert : r0_21
# 2163| r2163_8(glval<unknown>) = FunctionAddress[begin] :
# 2163| r2163_9(iterator) = Call[begin] : func:r2163_8, this:r0_22
# 2163| mu2163_10(unknown) = ^CallSideEffect : ~m?
#-----| v0_23(void) = ^IndirectReadSideEffect[-1] : &:r0_22, ~m?
# 2163| mu2163_11(iterator) = Store[(__begin)] : &:r2163_5, r2163_9
# 2163| r2163_12(glval<iterator>) = VariableAddress[(__end)] :
# 2163| r2163_13(glval<vector<int> &>) = VariableAddress[(__range)] :
# 2163| r2163_14(vector<int> &) = Load[(__range)] : &:r2163_13, ~m?
#-----| r0_24(glval<vector<int>>) = CopyValue : r2163_14
#-----| r0_25(glval<vector<int>>) = Convert : r0_24
# 2163| r2163_15(glval<unknown>) = FunctionAddress[end] :
# 2163| r2163_16(iterator) = Call[end] : func:r2163_15, this:r0_25
# 2163| mu2163_17(unknown) = ^CallSideEffect : ~m?
#-----| v0_26(void) = ^IndirectReadSideEffect[-1] : &:r0_25, ~m?
# 2163| mu2163_18(iterator) = Store[(__end)] : &:r2163_12, r2163_16
#-----| Goto -> Block 18
# 2157| Block 18
# 2157| r2157_56(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2157| r2157_57(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2157| v2157_58(void) = Call[~ClassWithDestructor] : func:r2157_57, this:r2157_56
# 2157| mu2157_59(unknown) = ^CallSideEffect : ~m?
# 2157| v2157_60(void) = ^IndirectReadSideEffect[-1] : &:r2157_56, ~m?
# 2157| mu2157_61(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2157_56
# 2157| r2157_62(glval<iterator>) = VariableAddress[(__begin)] :
# 2157| r2157_63(glval<unknown>) = FunctionAddress[operator++] :
# 2157| r2157_64(iterator &) = Call[operator++] : func:r2157_63, this:r2157_62
# 2157| mu2157_65(unknown) = ^CallSideEffect : ~m?
# 2157| v2157_66(void) = ^IndirectReadSideEffect[-1] : &:r2157_62, ~m?
# 2157| mu2157_67(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2157_62
# 2157| r2157_68(glval<iterator>) = CopyValue : r2157_64
#-----| Goto (back edge) -> Block 15
# 2163| Block 18
# 2163| r2163_19(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_27(glval<iterator>) = Convert : r2163_19
# 2163| r2163_20(glval<unknown>) = FunctionAddress[operator!=] :
# 2163| r2163_21(glval<iterator>) = VariableAddress[(__end)] :
# 2163| r2163_22(iterator) = Load[(__end)] : &:r2163_21, ~m?
# 2163| r2163_23(bool) = Call[operator!=] : func:r2163_20, this:r0_27, 0:r2163_22
# 2163| mu2163_24(unknown) = ^CallSideEffect : ~m?
#-----| v0_28(void) = ^IndirectReadSideEffect[-1] : &:r0_27, ~m?
# 2163| v2163_25(void) = ConditionalBranch : r2163_23
#-----| False -> Block 22
#-----| True -> Block 20
# 2163| Block 19
# 2163| r2163_26(glval<iterator>) = VariableAddress[(__begin)] :
# 2163| r2163_27(glval<unknown>) = FunctionAddress[operator++] :
# 2163| r2163_28(iterator &) = Call[operator++] : func:r2163_27, this:r2163_26
# 2163| mu2163_29(unknown) = ^CallSideEffect : ~m?
# 2163| v2163_30(void) = ^IndirectReadSideEffect[-1] : &:r2163_26, ~m?
# 2163| mu2163_31(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2163_26
# 2163| r2163_32(glval<iterator>) = CopyValue : r2163_28
#-----| Goto (back edge) -> Block 18
# 2157| Block 19
# 2157| r2157_69(glval<vector<ClassWithDestructor>>) = VariableAddress[ys] :
# 2157| r2157_70(glval<unknown>) = FunctionAddress[~vector] :
# 2157| v2157_71(void) = Call[~vector] : func:r2157_70, this:r2157_69
# 2157| mu2157_72(unknown) = ^CallSideEffect : ~m?
# 2157| v2157_73(void) = ^IndirectReadSideEffect[-1] : &:r2157_69, ~m?
# 2157| mu2157_74(vector<ClassWithDestructor>) = ^IndirectMayWriteSideEffect[-1] : &:r2157_69
#-----| Goto -> Block 20
# 2163| Block 20
# 2163| r2163_33(glval<int>) = VariableAddress[y] :
# 2163| r2163_34(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_29(glval<iterator>) = Convert : r2163_34
# 2163| r2163_35(glval<unknown>) = FunctionAddress[operator*] :
# 2163| r2163_36(int &) = Call[operator*] : func:r2163_35, this:r0_29
# 2163| mu2163_37(unknown) = ^CallSideEffect : ~m?
# 2163| r2163_1(glval<vector<int>>) = VariableAddress[ys] :
# 2163| mu2163_2(vector<int>) = Uninitialized[ys] : &:r2163_1
# 2163| r2163_3(glval<unknown>) = FunctionAddress[vector] :
# 2163| r2163_4(int) = Constant[1] :
# 2163| v2163_5(void) = Call[vector] : func:r2163_3, this:r2163_1, 0:r2163_4
# 2163| mu2163_6(unknown) = ^CallSideEffect : ~m?
# 2163| mu2163_7(vector<int>) = ^IndirectMayWriteSideEffect[-1] : &:r2163_1
# 2163| r2163_8(glval<vector<int> &>) = VariableAddress[(__range)] :
# 2163| r2163_9(glval<vector<int>>) = VariableAddress[ys] :
# 2163| r2163_10(vector<int> &) = CopyValue : r2163_9
# 2163| mu2163_11(vector<int> &) = Store[(__range)] : &:r2163_8, r2163_10
# 2163| r2163_12(glval<iterator>) = VariableAddress[(__begin)] :
# 2163| r2163_13(glval<vector<int> &>) = VariableAddress[(__range)] :
# 2163| r2163_14(vector<int> &) = Load[(__range)] : &:r2163_13, ~m?
#-----| r0_21(glval<vector<int>>) = CopyValue : r2163_14
#-----| r0_22(glval<vector<int>>) = Convert : r0_21
# 2163| r2163_15(glval<unknown>) = FunctionAddress[begin] :
# 2163| r2163_16(iterator) = Call[begin] : func:r2163_15, this:r0_22
# 2163| mu2163_17(unknown) = ^CallSideEffect : ~m?
#-----| v0_23(void) = ^IndirectReadSideEffect[-1] : &:r0_22, ~m?
# 2163| mu2163_18(iterator) = Store[(__begin)] : &:r2163_12, r2163_16
# 2163| r2163_19(glval<iterator>) = VariableAddress[(__end)] :
# 2163| r2163_20(glval<vector<int> &>) = VariableAddress[(__range)] :
# 2163| r2163_21(vector<int> &) = Load[(__range)] : &:r2163_20, ~m?
#-----| r0_24(glval<vector<int>>) = CopyValue : r2163_21
#-----| r0_25(glval<vector<int>>) = Convert : r0_24
# 2163| r2163_22(glval<unknown>) = FunctionAddress[end] :
# 2163| r2163_23(iterator) = Call[end] : func:r2163_22, this:r0_25
# 2163| mu2163_24(unknown) = ^CallSideEffect : ~m?
#-----| v0_26(void) = ^IndirectReadSideEffect[-1] : &:r0_25, ~m?
# 2163| mu2163_25(iterator) = Store[(__end)] : &:r2163_19, r2163_23
#-----| Goto -> Block 21
# 2163| Block 21
# 2163| r2163_26(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_27(glval<iterator>) = Convert : r2163_26
# 2163| r2163_27(glval<unknown>) = FunctionAddress[operator!=] :
# 2163| r2163_28(glval<iterator>) = VariableAddress[(__end)] :
# 2163| r2163_29(iterator) = Load[(__end)] : &:r2163_28, ~m?
# 2163| r2163_30(bool) = Call[operator!=] : func:r2163_27, this:r0_27, 0:r2163_29
# 2163| mu2163_31(unknown) = ^CallSideEffect : ~m?
#-----| v0_28(void) = ^IndirectReadSideEffect[-1] : &:r0_27, ~m?
# 2163| v2163_32(void) = ConditionalBranch : r2163_30
#-----| False -> Block 26
#-----| True -> Block 23
# 2163| Block 22
# 2163| r2163_33(glval<iterator>) = VariableAddress[(__begin)] :
# 2163| r2163_34(glval<unknown>) = FunctionAddress[operator++] :
# 2163| r2163_35(iterator &) = Call[operator++] : func:r2163_34, this:r2163_33
# 2163| mu2163_36(unknown) = ^CallSideEffect : ~m?
# 2163| v2163_37(void) = ^IndirectReadSideEffect[-1] : &:r2163_33, ~m?
# 2163| mu2163_38(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2163_33
# 2163| r2163_39(glval<iterator>) = CopyValue : r2163_35
#-----| Goto (back edge) -> Block 21
# 2163| Block 23
# 2163| r2163_40(glval<int>) = VariableAddress[y] :
# 2163| r2163_41(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_29(glval<iterator>) = Convert : r2163_41
# 2163| r2163_42(glval<unknown>) = FunctionAddress[operator*] :
# 2163| r2163_43(int &) = Call[operator*] : func:r2163_42, this:r0_29
# 2163| mu2163_44(unknown) = ^CallSideEffect : ~m?
#-----| v0_30(void) = ^IndirectReadSideEffect[-1] : &:r0_29, ~m?
# 2163| r2163_38(int) = Load[?] : &:r2163_36, ~m?
# 2163| mu2163_39(int) = Store[y] : &:r2163_33, r2163_38
# 2163| r2163_45(int) = Load[?] : &:r2163_43, ~m?
# 2163| mu2163_46(int) = Store[y] : &:r2163_40, r2163_45
# 2164| r2164_1(glval<int>) = VariableAddress[y] :
# 2164| r2164_2(int) = Load[y] : &:r2164_1, ~m?
# 2164| r2164_3(int) = Constant[1] :
# 2164| r2164_4(bool) = CompareEQ : r2164_2, r2164_3
# 2164| v2164_5(void) = ConditionalBranch : r2164_4
#-----| False -> Block 19
#-----| True -> Block 21
#-----| False -> Block 22
#-----| True -> Block 24
# 2165| Block 21
# 2165| Block 24
# 2165| v2165_1(void) = NoOp :
# 2163| r2163_47(glval<vector<int>>) = VariableAddress[ys] :
# 2163| r2163_48(glval<unknown>) = FunctionAddress[~vector] :
# 2163| v2163_49(void) = Call[~vector] : func:r2163_48, this:r2163_47
# 2163| mu2163_50(unknown) = ^CallSideEffect : ~m?
# 2163| v2163_51(void) = ^IndirectReadSideEffect[-1] : &:r2163_47, ~m?
# 2163| mu2163_52(vector<int>) = ^IndirectMayWriteSideEffect[-1] : &:r2163_47
# 2172| r2172_7(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2172| r2172_8(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2172| v2172_9(void) = Call[~ClassWithDestructor] : func:r2172_8, this:r2172_7
@@ -12280,56 +12348,76 @@ ir.cpp:
# 2172| mu2172_12(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2172_7
#-----| Goto -> Block 1
# 2168| Block 22
# 2168| r2168_1(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2168| r2168_2(glval<vector<ClassWithDestructor>>) = VariableAddress :
# 2168| r2168_3(vector<ClassWithDestructor> &) = CopyValue : r2168_2
# 2168| mu2168_4(vector<ClassWithDestructor> &) = Store[(__range)] : &:r2168_1, r2168_3
# 2168| r2168_5(glval<iterator>) = VariableAddress[(__begin)] :
# 2168| r2168_6(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2168| r2168_7(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2168_6, ~m?
#-----| r0_31(glval<vector<ClassWithDestructor>>) = CopyValue : r2168_7
#-----| r0_32(glval<vector<ClassWithDestructor>>) = Convert : r0_31
# 2168| r2168_8(glval<unknown>) = FunctionAddress[begin] :
# 2168| r2168_9(iterator) = Call[begin] : func:r2168_8, this:r0_32
# 2168| mu2168_10(unknown) = ^CallSideEffect : ~m?
#-----| v0_33(void) = ^IndirectReadSideEffect[-1] : &:r0_32, ~m?
# 2168| mu2168_11(iterator) = Store[(__begin)] : &:r2168_5, r2168_9
# 2168| r2168_12(glval<iterator>) = VariableAddress[(__end)] :
# 2168| r2168_13(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2168| r2168_14(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2168_13, ~m?
#-----| r0_34(glval<vector<ClassWithDestructor>>) = CopyValue : r2168_14
#-----| r0_35(glval<vector<ClassWithDestructor>>) = Convert : r0_34
# 2168| r2168_15(glval<unknown>) = FunctionAddress[end] :
# 2168| r2168_16(iterator) = Call[end] : func:r2168_15, this:r0_35
# 2168| mu2168_17(unknown) = ^CallSideEffect : ~m?
#-----| v0_36(void) = ^IndirectReadSideEffect[-1] : &:r0_35, ~m?
# 2168| mu2168_18(iterator) = Store[(__end)] : &:r2168_12, r2168_16
#-----| Goto -> Block 23
# 2163| Block 25
# 2163| r2163_53(glval<vector<int>>) = VariableAddress[ys] :
# 2163| r2163_54(glval<unknown>) = FunctionAddress[~vector] :
# 2163| v2163_55(void) = Call[~vector] : func:r2163_54, this:r2163_53
# 2163| mu2163_56(unknown) = ^CallSideEffect : ~m?
# 2163| v2163_57(void) = ^IndirectReadSideEffect[-1] : &:r2163_53, ~m?
# 2163| mu2163_58(vector<int>) = ^IndirectMayWriteSideEffect[-1] : &:r2163_53
#-----| Goto -> Block 26
# 2168| Block 23
# 2168| r2168_19(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_37(glval<iterator>) = Convert : r2168_19
# 2168| r2168_20(glval<unknown>) = FunctionAddress[operator!=] :
# 2168| r2168_21(glval<iterator>) = VariableAddress[(__end)] :
# 2168| r2168_22(iterator) = Load[(__end)] : &:r2168_21, ~m?
# 2168| r2168_23(bool) = Call[operator!=] : func:r2168_20, this:r0_37, 0:r2168_22
# 2168| mu2168_24(unknown) = ^CallSideEffect : ~m?
# 2168| Block 26
# 2168| r2168_1(glval<vector<ClassWithDestructor>>) = VariableAddress[ys] :
# 2168| mu2168_2(vector<ClassWithDestructor>) = Uninitialized[ys] : &:r2168_1
# 2168| r2168_3(glval<unknown>) = FunctionAddress[vector] :
# 2168| r2168_4(glval<ClassWithDestructor>) = VariableAddress[#temp2168:40] :
# 2168| r2168_5(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2168| r2168_6(ClassWithDestructor) = Load[x] : &:r2168_5, ~m?
# 2168| mu2168_7(ClassWithDestructor) = Store[#temp2168:40] : &:r2168_4, r2168_6
# 2168| r2168_8(ClassWithDestructor) = Load[#temp2168:40] : &:r2168_4, ~m?
# 2168| v2168_9(void) = Call[vector] : func:r2168_3, this:r2168_1, 0:r2168_8
# 2168| mu2168_10(unknown) = ^CallSideEffect : ~m?
# 2168| mu2168_11(vector<ClassWithDestructor>) = ^IndirectMayWriteSideEffect[-1] : &:r2168_1
# 2168| r2168_12(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2168| r2168_13(glval<vector<ClassWithDestructor>>) = VariableAddress[ys] :
# 2168| r2168_14(vector<ClassWithDestructor> &) = CopyValue : r2168_13
# 2168| mu2168_15(vector<ClassWithDestructor> &) = Store[(__range)] : &:r2168_12, r2168_14
# 2168| r2168_16(glval<iterator>) = VariableAddress[(__begin)] :
# 2168| r2168_17(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2168| r2168_18(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2168_17, ~m?
#-----| r0_31(glval<vector<ClassWithDestructor>>) = CopyValue : r2168_18
#-----| r0_32(glval<vector<ClassWithDestructor>>) = Convert : r0_31
# 2168| r2168_19(glval<unknown>) = FunctionAddress[begin] :
# 2168| r2168_20(iterator) = Call[begin] : func:r2168_19, this:r0_32
# 2168| mu2168_21(unknown) = ^CallSideEffect : ~m?
#-----| v0_33(void) = ^IndirectReadSideEffect[-1] : &:r0_32, ~m?
# 2168| mu2168_22(iterator) = Store[(__begin)] : &:r2168_16, r2168_20
# 2168| r2168_23(glval<iterator>) = VariableAddress[(__end)] :
# 2168| r2168_24(glval<vector<ClassWithDestructor> &>) = VariableAddress[(__range)] :
# 2168| r2168_25(vector<ClassWithDestructor> &) = Load[(__range)] : &:r2168_24, ~m?
#-----| r0_34(glval<vector<ClassWithDestructor>>) = CopyValue : r2168_25
#-----| r0_35(glval<vector<ClassWithDestructor>>) = Convert : r0_34
# 2168| r2168_26(glval<unknown>) = FunctionAddress[end] :
# 2168| r2168_27(iterator) = Call[end] : func:r2168_26, this:r0_35
# 2168| mu2168_28(unknown) = ^CallSideEffect : ~m?
#-----| v0_36(void) = ^IndirectReadSideEffect[-1] : &:r0_35, ~m?
# 2168| mu2168_29(iterator) = Store[(__end)] : &:r2168_23, r2168_27
#-----| Goto -> Block 27
# 2168| Block 27
# 2168| r2168_30(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_37(glval<iterator>) = Convert : r2168_30
# 2168| r2168_31(glval<unknown>) = FunctionAddress[operator!=] :
# 2168| r2168_32(glval<iterator>) = VariableAddress[(__end)] :
# 2168| r2168_33(iterator) = Load[(__end)] : &:r2168_32, ~m?
# 2168| r2168_34(bool) = Call[operator!=] : func:r2168_31, this:r0_37, 0:r2168_33
# 2168| mu2168_35(unknown) = ^CallSideEffect : ~m?
#-----| v0_38(void) = ^IndirectReadSideEffect[-1] : &:r0_37, ~m?
# 2168| v2168_25(void) = ConditionalBranch : r2168_23
#-----| False -> Block 25
#-----| True -> Block 24
# 2168| v2168_36(void) = ConditionalBranch : r2168_34
#-----| False -> Block 30
#-----| True -> Block 28
# 2168| Block 24
# 2168| r2168_26(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2168| r2168_27(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_39(glval<iterator>) = Convert : r2168_27
# 2168| r2168_28(glval<unknown>) = FunctionAddress[operator*] :
# 2168| r2168_29(ClassWithDestructor &) = Call[operator*] : func:r2168_28, this:r0_39
# 2168| mu2168_30(unknown) = ^CallSideEffect : ~m?
# 2168| Block 28
# 2168| r2168_37(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2168| r2168_38(glval<iterator>) = VariableAddress[(__begin)] :
#-----| r0_39(glval<iterator>) = Convert : r2168_38
# 2168| r2168_39(glval<unknown>) = FunctionAddress[operator*] :
# 2168| r2168_40(ClassWithDestructor &) = Call[operator*] : func:r2168_39, this:r0_39
# 2168| mu2168_41(unknown) = ^CallSideEffect : ~m?
#-----| v0_40(void) = ^IndirectReadSideEffect[-1] : &:r0_39, ~m?
# 2168| r2168_31(ClassWithDestructor) = Load[?] : &:r2168_29, ~m?
# 2168| mu2168_32(ClassWithDestructor) = Store[y] : &:r2168_26, r2168_31
# 2168| r2168_42(ClassWithDestructor) = Load[?] : &:r2168_40, ~m?
# 2168| mu2168_43(ClassWithDestructor) = Store[y] : &:r2168_37, r2168_42
# 2169| r2169_1(glval<ClassWithDestructor>) = VariableAddress[z1] :
# 2169| mu2169_2(ClassWithDestructor) = Uninitialized[z1] : &:r2169_1
# 2169| r2169_3(glval<unknown>) = FunctionAddress[ClassWithDestructor] :
@@ -12354,16 +12442,31 @@ ir.cpp:
# 2171| mu2171_10(unknown) = ^CallSideEffect : ~m?
# 2171| v2171_11(void) = ^IndirectReadSideEffect[-1] : &:r2171_7, ~m?
# 2171| mu2171_12(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2171_7
# 2168| r2168_33(glval<iterator>) = VariableAddress[(__begin)] :
# 2168| r2168_34(glval<unknown>) = FunctionAddress[operator++] :
# 2168| r2168_35(iterator &) = Call[operator++] : func:r2168_34, this:r2168_33
# 2168| mu2168_36(unknown) = ^CallSideEffect : ~m?
# 2168| v2168_37(void) = ^IndirectReadSideEffect[-1] : &:r2168_33, ~m?
# 2168| mu2168_38(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2168_33
# 2168| r2168_39(glval<iterator>) = CopyValue : r2168_35
#-----| Goto (back edge) -> Block 23
# 2168| r2168_44(glval<ClassWithDestructor>) = VariableAddress[y] :
# 2168| r2168_45(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2168| v2168_46(void) = Call[~ClassWithDestructor] : func:r2168_45, this:r2168_44
# 2168| mu2168_47(unknown) = ^CallSideEffect : ~m?
# 2168| v2168_48(void) = ^IndirectReadSideEffect[-1] : &:r2168_44, ~m?
# 2168| mu2168_49(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2168_44
# 2168| r2168_50(glval<iterator>) = VariableAddress[(__begin)] :
# 2168| r2168_51(glval<unknown>) = FunctionAddress[operator++] :
# 2168| r2168_52(iterator &) = Call[operator++] : func:r2168_51, this:r2168_50
# 2168| mu2168_53(unknown) = ^CallSideEffect : ~m?
# 2168| v2168_54(void) = ^IndirectReadSideEffect[-1] : &:r2168_50, ~m?
# 2168| mu2168_55(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2168_50
# 2168| r2168_56(glval<iterator>) = CopyValue : r2168_52
#-----| Goto (back edge) -> Block 27
# 2172| Block 25
# 2168| Block 29
# 2168| r2168_57(glval<vector<ClassWithDestructor>>) = VariableAddress[ys] :
# 2168| r2168_58(glval<unknown>) = FunctionAddress[~vector] :
# 2168| v2168_59(void) = Call[~vector] : func:r2168_58, this:r2168_57
# 2168| mu2168_60(unknown) = ^CallSideEffect : ~m?
# 2168| v2168_61(void) = ^IndirectReadSideEffect[-1] : &:r2168_57, ~m?
# 2168| mu2168_62(vector<ClassWithDestructor>) = ^IndirectMayWriteSideEffect[-1] : &:r2168_57
#-----| Goto -> Block 30
# 2172| Block 30
# 2172| v2172_13(void) = NoOp :
# 2172| r2172_14(glval<ClassWithDestructor>) = VariableAddress[x] :
# 2172| r2172_15(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
@@ -12402,7 +12505,7 @@ ir.cpp:
# 2177| Block 2
# 2177| v2177_1(void) = NoOp :
# 2177| r2177_2(glval<ClassWithDestructor>) = VariableAddress[b] :
# 2177| r2177_2(glval<ClassWithDestructor>) = VariableAddress[a] :
# 2177| r2177_3(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2177| v2177_4(void) = Call[~ClassWithDestructor] : func:r2177_3, this:r2177_2
# 2177| mu2177_5(unknown) = ^CallSideEffect : ~m?
@@ -12486,12 +12589,18 @@ ir.cpp:
# 2188| Block 2
# 2188| v2188_1(void) = NoOp :
# 2188| r2188_2(glval<ClassWithDestructor>) = VariableAddress[c] :
# 2188| r2188_2(glval<ClassWithDestructor>) = VariableAddress[b] :
# 2188| r2188_3(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2188| v2188_4(void) = Call[~ClassWithDestructor] : func:r2188_3, this:r2188_2
# 2188| mu2188_5(unknown) = ^CallSideEffect : ~m?
# 2188| v2188_6(void) = ^IndirectReadSideEffect[-1] : &:r2188_2, ~m?
# 2188| mu2188_7(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2188_2
# 2188| r2188_8(glval<ClassWithDestructor>) = VariableAddress[a] :
# 2188| r2188_9(glval<unknown>) = FunctionAddress[~ClassWithDestructor] :
# 2188| v2188_10(void) = Call[~ClassWithDestructor] : func:r2188_9, this:r2188_8
# 2188| mu2188_11(unknown) = ^CallSideEffect : ~m?
# 2188| v2188_12(void) = ^IndirectReadSideEffect[-1] : &:r2188_8, ~m?
# 2188| mu2188_13(ClassWithDestructor) = ^IndirectMayWriteSideEffect[-1] : &:r2188_8
# 2184| v2184_4(void) = ReturnVoid :
# 2184| v2184_5(void) = AliasedUse : ~m?
# 2184| v2184_6(void) = ExitFunction :
@@ -12834,13 +12943,19 @@ ir.cpp:
# 2228| mu2228_4(unknown) = ^CallSideEffect : ~m?
# 2228| v2228_5(void) = ^IndirectReadSideEffect[-1] : &:r2228_1, ~m?
# 2228| mu2228_6(String) = ^IndirectMayWriteSideEffect[-1] : &:r2228_1
# 2226| r2226_55(glval<iterator>) = VariableAddress[(__begin)] :
# 2226| r2226_56(glval<unknown>) = FunctionAddress[operator++] :
# 2226| r2226_57(iterator &) = Call[operator++] : func:r2226_56, this:r2226_55
# 2226| r2226_55(glval<String>) = VariableAddress[s] :
# 2226| r2226_56(glval<unknown>) = FunctionAddress[~String] :
# 2226| v2226_57(void) = Call[~String] : func:r2226_56, this:r2226_55
# 2226| mu2226_58(unknown) = ^CallSideEffect : ~m?
# 2226| v2226_59(void) = ^IndirectReadSideEffect[-1] : &:r2226_55, ~m?
# 2226| mu2226_60(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2226_55
# 2226| r2226_61(glval<iterator>) = CopyValue : r2226_57
# 2226| mu2226_60(String) = ^IndirectMayWriteSideEffect[-1] : &:r2226_55
# 2226| r2226_61(glval<iterator>) = VariableAddress[(__begin)] :
# 2226| r2226_62(glval<unknown>) = FunctionAddress[operator++] :
# 2226| r2226_63(iterator &) = Call[operator++] : func:r2226_62, this:r2226_61
# 2226| mu2226_64(unknown) = ^CallSideEffect : ~m?
# 2226| v2226_65(void) = ^IndirectReadSideEffect[-1] : &:r2226_61, ~m?
# 2226| mu2226_66(iterator) = ^IndirectMayWriteSideEffect[-1] : &:r2226_61
# 2226| r2226_67(glval<iterator>) = CopyValue : r2226_63
#-----| Goto (back edge) -> Block 4
# 2230| Block 6

4
cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency.expected
View File

@@ -28,8 +28,4 @@ nonUniqueEnclosingIRFunction
fieldAddressOnNonPointer
thisArgumentIsNonPointer
nonUniqueIRVariable
| ir.cpp:2154:68:2154:69 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
| ir.cpp:2157:68:2157:69 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
| ir.cpp:2163:36:2163:37 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
| ir.cpp:2168:68:2168:69 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
missingCppType

4
cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency_unsound.expected
View File

@@ -28,8 +28,4 @@ nonUniqueEnclosingIRFunction
fieldAddressOnNonPointer
thisArgumentIsNonPointer
nonUniqueIRVariable
| ir.cpp:2154:68:2154:69 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
| ir.cpp:2157:68:2157:69 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
| ir.cpp:2163:36:2163:37 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
| ir.cpp:2168:68:2168:69 | VariableAddress: ys | Variable address instruction 'VariableAddress: ys' has no associated variable, in function '$@'. | ir.cpp:2137:6:2137:35 | void initialization_with_destructor(bool, char) | void initialization_with_destructor(bool, char) |
missingCppType

1
cpp/ql/test/library-tests/syntax-zoo/aliased_ssa_consistency.expected
View File

@@ -8,7 +8,6 @@ duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| VacuousDestructorCall.cpp:2:29:2:29 | InitializeIndirection: y | Instruction 'InitializeIndirection: y' has no successors in function '$@'. | VacuousDestructorCall.cpp:2:6:2:6 | void CallDestructor<int>(int, int*) | void CallDestructor<int>(int, int*) |
| condition_decls.cpp:50:3:50:3 | Chi: bi | Instruction 'Chi: bi' has no successors in function '$@'. | condition_decls.cpp:47:6:47:18 | void for_decl_bind(int) | void for_decl_bind(int) |
| ms_try_mix.cpp:35:13:35:19 | ThrowValue: throw ... | Instruction 'ThrowValue: throw ...' has no successors in function '$@'. | ms_try_mix.cpp:29:6:29:19 | void ms_finally_mix(int) | void ms_finally_mix(int) |
| ms_try_mix.cpp:53:5:53:11 | ThrowValue: throw ... | Instruction 'ThrowValue: throw ...' has no successors in function '$@'. | ms_try_mix.cpp:49:6:49:28 | void ms_empty_finally_at_end() | void ms_empty_finally_at_end() |
| statements.cpp:25:5:25:9 | ReThrow: re-throw exception | Instruction 'ReThrow: re-throw exception ' has no successors in function '$@'. | statements.cpp:21:6:21:16 | void early_throw(int) | void early_throw(int) |

2
cpp/ql/test/library-tests/syntax-zoo/raw_consistency.expected
View File

@@ -11,8 +11,6 @@ instructionWithoutSuccessor
| VacuousDestructorCall.cpp:2:29:2:29 | InitializeIndirection: y | Instruction 'InitializeIndirection: y' has no successors in function '$@'. | VacuousDestructorCall.cpp:2:6:2:6 | void CallDestructor<int>(int, int*) | void CallDestructor<int>(int, int*) |
| VacuousDestructorCall.cpp:3:3:3:3 | VariableAddress: x | Instruction 'VariableAddress: x' has no successors in function '$@'. | VacuousDestructorCall.cpp:2:6:2:6 | void CallDestructor<int>(int, int*) | void CallDestructor<int>(int, int*) |
| VacuousDestructorCall.cpp:4:3:4:3 | Load: y | Instruction 'Load: y' has no successors in function '$@'. | VacuousDestructorCall.cpp:2:6:2:6 | void CallDestructor<int>(int, int*) | void CallDestructor<int>(int, int*) |
| condition_decls.cpp:48:27:48:31 | IndirectMayWriteSideEffect: init2 | Instruction 'IndirectMayWriteSideEffect: init2' has no successors in function '$@'. | condition_decls.cpp:47:6:47:18 | void for_decl_bind(int) | void for_decl_bind(int) |
| condition_decls.cpp:50:3:50:3 | IndirectMayWriteSideEffect: bi | Instruction 'IndirectMayWriteSideEffect: bi' has no successors in function '$@'. | condition_decls.cpp:47:6:47:18 | void for_decl_bind(int) | void for_decl_bind(int) |
| ms_try_mix.cpp:35:13:35:19 | ThrowValue: throw ... | Instruction 'ThrowValue: throw ...' has no successors in function '$@'. | ms_try_mix.cpp:29:6:29:19 | void ms_finally_mix(int) | void ms_finally_mix(int) |
| ms_try_mix.cpp:53:5:53:11 | ThrowValue: throw ... | Instruction 'ThrowValue: throw ...' has no successors in function '$@'. | ms_try_mix.cpp:49:6:49:28 | void ms_empty_finally_at_end() | void ms_empty_finally_at_end() |
| statements.cpp:25:5:25:9 | ReThrow: re-throw exception | Instruction 'ReThrow: re-throw exception ' has no successors in function '$@'. | statements.cpp:21:6:21:16 | void early_throw(int) | void early_throw(int) |

1
cpp/ql/test/library-tests/syntax-zoo/unaliased_ssa_consistency.expected
View File

@@ -8,7 +8,6 @@ duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| VacuousDestructorCall.cpp:2:29:2:29 | InitializeIndirection: y | Instruction 'InitializeIndirection: y' has no successors in function '$@'. | VacuousDestructorCall.cpp:2:6:2:6 | void CallDestructor<int>(int, int*) | void CallDestructor<int>(int, int*) |
| condition_decls.cpp:50:3:50:3 | IndirectMayWriteSideEffect: bi | Instruction 'IndirectMayWriteSideEffect: bi' has no successors in function '$@'. | condition_decls.cpp:47:6:47:18 | void for_decl_bind(int) | void for_decl_bind(int) |
| ms_try_mix.cpp:35:13:35:19 | ThrowValue: throw ... | Instruction 'ThrowValue: throw ...' has no successors in function '$@'. | ms_try_mix.cpp:29:6:29:19 | void ms_finally_mix(int) | void ms_finally_mix(int) |
| ms_try_mix.cpp:53:5:53:11 | ThrowValue: throw ... | Instruction 'ThrowValue: throw ...' has no successors in function '$@'. | ms_try_mix.cpp:49:6:49:28 | void ms_empty_finally_at_end() | void ms_empty_finally_at_end() |
| statements.cpp:25:5:25:9 | ReThrow: re-throw exception | Instruction 'ReThrow: re-throw exception ' has no successors in function '$@'. | statements.cpp:21:6:21:16 | void early_throw(int) | void early_throw(int) |