hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Accept test change for p#n -> (unnamed parameter n)

Browse Source
This commit is contained in:
Ian Lynagh
2020-10-14 12:59:47 +01:00
parent 9238503bc3
commit 9e518d2555
58 changed files with 839 additions and 839 deletions
Download Patch File Download Diff File Expand all files Collapse all files

110
cpp/ql/test/examples/expressions/PrintAST.expected
View File

@@ -1,18 +1,18 @@
#-----| [CopyAssignmentOperator] __va_list_tag& __va_list_tag::operator=(__va_list_tag const&)
#-----| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const __va_list_tag &
#-----| [MoveAssignmentOperator] __va_list_tag& __va_list_tag::operator=(__va_list_tag&&)
#-----| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] __va_list_tag &&
#-----| [Operator,TopLevelFunction] void operator delete(void*)
#-----| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [VoidPointerType] void *
#-----| [Operator,TopLevelFunction] void* operator new(unsigned long)
#-----| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LongType] unsigned long
AddressOf.c:
# 1| [TopLevelFunction] void AddressOf(int)
@@ -114,19 +114,19 @@ ConditionDecl.cpp:
ConstructorCall.cpp:
# 1| [CopyAssignmentOperator] C& C::operator=(C const&)
# 1| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const C &
# 1| [MoveAssignmentOperator] C& C::operator=(C&&)
# 1| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] C &&
# 1| [CopyConstructor] void C::C(C const&)
# 1| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const C &
# 1| [MoveConstructor] void C::C(C&&)
# 1| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] C &&
# 3| [ConversionConstructor] void C::C(int)
# 3| params:
@@ -137,19 +137,19 @@ ConstructorCall.cpp:
# 4| 0: [ReturnStmt] return ...
# 7| [CopyAssignmentOperator] D& D::operator=(D const&)
# 7| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const D &
# 7| [MoveAssignmentOperator] D& D::operator=(D&&)
# 7| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] D &&
# 7| [CopyConstructor] void D::D(D const&)
# 7| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const D &
# 7| [MoveConstructor] void D::D(D&&)
# 7| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] D &&
# 9| [Constructor] void D::D()
# 9| params:
@@ -158,11 +158,11 @@ ConstructorCall.cpp:
# 10| 0: [ReturnStmt] return ...
# 13| [CopyAssignmentOperator] E& E::operator=(E const&)
# 13| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const E &
# 13| [MoveAssignmentOperator] E& E::operator=(E&&)
# 13| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] E &&
# 17| [TopLevelFunction] void ConstructorCall(C*, D*, E*)
# 17| params:
@@ -385,7 +385,7 @@ DestructorCall.cpp:
DynamicCast.cpp:
# 1| [CopyAssignmentOperator] Base& Base::operator=(Base const&)
# 1| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Base &
#-----| body: [BlockStmt] { ... }
#-----| 0: [ReturnStmt] return ...
@@ -400,17 +400,17 @@ DynamicCast.cpp:
#-----| ValueCategory = prvalue(load)
# 1| [MoveAssignmentOperator] Base& Base::operator=(Base&&)
# 1| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] Base &&
# 1| [Constructor] void Base::Base()
# 1| params:
# 1| [CopyConstructor] void Base::Base(Base const&)
# 1| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Base &
# 1| [MoveConstructor] void Base::Base(Base&&)
# 1| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] Base &&
# 2| [VirtualFunction] void Base::f()
# 2| params:
@@ -418,7 +418,7 @@ DynamicCast.cpp:
# 2| 0: [ReturnStmt] return ...
# 4| [CopyAssignmentOperator] Derived& Derived::operator=(Derived const&)
# 4| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Derived &
#-----| body: [BlockStmt] { ... }
#-----| 0: [ExprStmt] ExprStmt
@@ -451,7 +451,7 @@ DynamicCast.cpp:
#-----| 0: [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [SpecifiedType] const Derived
#-----| ValueCategory = lvalue
# 4| expr: [VariableAccess] p#0
# 4| expr: [VariableAccess] (unnamed parameter 0)
# 4| Type = [LValueReferenceType] const Derived &
# 4| ValueCategory = prvalue(load)
#-----| 1: [ReturnStmt] return ...
@@ -466,17 +466,17 @@ DynamicCast.cpp:
#-----| ValueCategory = prvalue(load)
# 4| [MoveAssignmentOperator] Derived& Derived::operator=(Derived&&)
# 4| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] Derived &&
# 4| [Constructor] void Derived::Derived()
# 4| params:
# 4| [CopyConstructor] void Derived::Derived(Derived const&)
# 4| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Derived &
# 4| [MoveConstructor] void Derived::Derived(Derived&&)
# 4| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] Derived &&
# 5| [VirtualFunction] void Derived::f()
# 5| params:
@@ -690,11 +690,11 @@ StatementExpr.c:
StaticMemberAccess.cpp:
# 1| [CopyAssignmentOperator] X& X::operator=(X const&)
# 1| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const X &
# 1| [MoveAssignmentOperator] X& X::operator=(X&&)
# 1| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] X &&
# 5| [TopLevelFunction] void StaticMemberAccess(int, X&)
# 5| params:
@@ -749,19 +749,19 @@ Subscript.c:
Throw.cpp:
# 2| [CopyAssignmentOperator] F& F::operator=(F const&)
# 2| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const F &
# 2| [MoveAssignmentOperator] F& F::operator=(F&&)
# 2| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] F &&
# 2| [CopyConstructor] void F::F(F const&)
# 2| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const F &
# 2| [MoveConstructor] void F::F(F&&)
# 2| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] F &&
# 2| initializations:
# 2| body: [BlockStmt] { ... }
@@ -810,11 +810,11 @@ Throw.cpp:
Typeid.cpp:
# 4| [CopyAssignmentOperator] std::type_info& std::type_info::operator=(std::type_info const&)
# 4| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const type_info &
# 4| [MoveAssignmentOperator] std::type_info& std::type_info::operator=(std::type_info&&)
# 4| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] type_info &&
# 7| [ConstMemberFunction] char const* std::type_info::name() const
# 7| params:
@@ -1203,11 +1203,11 @@ macro_etc.c:
union_etc.cpp:
# 2| [CopyAssignmentOperator] S& S::operator=(S const&)
# 2| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const S &
# 2| [MoveAssignmentOperator] S& S::operator=(S&&)
# 2| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] S &&
# 2| [Constructor] void S::S()
# 2| params:
@@ -1216,27 +1216,27 @@ union_etc.cpp:
# 2| 0: [ReturnStmt] return ...
# 2| [CopyConstructor] void S::S(S const&)
# 2| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const S &
# 2| [MoveConstructor] void S::S(S&&)
# 2| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] S &&
# 3| [CopyAssignmentOperator] S::U& S::U::operator=(S::U const public&)
# 3| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const U &
# 3| [MoveAssignmentOperator] S::U& S::U::operator=(S::U&&)
# 3| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] U &&
# 4| [CopyAssignmentOperator] S::C& S::C::operator=(S::C const public&)
# 4| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const C &
# 4| [MoveAssignmentOperator] S::C& S::C::operator=(S::C&&)
# 4| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] C &&
# 6| [VirtualFunction] void S::set_q(int)
# 6| params:
@@ -1259,51 +1259,51 @@ union_etc.cpp:
# 6| 1: [ReturnStmt] return ...
# 9| [CopyAssignmentOperator] C& C::operator=(C const&)
# 9| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const C &
# 9| [MoveAssignmentOperator] C& C::operator=(C&&)
# 9| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] C &&
# 11| [CopyAssignmentOperator] C::S& C::S::operator=(C::S const public&)
# 11| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const S &
# 11| [MoveAssignmentOperator] C::S& C::S::operator=(C::S&&)
# 11| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] S &&
# 12| [CopyAssignmentOperator] C::U& C::U::operator=(C::U const public&)
# 12| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const U &
# 12| [MoveAssignmentOperator] C::U& C::U::operator=(C::U&&)
# 12| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] U &&
# 16| [CopyAssignmentOperator] U& U::operator=(U const&)
# 16| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const U &
# 16| [MoveAssignmentOperator] U& U::operator=(U&&)
# 16| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] U &&
# 17| [CopyAssignmentOperator] U::S& U::S::operator=(U::S const public&)
# 17| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const S &
# 17| [MoveAssignmentOperator] U::S& U::S::operator=(U::S&&)
# 17| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] S &&
# 18| [CopyAssignmentOperator] U::C& U::C::operator=(U::C const public&)
# 18| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const C &
# 18| [MoveAssignmentOperator] U::C& U::C::operator=(U::C&&)
# 18| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] C &&
# 22| [TopLevelFunction] int foo()
# 22| params:
@@ -1405,21 +1405,21 @@ union_etc.cpp:
# 28| ValueCategory = lvalue
# 31| [CopyAssignmentOperator] T& T::operator=(T const&)
# 31| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const T &
# 31| [MoveAssignmentOperator] T& T::operator=(T&&)
# 31| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] T &&
# 31| [Constructor] void T::T()
# 31| params:
# 31| [CopyConstructor] void T::T(T const&)
# 31| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const T &
# 31| [MoveConstructor] void T::T(T&&)
# 31| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] T &&
# 33| [VirtualFunction] void T::set_q(int)
# 33| params:

16
cpp/ql/test/header-variant-tests/deduplication/variables.expected
View File

@@ -1,14 +1,14 @@
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | C && | Variable | <none> |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | C && | Variable | <none> |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | D && | Variable | <none> |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | __va_list_tag && | Variable | <none> |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | const C & | Variable | <none> |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | const C & | Variable | <none> |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | const D & | Variable | <none> |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | const __va_list_tag & | Variable | <none> |
| file://:0:0:0:0 | fp_offset | file://:0:0:0:0 | unsigned int | MemberVariable | __va_list_tag |
| file://:0:0:0:0 | gp_offset | file://:0:0:0:0 | unsigned int | MemberVariable | __va_list_tag |
| file://:0:0:0:0 | overflow_arg_area | file://:0:0:0:0 | void * | MemberVariable | __va_list_tag |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | C && | Variable | <none> |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | C && | Variable | <none> |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | D && | Variable | <none> |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | __va_list_tag && | Variable | <none> |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const C & | Variable | <none> |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const C & | Variable | <none> |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const D & | Variable | <none> |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const __va_list_tag & | Variable | <none> |
| file://:0:0:0:0 | reg_save_area | file://:0:0:0:0 | void * | MemberVariable | __va_list_tag |
| foo.h:7:5:7:15 | foo_defined | file://:0:0:0:0 | int | MemberVariable | C |
| foo.h:7:5:7:15 | foo_defined | file://:0:0:0:0 | int | Variable | <none> |

4
cpp/ql/test/header-variant-tests/functions-in-headers/one_x.expected
View File

@@ -1,7 +1,7 @@
| a.h:3:8:3:8 | x | x | true |
| file://:0:0:0:0 | (unnamed parameter 0) | (unnamed parameter 0) | false |
| file://:0:0:0:0 | (unnamed parameter 0) | (unnamed parameter 0) | false |
| file://:0:0:0:0 | fp_offset | fp_offset | false |
| file://:0:0:0:0 | gp_offset | gp_offset | false |
| file://:0:0:0:0 | overflow_arg_area | overflow_arg_area | false |
| file://:0:0:0:0 | p#0 | p#0 | false |
| file://:0:0:0:0 | p#0 | p#0 | false |
| file://:0:0:0:0 | reg_save_area | reg_save_area | false |

4
cpp/ql/test/library-tests/CPP-205/elements.expected
View File

@@ -26,10 +26,10 @@
| CPP-205.cpp:8:3:8:15 | return ... | |
| CPP-205.cpp:8:10:8:11 | call to fn | |
| CPP-205.cpp:8:13:8:13 | 0 | |
| file://:0:0:0:0 | (unnamed parameter 0) | parameter for __va_list_tag::operator=(__va_list_tag &&) -> __va_list_tag & |
| file://:0:0:0:0 | (unnamed parameter 0) | parameter for __va_list_tag::operator=(const __va_list_tag &) -> __va_list_tag & |
| file://:0:0:0:0 | __super | |
| file://:0:0:0:0 | __va_list_tag | |
| file://:0:0:0:0 | operator= | function __va_list_tag::operator=(__va_list_tag &&) -> __va_list_tag & |
| file://:0:0:0:0 | operator= | function __va_list_tag::operator=(const __va_list_tag &) -> __va_list_tag & |
| file://:0:0:0:0 | p#0 | parameter for __va_list_tag::operator=(__va_list_tag &&) -> __va_list_tag & |
| file://:0:0:0:0 | p#0 | parameter for __va_list_tag::operator=(const __va_list_tag &) -> __va_list_tag & |
| file://:0:0:0:0 | y | |

8
cpp/ql/test/library-tests/atomic/variables.expected
View File

@@ -1,3 +1,7 @@
| (unnamed parameter 0) | __va_list_tag && | rvalue reference to {struct __va_list_tag} |
| (unnamed parameter 0) | atomic_box<int> && | rvalue reference to {struct atomic_box<int>} |
| (unnamed parameter 0) | const __va_list_tag & | reference to {const {struct __va_list_tag}} |
| (unnamed parameter 0) | const atomic_box<int> & | reference to {const {struct atomic_box<int>}} |
| a | _Atomic(int) | atomic {int} |
| b | _Atomic(int) | atomic {int} |
| c | _Atomic(int) * | pointer to {atomic {int}} |
@@ -13,10 +17,6 @@
| k | _Atomic(int) *_Atomic | atomic {pointer to {atomic {int}}} |
| m | int | int |
| overflow_arg_area | void * | pointer to {void} |
| p#0 | __va_list_tag && | rvalue reference to {struct __va_list_tag} |
| p#0 | atomic_box<int> && | rvalue reference to {struct atomic_box<int>} |
| p#0 | const __va_list_tag & | reference to {const {struct __va_list_tag}} |
| p#0 | const atomic_box<int> & | reference to {const {struct atomic_box<int>}} |
| reg_save_area | void * | pointer to {void} |
| value | _Atomic(T) | atomic {T} |
| value | _Atomic(int) | atomic {int} |

8
cpp/ql/test/library-tests/blocks/cpp/blocks.expected
View File

@@ -22,11 +22,11 @@
| blocks.cpp:43:29:43:29 | z | file://:0:0:0:0 | char | char |
| blocks.cpp:45:10:45:10 | c | file://:0:0:0:0 | char | char |
| blocks.cpp:55:7:55:10 | four | file://:0:0:0:0 | int | int |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | Example && | rvalue reference to {struct Example} |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | __va_list_tag && | rvalue reference to {struct __va_list_tag} |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | const Example & | reference to {const {struct Example}} |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | const __va_list_tag & | reference to {const {struct __va_list_tag}} |
| file://:0:0:0:0 | fp_offset | file://:0:0:0:0 | unsigned int | unsigned int |
| file://:0:0:0:0 | gp_offset | file://:0:0:0:0 | unsigned int | unsigned int |
| file://:0:0:0:0 | overflow_arg_area | file://:0:0:0:0 | void * | pointer to {void} |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | Example && | rvalue reference to {struct Example} |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | __va_list_tag && | rvalue reference to {struct __va_list_tag} |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const Example & | reference to {const {struct Example}} |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const __va_list_tag & | reference to {const {struct __va_list_tag}} |
| file://:0:0:0:0 | reg_save_area | file://:0:0:0:0 | void * | pointer to {void} |

4
cpp/ql/test/library-tests/c++_exceptions/catchparams.expected
View File

@@ -1,5 +1,5 @@
| ODASA-5692.cpp:11:10:11:14 | p#0 | ODASA-5692.cpp:11:18:13:3 | { ... } |
| ODASA-5692.cpp:11:10:11:14 | p#0 | ODASA-5692.cpp:11:18:13:3 | { ... } |
| ODASA-5692.cpp:11:10:11:14 | (unnamed parameter 0) | ODASA-5692.cpp:11:18:13:3 | { ... } |
| ODASA-5692.cpp:11:10:11:14 | (unnamed parameter 0) | ODASA-5692.cpp:11:18:13:3 | { ... } |
| exceptions.cpp:28:20:28:20 | e | exceptions.cpp:28:23:30:9 | { ... } |
| exceptions.cpp:32:16:32:16 | e | exceptions.cpp:32:19:34:5 | { ... } |
| exceptions.cpp:35:16:35:16 | e | exceptions.cpp:35:19:37:5 | { ... } |

4
cpp/ql/test/library-tests/c++_exceptions/handler.expected
View File

@@ -1,7 +1,7 @@
| ODASA-5692.cpp:11:18:13:3 | <handler> | getBlock | ODASA-5692.cpp:11:18:13:3 | { ... } |
| ODASA-5692.cpp:11:18:13:3 | <handler> | getBlock | ODASA-5692.cpp:11:18:13:3 | { ... } |
| ODASA-5692.cpp:11:18:13:3 | <handler> | getParameter | ODASA-5692.cpp:11:10:11:14 | p#0 |
| ODASA-5692.cpp:11:18:13:3 | <handler> | getParameter | ODASA-5692.cpp:11:10:11:14 | p#0 |
| ODASA-5692.cpp:11:18:13:3 | <handler> | getParameter | ODASA-5692.cpp:11:10:11:14 | (unnamed parameter 0) |
| ODASA-5692.cpp:11:18:13:3 | <handler> | getParameter | ODASA-5692.cpp:11:10:11:14 | (unnamed parameter 0) |
| ODASA-5692.cpp:11:18:13:3 | <handler> | getTryStmt | ODASA-5692.cpp:9:3:10:3 | try { ... } |
| ODASA-5692.cpp:11:18:13:3 | <handler> | getTryStmt | ODASA-5692.cpp:9:3:10:3 | try { ... } |
| ODASA-5692.cpp:11:18:13:3 | <handler> | getTryStmt.getACatchClause() | ODASA-5692.cpp:11:18:13:3 | { ... } |

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

@@ -1,6 +1,6 @@
| c89.c:1:12:1:19 | restrict | restrict |
| c99.c:2:7:2:10 | p#0 | p#0 |
| c99.c:2:23:2:26 | p#1 | p#1 |
| c99.c:2:7:2:10 | (unnamed parameter 0) | (unnamed parameter 0) |
| c99.c:2:23:2:26 | (unnamed parameter 1) | (unnamed parameter 1) |
| file://:0:0:0:0 | fp_offset | fp_offset |
| file://:0:0:0:0 | gp_offset | gp_offset |
| file://:0:0:0:0 | overflow_arg_area | overflow_arg_area |

8
cpp/ql/test/library-tests/clang_ms/element.expected
View File

@@ -27,6 +27,10 @@
| clang_ms.cpp:18:1:18:31 | #pragma |
| file://:0:0:0:0 | |
| file://:0:0:0:0 | (global namespace) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | _Complex __float128 |
| file://:0:0:0:0 | _Complex double |
| file://:0:0:0:0 | _Complex float |
@@ -112,10 +116,6 @@
| file://:0:0:0:0 | optional |
| file://:0:0:0:0 | overflow_arg_area |
| file://:0:0:0:0 | override |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | private |
| file://:0:0:0:0 | protected |
| file://:0:0:0:0 | public |

4
cpp/ql/test/library-tests/conditions/elements.expected
View File

@@ -1,5 +1,7 @@
| file://:0:0:0:0 | |
| file://:0:0:0:0 | (global namespace) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | <error expr> |
| file://:0:0:0:0 | <error> |
| file://:0:0:0:0 | There was an error during this compilation |
@@ -84,8 +86,6 @@
| file://:0:0:0:0 | optional |
| file://:0:0:0:0 | overflow_arg_area |
| file://:0:0:0:0 | override |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | private |
| file://:0:0:0:0 | protected |
| file://:0:0:0:0 | public |

4
cpp/ql/test/library-tests/conditions/vars.expected
View File

@@ -1,8 +1,8 @@
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | <error> |
| file://:0:0:0:0 | fp_offset |
| file://:0:0:0:0 | gp_offset |
| file://:0:0:0:0 | overflow_arg_area |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | reg_save_area |
| test.cpp:3:12:3:12 | <error> |

4
cpp/ql/test/library-tests/cpp_builtin_types/bool/Variables.expected
View File

@@ -1,8 +1,8 @@
| a-source.cpp:2:6:2:7 | b1 | file://:0:0:0:0 | bool |
| c-source.c:4:6:4:7 | b2 | file://:0:0:0:0 | unsigned char |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | __va_list_tag & |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | __va_list_tag && |
| file://:0:0:0:0 | fp_offset | file://:0:0:0:0 | unsigned int |
| file://:0:0:0:0 | gp_offset | file://:0:0:0:0 | unsigned int |
| file://:0:0:0:0 | overflow_arg_area | file://:0:0:0:0 | void * |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | __va_list_tag & |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | __va_list_tag && |
| file://:0:0:0:0 | reg_save_area | file://:0:0:0:0 | void * |

4
cpp/ql/test/library-tests/cpp_builtin_types/wchar_t/Variables.expected
View File

@@ -1,7 +1,7 @@
| a-source.cpp:2:9:2:9 | s |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | fp_offset |
| file://:0:0:0:0 | gp_offset |
| file://:0:0:0:0 | overflow_arg_area |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | reg_save_area |

18
cpp/ql/test/library-tests/dataflow/DefaultTaintTracking/tainted.expected
View File

@@ -23,7 +23,7 @@
| defaulttainttracking.cpp:22:20:22:25 | call to getenv | shared.h:5:23:5:31 | sinkparam |
| defaulttainttracking.cpp:22:20:22:25 | call to getenv | shared.h:10:38:10:39 | s2 |
| defaulttainttracking.cpp:38:25:38:30 | call to getenv | defaulttainttracking.cpp:31:40:31:53 | dotted_address |
| defaulttainttracking.cpp:38:25:38:30 | call to getenv | defaulttainttracking.cpp:32:11:32:26 | p#0 |
| defaulttainttracking.cpp:38:25:38:30 | call to getenv | defaulttainttracking.cpp:32:11:32:26 | (unnamed parameter 0) |
| defaulttainttracking.cpp:38:25:38:30 | call to getenv | defaulttainttracking.cpp:38:11:38:21 | env_pointer |
| defaulttainttracking.cpp:38:25:38:30 | call to getenv | defaulttainttracking.cpp:38:25:38:30 | call to getenv |
| defaulttainttracking.cpp:38:25:38:30 | call to getenv | defaulttainttracking.cpp:38:25:38:37 | (void *)... |
@@ -32,7 +32,7 @@
| defaulttainttracking.cpp:38:25:38:30 | call to getenv | defaulttainttracking.cpp:39:36:39:61 | (const char *)... |
| defaulttainttracking.cpp:38:25:38:30 | call to getenv | defaulttainttracking.cpp:39:50:39:61 | & ... |
| defaulttainttracking.cpp:38:25:38:30 | call to getenv | defaulttainttracking.cpp:40:10:40:10 | a |
| defaulttainttracking.cpp:64:10:64:15 | call to getenv | defaulttainttracking.cpp:45:20:45:29 | p#0 |
| defaulttainttracking.cpp:64:10:64:15 | call to getenv | defaulttainttracking.cpp:45:20:45:29 | (unnamed parameter 0) |
| defaulttainttracking.cpp:64:10:64:15 | call to getenv | defaulttainttracking.cpp:52:24:52:24 | p |
| defaulttainttracking.cpp:64:10:64:15 | call to getenv | defaulttainttracking.cpp:57:24:57:24 | p |
| defaulttainttracking.cpp:64:10:64:15 | call to getenv | defaulttainttracking.cpp:58:14:58:14 | p |
@@ -63,7 +63,7 @@
| defaulttainttracking.cpp:69:33:69:38 | call to getenv | defaulttainttracking.cpp:69:33:69:38 | call to getenv |
| defaulttainttracking.cpp:69:33:69:38 | call to getenv | defaulttainttracking.cpp:69:33:69:45 | (const char *)... |
| defaulttainttracking.cpp:69:33:69:38 | call to getenv | shared.h:5:23:5:31 | sinkparam |
| defaulttainttracking.cpp:72:11:72:16 | call to getenv | defaulttainttracking.cpp:45:20:45:29 | p#0 |
| defaulttainttracking.cpp:72:11:72:16 | call to getenv | defaulttainttracking.cpp:45:20:45:29 | (unnamed parameter 0) |
| defaulttainttracking.cpp:72:11:72:16 | call to getenv | defaulttainttracking.cpp:52:24:52:24 | p |
| defaulttainttracking.cpp:72:11:72:16 | call to getenv | defaulttainttracking.cpp:72:11:72:16 | call to getenv |
| defaulttainttracking.cpp:72:11:72:16 | call to getenv | defaulttainttracking.cpp:72:11:72:23 | (const char *)... |
@@ -174,8 +174,8 @@
| globals.cpp:23:15:23:20 | call to getenv | globals.cpp:23:15:23:20 | call to getenv |
| stl.cpp:62:25:62:30 | call to getenv | shared.h:5:23:5:31 | sinkparam |
| stl.cpp:62:25:62:30 | call to getenv | stl.cpp:21:29:21:29 | s |
| stl.cpp:62:25:62:30 | call to getenv | stl.cpp:43:78:43:104 | p#0 |
| stl.cpp:62:25:62:30 | call to getenv | stl.cpp:43:114:43:118 | p#1 |
| stl.cpp:62:25:62:30 | call to getenv | stl.cpp:43:78:43:104 | (unnamed parameter 0) |
| stl.cpp:62:25:62:30 | call to getenv | stl.cpp:43:114:43:118 | (unnamed parameter 1) |
| stl.cpp:62:25:62:30 | call to getenv | stl.cpp:62:25:62:30 | call to getenv |
| stl.cpp:62:25:62:30 | call to getenv | stl.cpp:64:36:64:36 | s |
| stl.cpp:62:25:62:30 | call to getenv | stl.cpp:68:8:68:8 | a |
@@ -271,19 +271,19 @@
| test_diff.cpp:104:12:104:15 | argv | test_diff.cpp:104:12:104:15 | argv |
| test_diff.cpp:104:12:104:15 | argv | test_diff.cpp:104:12:104:19 | ... + ... |
| test_diff.cpp:108:10:108:13 | argv | shared.h:5:23:5:31 | sinkparam |
| test_diff.cpp:108:10:108:13 | argv | test_diff.cpp:24:20:24:29 | p#0 |
| test_diff.cpp:108:10:108:13 | argv | test_diff.cpp:24:20:24:29 | (unnamed parameter 0) |
| test_diff.cpp:108:10:108:13 | argv | test_diff.cpp:29:24:29:24 | p |
| test_diff.cpp:108:10:108:13 | argv | test_diff.cpp:30:14:30:14 | p |
| test_diff.cpp:108:10:108:13 | argv | test_diff.cpp:108:10:108:13 | argv |
| test_diff.cpp:108:10:108:13 | argv | test_diff.cpp:108:10:108:16 | (const char *)... |
| test_diff.cpp:108:10:108:13 | argv | test_diff.cpp:108:10:108:16 | access to array |
| test_diff.cpp:111:10:111:13 | argv | test_diff.cpp:24:20:24:29 | p#0 |
| test_diff.cpp:111:10:111:13 | argv | test_diff.cpp:24:20:24:29 | (unnamed parameter 0) |
| test_diff.cpp:111:10:111:13 | argv | test_diff.cpp:36:24:36:24 | p |
| test_diff.cpp:111:10:111:13 | argv | test_diff.cpp:111:10:111:13 | argv |
| test_diff.cpp:111:10:111:13 | argv | test_diff.cpp:111:10:111:16 | (const char *)... |
| test_diff.cpp:111:10:111:13 | argv | test_diff.cpp:111:10:111:16 | access to array |
| test_diff.cpp:115:11:115:14 | argv | shared.h:5:23:5:31 | sinkparam |
| test_diff.cpp:115:11:115:14 | argv | test_diff.cpp:24:20:24:29 | p#0 |
| test_diff.cpp:115:11:115:14 | argv | test_diff.cpp:24:20:24:29 | (unnamed parameter 0) |
| test_diff.cpp:115:11:115:14 | argv | test_diff.cpp:41:24:41:24 | p |
| test_diff.cpp:115:11:115:14 | argv | test_diff.cpp:42:14:42:14 | p |
| test_diff.cpp:115:11:115:14 | argv | test_diff.cpp:52:24:52:24 | p |
@@ -306,7 +306,7 @@
| test_diff.cpp:121:23:121:26 | argv | test_diff.cpp:121:23:121:29 | (const char *)... |
| test_diff.cpp:121:23:121:26 | argv | test_diff.cpp:121:23:121:29 | access to array |
| test_diff.cpp:124:19:124:22 | argv | shared.h:5:23:5:31 | sinkparam |
| test_diff.cpp:124:19:124:22 | argv | test_diff.cpp:24:20:24:29 | p#0 |
| test_diff.cpp:124:19:124:22 | argv | test_diff.cpp:24:20:24:29 | (unnamed parameter 0) |
| test_diff.cpp:124:19:124:22 | argv | test_diff.cpp:76:24:76:24 | p |
| test_diff.cpp:124:19:124:22 | argv | test_diff.cpp:81:24:81:24 | p |
| test_diff.cpp:124:19:124:22 | argv | test_diff.cpp:82:14:82:14 | p |

2
cpp/ql/test/library-tests/dataflow/DefaultTaintTracking/test_diff.expected
View File

@@ -38,7 +38,7 @@
| defaulttainttracking.cpp:208:27:208:32 | call to getenv | defaulttainttracking.cpp:208:23:208:23 | x | AST only |
| globals.cpp:13:15:13:20 | call to getenv | globals.cpp:13:5:13:11 | global1 | AST only |
| globals.cpp:23:15:23:20 | call to getenv | globals.cpp:23:5:23:11 | global2 | AST only |
| stl.cpp:62:25:62:30 | call to getenv | stl.cpp:43:78:43:104 | p#0 | IR only |
| stl.cpp:62:25:62:30 | call to getenv | stl.cpp:43:78:43:104 | (unnamed parameter 0) | IR only |
| stl.cpp:62:25:62:30 | call to getenv | stl.cpp:62:7:62:12 | source | AST only |
| stl.cpp:62:25:62:30 | call to getenv | stl.cpp:64:36:64:36 | s | IR only |
| stl.cpp:62:25:62:30 | call to getenv | stl.cpp:70:16:70:24 | call to basic_string | IR only |

28
cpp/ql/test/library-tests/dataflow/dataflow-tests/dataflow-ir-consistency.expected
View File

@@ -1,20 +1,20 @@
uniqueEnclosingCallable
uniqueType
uniqueNodeLocation
| BarrierGuard.cpp:2:11:2:13 | p#0 | Node should have one location but has 6. |
| acrossLinkTargets.cpp:2:11:2:13 | p#0 | Node should have one location but has 6. |
| clang.cpp:4:11:4:13 | p#0 | Node should have one location but has 6. |
| clang.cpp:4:27:4:35 | p#0 | Node should have one location but has 2. |
| clang.cpp:4:51:4:53 | p#0 | Node should have one location but has 2. |
| dispatch.cpp:2:11:2:13 | p#0 | Node should have one location but has 6. |
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| globals.cpp:2:11:2:13 | p#0 | Node should have one location but has 6. |
| test.cpp:2:11:2:13 | p#0 | Node should have one location but has 6. |
| test.cpp:2:27:2:35 | p#0 | Node should have one location but has 2. |
| test.cpp:2:51:2:53 | p#0 | Node should have one location but has 2. |
| BarrierGuard.cpp:2:11:2:13 | (unnamed parameter 0) | Node should have one location but has 6. |
| acrossLinkTargets.cpp:2:11:2:13 | (unnamed parameter 0) | Node should have one location but has 6. |
| clang.cpp:4:11:4:13 | (unnamed parameter 0) | Node should have one location but has 6. |
| clang.cpp:4:27:4:35 | (unnamed parameter 0) | Node should have one location but has 2. |
| clang.cpp:4:51:4:53 | (unnamed parameter 0) | Node should have one location but has 2. |
| dispatch.cpp:2:11:2:13 | (unnamed parameter 0) | Node should have one location but has 6. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| globals.cpp:2:11:2:13 | (unnamed parameter 0) | Node should have one location but has 6. |
| test.cpp:2:11:2:13 | (unnamed parameter 0) | Node should have one location but has 6. |
| test.cpp:2:27:2:35 | (unnamed parameter 0) | Node should have one location but has 2. |
| test.cpp:2:51:2:53 | (unnamed parameter 0) | Node should have one location but has 2. |
missingLocation
| Nodes without location: 4 |
uniqueNodeToString

8
cpp/ql/test/library-tests/dataflow/fields/dataflow-ir-consistency.expected
View File

@@ -1,10 +1,10 @@
uniqueEnclosingCallable
uniqueType
uniqueNodeLocation
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
missingLocation
| Nodes without location: 4 |
uniqueNodeToString

18
cpp/ql/test/library-tests/dataflow/taint-tests/localTaint.expected
View File

@@ -251,15 +251,15 @@
| copyableclass_declonly.cpp:67:13:67:18 | call to source | copyableclass_declonly.cpp:67:13:67:20 | call to MyCopyableClassDeclOnly | TAINT |
| copyableclass_declonly.cpp:67:13:67:20 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:67:8:67:9 | ref arg s3 | TAINT |
| copyableclass_declonly.cpp:67:13:67:20 | call to MyCopyableClassDeclOnly | copyableclass_declonly.cpp:67:11:67:11 | call to operator= | TAINT |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | p#0 | |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | p#0 | |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | p#0 | |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | p#0 | |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | p#0 | |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | p#0 | |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | p#0 | |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | p#0 | |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | p#0 | |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | (unnamed parameter 0) | |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | (unnamed parameter 0) | |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | (unnamed parameter 0) | |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | (unnamed parameter 0) | |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | (unnamed parameter 0) | |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | (unnamed parameter 0) | |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | (unnamed parameter 0) | |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | (unnamed parameter 0) | |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | (unnamed parameter 0) | |
| format.cpp:16:21:16:21 | s | format.cpp:22:22:22:22 | s | |
| format.cpp:16:31:16:31 | n | format.cpp:22:25:22:25 | n | |
| format.cpp:16:46:16:51 | format | format.cpp:22:28:22:33 | format | |

4
cpp/ql/test/library-tests/default_parameters/variables.expected
View File

@@ -1,8 +1,8 @@
| file://:0:0:0:0 | (unnamed parameter 0) | 1 | <no init> | 1 | <no assigned> |
| file://:0:0:0:0 | (unnamed parameter 0) | 1 | <no init> | 1 | <no assigned> |
| file://:0:0:0:0 | fp_offset | 1 | <no init> | 1 | <no assigned> |
| file://:0:0:0:0 | gp_offset | 1 | <no init> | 1 | <no assigned> |
| file://:0:0:0:0 | overflow_arg_area | 1 | <no init> | 1 | <no assigned> |
| file://:0:0:0:0 | p#0 | 1 | <no init> | 1 | <no assigned> |
| file://:0:0:0:0 | p#0 | 1 | <no init> | 1 | <no assigned> |
| file://:0:0:0:0 | reg_save_area | 1 | <no init> | 1 | <no assigned> |
| test.cpp:2:21:2:21 | x | 1 | file://:0:0:0:0 initializer for x | 2 | test.cpp:2:25:2:26 10 |
| test.cpp:2:21:2:21 | x | 1 | file://:0:0:0:0 initializer for x | 2 | test.cpp:3:9:3:9 3 |

20
cpp/ql/test/library-tests/depends_initializers/VariableInitializers.expected
View File

@@ -1,16 +1,16 @@
| file://:0:0:0:0 | (unnamed parameter 0) | 0 | 0 |
| file://:0:0:0:0 | (unnamed parameter 0) | 0 | 0 |
| file://:0:0:0:0 | (unnamed parameter 0) | 0 | 0 |
| file://:0:0:0:0 | (unnamed parameter 0) | 0 | 0 |
| file://:0:0:0:0 | (unnamed parameter 0) | 0 | 0 |
| file://:0:0:0:0 | (unnamed parameter 0) | 0 | 0 |
| file://:0:0:0:0 | (unnamed parameter 0) | 0 | 0 |
| file://:0:0:0:0 | (unnamed parameter 0) | 0 | 0 |
| file://:0:0:0:0 | (unnamed parameter 0) | 0 | 0 |
| file://:0:0:0:0 | (unnamed parameter 0) | 0 | 0 |
| file://:0:0:0:0 | fp_offset | 0 | 0 |
| file://:0:0:0:0 | gp_offset | 0 | 0 |
| file://:0:0:0:0 | overflow_arg_area | 0 | 0 |
| file://:0:0:0:0 | p#0 | 0 | 0 |
| file://:0:0:0:0 | p#0 | 0 | 0 |
| file://:0:0:0:0 | p#0 | 0 | 0 |
| file://:0:0:0:0 | p#0 | 0 | 0 |
| file://:0:0:0:0 | p#0 | 0 | 0 |
| file://:0:0:0:0 | p#0 | 0 | 0 |
| file://:0:0:0:0 | p#0 | 0 | 0 |
| file://:0:0:0:0 | p#0 | 0 | 0 |
| file://:0:0:0:0 | p#0 | 0 | 0 |
| file://:0:0:0:0 | p#0 | 0 | 0 |
| file://:0:0:0:0 | reg_save_area | 0 | 0 |
| initializers.cpp:8:8:8:12 | a_ptr | 1 | 1 |
| initializers.cpp:9:4:9:4 | a | 1 | 1 |

26
cpp/ql/test/library-tests/functions/functions/Functions1.expected
View File

@@ -1,29 +1,29 @@
| ODASA-5186.cpp:4:8:4:8 | MyClass | MyClass | | declaration:ODASA-5186.cpp:4:8:4:8, definition:ODASA-5186.cpp:4:8:4:8 |
| ODASA-5186.cpp:4:8:4:8 | operator= | operator= | MyClass<int> && p#0 | declaration:ODASA-5186.cpp:4:8:4:8 |
| ODASA-5186.cpp:4:8:4:8 | operator= | operator= | const MyClass<int> & p#0 | declaration:ODASA-5186.cpp:4:8:4:8 |
| ODASA-5186.cpp:4:8:4:8 | operator= | operator= | MyClass<int> && (unnamed parameter 0) | declaration:ODASA-5186.cpp:4:8:4:8 |
| ODASA-5186.cpp:4:8:4:8 | operator= | operator= | const MyClass<int> & (unnamed parameter 0) | declaration:ODASA-5186.cpp:4:8:4:8 |
| ODASA-5186.cpp:5:8:5:8 | operator== | operator== | const MyClass<int> & other | declaration:ODASA-5186.cpp:5:8:5:8, definition:ODASA-5186.cpp:5:8:5:8 |
| ODASA-5186.cpp:5:8:5:17 | operator== | operator== | const MyClass<T> & other | declaration:ODASA-5186.cpp:5:8:5:17, definition:ODASA-5186.cpp:5:8:5:17 |
| ODASA-5186.cpp:8:6:8:9 | test | test | | TopLevelFunction, declaration:ODASA-5186.cpp:8:6:8:9, definition:ODASA-5186.cpp:8:6:8:9, isTopLevel |
| ODASA-5186.hpp:2:8:2:8 | operator= | operator= | NEQ_helper<MyClass<int>> && p#0 | declaration:ODASA-5186.hpp:2:8:2:8 |
| ODASA-5186.hpp:2:8:2:8 | operator= | operator= | const NEQ_helper<MyClass<int>> & p#0 | declaration:ODASA-5186.hpp:2:8:2:8 |
| ODASA-5186.hpp:2:8:2:8 | operator= | operator= | NEQ_helper<MyClass<int>> && (unnamed parameter 0) | declaration:ODASA-5186.hpp:2:8:2:8 |
| ODASA-5186.hpp:2:8:2:8 | operator= | operator= | const NEQ_helper<MyClass<int>> & (unnamed parameter 0) | declaration:ODASA-5186.hpp:2:8:2:8 |
| ODASA-5186.hpp:4:18:4:27 | operator!= | operator!= | const MyClass<int> & x, const MyClass<int> & y | TopLevelFunction, declaration:ODASA-5186.hpp:4:18:4:27, definition:ODASA-5186.hpp:4:18:4:27, isTopLevel |
| ODASA-5186.hpp:4:18:4:27 | operator!= | operator!= | const T & x, const T & y | TopLevelFunction, declaration:ODASA-5186.hpp:4:18:4:27, definition:ODASA-5186.hpp:4:18:4:27, isTopLevel |
| functions.cpp:1:6:1:6 | f | f | int a, int b | TopLevelFunction, declaration:functions.cpp:1:6:1:6, definition:functions.cpp:1:6:1:6, isTopLevel |
| functions.cpp:7:8:7:8 | operator= | operator= | A && p#0 | declaration:functions.cpp:7:8:7:8 |
| functions.cpp:7:8:7:8 | operator= | operator= | const A & p#0 | declaration:functions.cpp:7:8:7:8 |
| functions.cpp:7:8:7:8 | operator= | operator= | A && (unnamed parameter 0) | declaration:functions.cpp:7:8:7:8 |
| functions.cpp:7:8:7:8 | operator= | operator= | const A & (unnamed parameter 0) | declaration:functions.cpp:7:8:7:8 |
| functions.cpp:8:7:8:8 | af | af | | declaration:functions.cpp:8:7:8:8, definition:functions.cpp:8:7:8:8 |
| functions.cpp:11:7:11:8 | ag | ag | | declaration:functions.cpp:11:7:11:8 |
| functions.cpp:14:6:14:6 | g | g | | TopLevelFunction, declaration:functions.cpp:14:6:14:6, declaration:functions.cpp:5:6:5:6, definition:functions.cpp:14:6:14:6, isTopLevel |
| functions.cpp:19:7:19:7 | Name | Name | | declaration:functions.cpp:19:7:19:7 |
| functions.cpp:19:7:19:7 | operator= | operator= | Name && p#0 | declaration:functions.cpp:19:7:19:7 |
| functions.cpp:19:7:19:7 | operator= | operator= | const Name & p#0 | declaration:functions.cpp:19:7:19:7 |
| functions.cpp:23:7:23:7 | Table | Table | const Table & p#0 | declaration:functions.cpp:23:7:23:7 |
| functions.cpp:23:7:23:7 | operator= | operator= | const Table & p#0 | declaration:functions.cpp:23:7:23:7 |
| functions.cpp:19:7:19:7 | operator= | operator= | Name && (unnamed parameter 0) | declaration:functions.cpp:19:7:19:7 |
| functions.cpp:19:7:19:7 | operator= | operator= | const Name & (unnamed parameter 0) | declaration:functions.cpp:19:7:19:7 |
| functions.cpp:23:7:23:7 | Table | Table | const Table & (unnamed parameter 0) | declaration:functions.cpp:23:7:23:7 |
| functions.cpp:23:7:23:7 | operator= | operator= | const Table & (unnamed parameter 0) | declaration:functions.cpp:23:7:23:7 |
| functions.cpp:27:3:27:7 | Table | Table | int s | declaration:functions.cpp:27:3:27:7, definition:functions.cpp:27:3:27:7 |
| functions.cpp:28:3:28:8 | ~Table | ~Table | | declaration:functions.cpp:28:3:28:8, definition:functions.cpp:28:3:28:8 |
| functions.cpp:29:9:29:14 | lookup | lookup | const char * p#0 | declaration:functions.cpp:29:9:29:14 |
| functions.cpp:30:8:30:13 | insert | insert | Name * p#0 | declaration:functions.cpp:30:8:30:13 |
| functions.cpp:33:7:33:7 | operator= | operator= | const MyClass & p#0 | declaration:functions.cpp:33:7:33:7, definition:functions.cpp:33:7:33:7 |
| functions.cpp:29:9:29:14 | lookup | lookup | const char * (unnamed parameter 0) | declaration:functions.cpp:29:9:29:14 |
| functions.cpp:30:8:30:13 | insert | insert | Name * (unnamed parameter 0) | declaration:functions.cpp:30:8:30:13 |
| functions.cpp:33:7:33:7 | operator= | operator= | const MyClass & (unnamed parameter 0) | declaration:functions.cpp:33:7:33:7, definition:functions.cpp:33:7:33:7 |
| functions.cpp:36:2:36:8 | MyClass | MyClass | | declaration:functions.cpp:36:2:36:8 |
| functions.cpp:37:2:37:8 | MyClass | MyClass | int from | declaration:functions.cpp:37:2:37:8 |
| functions.cpp:38:2:38:8 | MyClass | MyClass | const MyClass & from | declaration:functions.cpp:38:2:38:8 |

4
cpp/ql/test/library-tests/identifiers/qualified_names/unnamed.expected
View File

@@ -1,5 +1,5 @@
| qualifiedNames.cpp:3:25:3:27 | p#0 |
| qualifiedNames.cpp:4:25:4:28 | p#0 |
| qualifiedNames.cpp:3:25:3:27 | (unnamed parameter 0) |
| qualifiedNames.cpp:4:25:4:28 | (unnamed parameter 0) |
| qualifiedNames.cpp:18:18:18:31 | Nested's friend |
| qualifiedNames.cpp:26:9:26:9 | LocalClass |
| qualifiedNames.cpp:26:9:26:9 | operator= |

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

@@ -1,71 +1,71 @@
#-----| [CopyAssignmentOperator] __va_list_tag& __va_list_tag::operator=(__va_list_tag const&)
#-----| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const __va_list_tag &
#-----| [MoveAssignmentOperator] __va_list_tag& __va_list_tag::operator=(__va_list_tag&&)
#-----| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] __va_list_tag &&
#-----| [Operator,TopLevelFunction] void operator delete(void*)
#-----| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [VoidPointerType] void *
#-----| [Operator,TopLevelFunction] void operator delete(void*, unsigned long)
#-----| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [VoidPointerType] void *
#-----| 1: [Parameter] p#1
#-----| 1: [Parameter] (unnamed parameter 1)
#-----| Type = [LongType] unsigned long
#-----| [Operator,TopLevelFunction] void operator delete(void*, unsigned long, std::align_val_t)
#-----| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [VoidPointerType] void *
#-----| 1: [Parameter] p#1
#-----| 1: [Parameter] (unnamed parameter 1)
#-----| Type = [LongType] unsigned long
#-----| 2: [Parameter] p#2
#-----| 2: [Parameter] (unnamed parameter 2)
#-----| Type = [ScopedEnum] align_val_t
#-----| [Operator,TopLevelFunction] void operator delete[](void*, unsigned long)
#-----| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [VoidPointerType] void *
#-----| 1: [Parameter] p#1
#-----| 1: [Parameter] (unnamed parameter 1)
#-----| Type = [LongType] unsigned long
#-----| [Operator,TopLevelFunction] void operator delete[](void*, unsigned long, std::align_val_t)
#-----| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [VoidPointerType] void *
#-----| 1: [Parameter] p#1
#-----| 1: [Parameter] (unnamed parameter 1)
#-----| Type = [LongType] unsigned long
#-----| 2: [Parameter] p#2
#-----| 2: [Parameter] (unnamed parameter 2)
#-----| Type = [ScopedEnum] align_val_t
#-----| [Operator,TopLevelFunction] void* operator new(unsigned long)
#-----| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LongType] unsigned long
#-----| [Operator,TopLevelFunction] void* operator new(unsigned long, std::align_val_t)
#-----| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LongType] unsigned long
#-----| 1: [Parameter] p#1
#-----| 1: [Parameter] (unnamed parameter 1)
#-----| Type = [ScopedEnum] align_val_t
#-----| [Operator,TopLevelFunction] void* operator new[](unsigned long)
#-----| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LongType] unsigned long
#-----| [Operator,TopLevelFunction] void* operator new[](unsigned long, std::align_val_t)
#-----| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LongType] unsigned long
#-----| 1: [Parameter] p#1
#-----| 1: [Parameter] (unnamed parameter 1)
#-----| Type = [ScopedEnum] align_val_t
bad_asts.cpp:
# 5| [CopyAssignmentOperator] Bad::S& Bad::S::operator=(Bad::S const&)
# 5| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const S &
# 5| [MoveAssignmentOperator] Bad::S& Bad::S::operator=(Bad::S&&)
# 5| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] S &&
# 9| [FunctionTemplateInstantiation,MemberFunction] int Bad::S::MemberFunction<int 6>(int)
# 9| params:
@@ -141,15 +141,15 @@ bad_asts.cpp:
# 17| 2: [ReturnStmt] return ...
# 19| [CopyAssignmentOperator] Bad::Point& Bad::Point::operator=(Bad::Point const&)
# 19| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Point &
# 19| [MoveAssignmentOperator] Bad::Point& Bad::Point::operator=(Bad::Point&&)
# 19| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] Point &&
# 19| [CopyConstructor] void Bad::Point::Point(Bad::Point const&)
# 19| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Point &
# 19| initializations:
# 19| 0: [ConstructorFieldInit] constructor init of field x
@@ -168,7 +168,7 @@ bad_asts.cpp:
# 19| 0: [ReturnStmt] return ...
# 19| [MoveConstructor] void Bad::Point::Point(Bad::Point&&)
# 19| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] Point &&
# 22| [Constructor] void Bad::Point::Point()
# 22| params:
@@ -4368,19 +4368,19 @@ ir.cpp:
# 410| 3: [ReturnStmt] return ...
# 412| [CopyAssignmentOperator] Point& Point::operator=(Point const&)
# 412| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Point &
# 412| [MoveAssignmentOperator] Point& Point::operator=(Point&&)
# 412| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] Point &&
# 417| [CopyAssignmentOperator] Rect& Rect::operator=(Rect const&)
# 417| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Rect &
# 417| [MoveAssignmentOperator] Rect& Rect::operator=(Rect&&)
# 417| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] Rect &&
# 422| [TopLevelFunction] Point ReturnStruct(Point)
# 422| params:
@@ -5045,11 +5045,11 @@ ir.cpp:
# 523| 3: [ReturnStmt] return ...
# 525| [CopyAssignmentOperator] U& U::operator=(U const&)
# 525| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const U &
# 525| [MoveAssignmentOperator] U& U::operator=(U&&)
# 525| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] U &&
# 530| [TopLevelFunction] void UnionInit(int, float)
# 530| params:
@@ -5332,7 +5332,7 @@ ir.cpp:
# 586| 1: [ReturnStmt] return ...
# 588| [TopLevelFunction] int FuncPtrTarget(int)
# 588| params:
# 588| 0: [Parameter] p#0
# 588| 0: [Parameter] (unnamed parameter 0)
# 588| Type = [IntType] int
# 590| [TopLevelFunction] void SetFuncPtr()
# 590| params:
@@ -5395,25 +5395,25 @@ ir.cpp:
# 595| 4: [ReturnStmt] return ...
# 599| [CopyConstructor] void String::String(String const&)
# 599| params:
# 599| 0: [Parameter] p#0
# 599| 0: [Parameter] (unnamed parameter 0)
# 599| Type = [LValueReferenceType] const String &
# 600| [MoveConstructor] void String::String(String&&)
# 600| params:
# 600| 0: [Parameter] p#0
# 600| 0: [Parameter] (unnamed parameter 0)
# 600| Type = [RValueReferenceType] String &&
# 601| [ConversionConstructor] void String::String(char const*)
# 601| params:
# 601| 0: [Parameter] p#0
# 601| 0: [Parameter] (unnamed parameter 0)
# 601| Type = [PointerType] const char *
# 602| [Destructor] void String::~String()
# 602| params:
# 604| [CopyAssignmentOperator] String& String::operator=(String const&)
# 604| params:
# 604| 0: [Parameter] p#0
# 604| 0: [Parameter] (unnamed parameter 0)
# 604| Type = [LValueReferenceType] const String &
# 605| [MoveAssignmentOperator] String& String::operator=(String&&)
# 605| params:
# 605| 0: [Parameter] p#0
# 605| 0: [Parameter] (unnamed parameter 0)
# 605| Type = [RValueReferenceType] String &&
# 607| [ConstMemberFunction] char const* String::c_str() const
# 607| params:
@@ -5513,19 +5513,19 @@ ir.cpp:
# 626| 3: [ReturnStmt] return ...
# 628| [CopyAssignmentOperator] C& C::operator=(C const&)
# 628| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const C &
# 628| [MoveAssignmentOperator] C& C::operator=(C&&)
# 628| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] C &&
# 628| [CopyConstructor] void C::C(C const&)
# 628| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const C &
# 628| [MoveConstructor] void C::C(C&&)
# 628| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] C &&
# 628| [Destructor] void C::~C()
# 628| params:
@@ -5996,11 +5996,11 @@ ir.cpp:
# 709| ValueCategory = prvalue(load)
# 713| [CopyAssignmentOperator] Outer<long>& Outer<long>::operator=(Outer<long> const&)
# 713| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Outer<long> &
# 713| [MoveAssignmentOperator] Outer<long>& Outer<long>::operator=(Outer<long>&&)
# 713| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] Outer<long> &&
# 715| [MemberFunction,TemplateFunction] T Outer<T>::Func<U, V>(U, V)
# 715| params:
@@ -6163,7 +6163,7 @@ ir.cpp:
# 743| 1: [ReturnStmt] return ...
# 745| [CopyAssignmentOperator] Base& Base::operator=(Base const&)
# 745| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Base &
#-----| body: [BlockStmt] { ... }
#-----| 0: [ExprStmt] ExprStmt
@@ -6191,7 +6191,7 @@ ir.cpp:
#-----| -1: [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [SpecifiedType] const Base
#-----| ValueCategory = lvalue
# 745| expr: [VariableAccess] p#0
# 745| expr: [VariableAccess] (unnamed parameter 0)
# 745| Type = [LValueReferenceType] const Base &
# 745| ValueCategory = prvalue(load)
#-----| 1: [ReturnStmt] return ...
@@ -6206,7 +6206,7 @@ ir.cpp:
#-----| ValueCategory = prvalue(load)
# 745| [CopyConstructor] void Base::Base(Base const&)
# 745| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Base &
# 745| initializations:
# 745| 0: [ConstructorFieldInit] constructor init of field base_s
@@ -6244,7 +6244,7 @@ ir.cpp:
# 751| ValueCategory = lvalue
# 754| [CopyAssignmentOperator] Middle& Middle::operator=(Middle const&)
# 754| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Middle &
#-----| body: [BlockStmt] { ... }
#-----| 0: [ExprStmt] ExprStmt
@@ -6277,7 +6277,7 @@ ir.cpp:
#-----| 0: [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [SpecifiedType] const Middle
#-----| ValueCategory = lvalue
# 754| expr: [VariableAccess] p#0
# 754| expr: [VariableAccess] (unnamed parameter 0)
# 754| Type = [LValueReferenceType] const Middle &
# 754| ValueCategory = prvalue(load)
#-----| 1: [ExprStmt] ExprStmt
@@ -6305,7 +6305,7 @@ ir.cpp:
#-----| -1: [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [SpecifiedType] const Middle
#-----| ValueCategory = lvalue
# 754| expr: [VariableAccess] p#0
# 754| expr: [VariableAccess] (unnamed parameter 0)
# 754| Type = [LValueReferenceType] const Middle &
# 754| ValueCategory = prvalue(load)
#-----| 2: [ReturnStmt] return ...
@@ -6320,7 +6320,7 @@ ir.cpp:
#-----| ValueCategory = prvalue(load)
# 754| [CopyConstructor] void Middle::Middle(Middle const&)
# 754| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Middle &
# 757| [Constructor] void Middle::Middle()
# 757| params:
@@ -6355,7 +6355,7 @@ ir.cpp:
# 760| ValueCategory = prvalue
# 763| [CopyAssignmentOperator] Derived& Derived::operator=(Derived const&)
# 763| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Derived &
#-----| body: [BlockStmt] { ... }
#-----| 0: [ExprStmt] ExprStmt
@@ -6388,7 +6388,7 @@ ir.cpp:
#-----| 0: [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [SpecifiedType] const Derived
#-----| ValueCategory = lvalue
# 763| expr: [VariableAccess] p#0
# 763| expr: [VariableAccess] (unnamed parameter 0)
# 763| Type = [LValueReferenceType] const Derived &
# 763| ValueCategory = prvalue(load)
#-----| 1: [ExprStmt] ExprStmt
@@ -6416,7 +6416,7 @@ ir.cpp:
#-----| -1: [ReferenceDereferenceExpr] (reference dereference)
#-----| Type = [SpecifiedType] const Derived
#-----| ValueCategory = lvalue
# 763| expr: [VariableAccess] p#0
# 763| expr: [VariableAccess] (unnamed parameter 0)
# 763| Type = [LValueReferenceType] const Derived &
# 763| ValueCategory = prvalue(load)
#-----| 2: [ReturnStmt] return ...
@@ -6431,7 +6431,7 @@ ir.cpp:
#-----| ValueCategory = prvalue(load)
# 763| [CopyConstructor] void Derived::Derived(Derived const&)
# 763| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Derived &
# 766| [Constructor] void Derived::Derived()
# 766| params:
@@ -6466,11 +6466,11 @@ ir.cpp:
# 769| ValueCategory = prvalue
# 772| [CopyAssignmentOperator] MiddleVB1& MiddleVB1::operator=(MiddleVB1 const&)
# 772| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const MiddleVB1 &
# 772| [CopyConstructor] void MiddleVB1::MiddleVB1(MiddleVB1 const&)
# 772| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const MiddleVB1 &
# 775| [Constructor] void MiddleVB1::MiddleVB1()
# 775| params:
@@ -6505,11 +6505,11 @@ ir.cpp:
# 778| ValueCategory = prvalue
# 781| [CopyAssignmentOperator] MiddleVB2& MiddleVB2::operator=(MiddleVB2 const&)
# 781| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const MiddleVB2 &
# 781| [CopyConstructor] void MiddleVB2::MiddleVB2(MiddleVB2 const&)
# 781| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const MiddleVB2 &
# 784| [Constructor] void MiddleVB2::MiddleVB2()
# 784| params:
@@ -6544,11 +6544,11 @@ ir.cpp:
# 787| ValueCategory = prvalue
# 790| [CopyAssignmentOperator] DerivedVB& DerivedVB::operator=(DerivedVB const&)
# 790| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const DerivedVB &
# 790| [CopyConstructor] void DerivedVB::DerivedVB(DerivedVB const&)
# 790| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const DerivedVB &
# 793| [Constructor] void DerivedVB::DerivedVB()
# 793| params:
@@ -7196,7 +7196,7 @@ ir.cpp:
# 840| 34: [ReturnStmt] return ...
# 842| [CopyAssignmentOperator] PolymorphicBase& PolymorphicBase::operator=(PolymorphicBase const&)
# 842| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const PolymorphicBase &
# 842| [Constructor] void PolymorphicBase::PolymorphicBase()
# 842| params:
@@ -7205,17 +7205,17 @@ ir.cpp:
# 842| 0: [ReturnStmt] return ...
# 842| [CopyConstructor] void PolymorphicBase::PolymorphicBase(PolymorphicBase const&)
# 842| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const PolymorphicBase &
# 843| [Destructor,VirtualFunction] void PolymorphicBase::~PolymorphicBase()
# 843| params:
# 846| [CopyAssignmentOperator] PolymorphicDerived& PolymorphicDerived::operator=(PolymorphicDerived const&)
# 846| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const PolymorphicDerived &
# 846| [MoveAssignmentOperator] PolymorphicDerived& PolymorphicDerived::operator=(PolymorphicDerived&&)
# 846| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] PolymorphicDerived &&
# 846| [Constructor] void PolymorphicDerived::PolymorphicDerived()
# 846| params:
@@ -7227,11 +7227,11 @@ ir.cpp:
# 846| 0: [ReturnStmt] return ...
# 846| [CopyConstructor] void PolymorphicDerived::PolymorphicDerived(PolymorphicDerived const&)
# 846| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const PolymorphicDerived &
# 846| [MoveConstructor] void PolymorphicDerived::PolymorphicDerived(PolymorphicDerived&&)
# 846| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] PolymorphicDerived &&
# 846| [Destructor,VirtualFunction] void PolymorphicDerived::~PolymorphicDerived()
# 846| params:
@@ -7764,111 +7764,111 @@ ir.cpp:
# 916| 2: [ReturnStmt] return ...
# 924| [Operator,TopLevelFunction] void* operator new(size_t, float)
# 924| params:
# 924| 0: [Parameter] p#0
# 924| 0: [Parameter] (unnamed parameter 0)
# 924| Type = [CTypedefType,Size_t] size_t
# 924| 1: [Parameter] p#1
# 924| 1: [Parameter] (unnamed parameter 1)
# 924| Type = [FloatType] float
# 925| [Operator,TopLevelFunction] void* operator new[](size_t, float)
# 925| params:
# 925| 0: [Parameter] p#0
# 925| 0: [Parameter] (unnamed parameter 0)
# 925| Type = [CTypedefType,Size_t] size_t
# 925| 1: [Parameter] p#1
# 925| 1: [Parameter] (unnamed parameter 1)
# 925| Type = [FloatType] float
# 926| [Operator,TopLevelFunction] void* operator new(size_t, std::align_val_t, float)
# 926| params:
# 926| 0: [Parameter] p#0
# 926| 0: [Parameter] (unnamed parameter 0)
# 926| Type = [CTypedefType,Size_t] size_t
# 926| 1: [Parameter] p#1
# 926| 1: [Parameter] (unnamed parameter 1)
# 926| Type = [ScopedEnum] align_val_t
# 926| 2: [Parameter] p#2
# 926| 2: [Parameter] (unnamed parameter 2)
# 926| Type = [FloatType] float
# 927| [Operator,TopLevelFunction] void* operator new[](size_t, std::align_val_t, float)
# 927| params:
# 927| 0: [Parameter] p#0
# 927| 0: [Parameter] (unnamed parameter 0)
# 927| Type = [CTypedefType,Size_t] size_t
# 927| 1: [Parameter] p#1
# 927| 1: [Parameter] (unnamed parameter 1)
# 927| Type = [ScopedEnum] align_val_t
# 927| 2: [Parameter] p#2
# 927| 2: [Parameter] (unnamed parameter 2)
# 927| Type = [FloatType] float
# 928| [Operator,TopLevelFunction] void operator delete(void*, float)
# 928| params:
# 928| 0: [Parameter] p#0
# 928| 0: [Parameter] (unnamed parameter 0)
# 928| Type = [VoidPointerType] void *
# 928| 1: [Parameter] p#1
# 928| 1: [Parameter] (unnamed parameter 1)
# 928| Type = [FloatType] float
# 929| [Operator,TopLevelFunction] void operator delete[](void*, float)
# 929| params:
# 929| 0: [Parameter] p#0
# 929| 0: [Parameter] (unnamed parameter 0)
# 929| Type = [VoidPointerType] void *
# 929| 1: [Parameter] p#1
# 929| 1: [Parameter] (unnamed parameter 1)
# 929| Type = [FloatType] float
# 930| [Operator,TopLevelFunction] void operator delete(void*, std::align_val_t, float)
# 930| params:
# 930| 0: [Parameter] p#0
# 930| 0: [Parameter] (unnamed parameter 0)
# 930| Type = [VoidPointerType] void *
# 930| 1: [Parameter] p#1
# 930| 1: [Parameter] (unnamed parameter 1)
# 930| Type = [ScopedEnum] align_val_t
# 930| 2: [Parameter] p#2
# 930| 2: [Parameter] (unnamed parameter 2)
# 930| Type = [FloatType] float
# 931| [Operator,TopLevelFunction] void operator delete[](void*, std::align_val_t, float)
# 931| params:
# 931| 0: [Parameter] p#0
# 931| 0: [Parameter] (unnamed parameter 0)
# 931| Type = [VoidPointerType] void *
# 931| 1: [Parameter] p#1
# 931| 1: [Parameter] (unnamed parameter 1)
# 931| Type = [ScopedEnum] align_val_t
# 931| 2: [Parameter] p#2
# 931| 2: [Parameter] (unnamed parameter 2)
# 931| Type = [FloatType] float
# 933| [CopyAssignmentOperator] SizedDealloc& SizedDealloc::operator=(SizedDealloc const&)
# 933| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const SizedDealloc &
# 933| [MoveAssignmentOperator] SizedDealloc& SizedDealloc::operator=(SizedDealloc&&)
# 933| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] SizedDealloc &&
# 935| [MemberFunction] void* SizedDealloc::operator new(size_t)
# 935| params:
# 935| 0: [Parameter] p#0
# 935| 0: [Parameter] (unnamed parameter 0)
# 935| Type = [CTypedefType,Size_t] size_t
# 936| [MemberFunction] void* SizedDealloc::operator new[](size_t)
# 936| params:
# 936| 0: [Parameter] p#0
# 936| 0: [Parameter] (unnamed parameter 0)
# 936| Type = [CTypedefType,Size_t] size_t
# 937| [MemberFunction] void SizedDealloc::operator delete(void*, size_t)
# 937| params:
# 937| 0: [Parameter] p#0
# 937| 0: [Parameter] (unnamed parameter 0)
# 937| Type = [VoidPointerType] void *
# 937| 1: [Parameter] p#1
# 937| 1: [Parameter] (unnamed parameter 1)
# 937| Type = [CTypedefType,Size_t] size_t
# 938| [MemberFunction] void SizedDealloc::operator delete[](void*, size_t)
# 938| params:
# 938| 0: [Parameter] p#0
# 938| 0: [Parameter] (unnamed parameter 0)
# 938| Type = [VoidPointerType] void *
# 938| 1: [Parameter] p#1
# 938| 1: [Parameter] (unnamed parameter 1)
# 938| Type = [CTypedefType,Size_t] size_t
# 941| [CopyAssignmentOperator] Overaligned& Overaligned::operator=(Overaligned const&)
# 941| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Overaligned &
# 941| [MoveAssignmentOperator] Overaligned& Overaligned::operator=(Overaligned&&)
# 941| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] Overaligned &&
# 945| [CopyAssignmentOperator] DefaultCtorWithDefaultParam& DefaultCtorWithDefaultParam::operator=(DefaultCtorWithDefaultParam const&)
# 945| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const DefaultCtorWithDefaultParam &
# 945| [MoveAssignmentOperator] DefaultCtorWithDefaultParam& DefaultCtorWithDefaultParam::operator=(DefaultCtorWithDefaultParam&&)
# 945| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] DefaultCtorWithDefaultParam &&
# 945| [CopyConstructor] void DefaultCtorWithDefaultParam::DefaultCtorWithDefaultParam(DefaultCtorWithDefaultParam const&)
# 945| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const DefaultCtorWithDefaultParam &
# 945| [MoveConstructor] void DefaultCtorWithDefaultParam::DefaultCtorWithDefaultParam(DefaultCtorWithDefaultParam&&)
# 945| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] DefaultCtorWithDefaultParam &&
# 946| [Constructor] void DefaultCtorWithDefaultParam::DefaultCtorWithDefaultParam(double)
# 946| params:
@@ -8438,11 +8438,11 @@ ir.cpp:
# 1030| 5: [ReturnStmt] return ...
# 1032| [CopyAssignmentOperator] EmptyStruct& EmptyStruct::operator=(EmptyStruct const&)
# 1032| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const EmptyStruct &
# 1032| [MoveAssignmentOperator] EmptyStruct& EmptyStruct::operator=(EmptyStruct&&)
# 1032| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] EmptyStruct &&
# 1034| [TopLevelFunction] void EmptyStructInit()
# 1034| params:
@@ -8457,15 +8457,15 @@ ir.cpp:
# 1036| 1: [ReturnStmt] return ...
# 1038| [CopyAssignmentOperator] (lambda [] type at line 1038, col. 12)& (lambda [] type at line 1038, col. 12)::operator=((lambda [] type at line 1038, col. 12) const&)
# 1038| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const lambda [] type at line 1038, col. 12 &
# 1038| [CopyConstructor] void (lambda [] type at line 1038, col. 12)::(unnamed constructor)((lambda [] type at line 1038, col. 12) const&)
# 1038| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const lambda [] type at line 1038, col. 12 &
# 1038| [MoveConstructor] void (lambda [] type at line 1038, col. 12)::(unnamed constructor)((lambda [] type at line 1038, col. 12)&&)
# 1038| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] lambda [] type at line 1038, col. 12 &&
# 1038| [Constructor] void (lambda [] type at line 1038, col. 12)::(unnamed constructor)()
# 1038| params:
@@ -8787,15 +8787,15 @@ ir.cpp:
# 1056| 15: [ReturnStmt] return ...
# 1041| [CopyAssignmentOperator] (void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23)& (void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23)::operator=((void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23) const&)
# 1041| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const lambda [] type at line 1041, col. 23 &
# 1041| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23) const&)
# 1041| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const lambda [] type at line 1041, col. 23 &
# 1041| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23)&&)
# 1041| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] lambda [] type at line 1041, col. 23 &&
# 1041| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1041, col. 23)::(unnamed constructor)()
# 1041| params:
@@ -8822,15 +8822,15 @@ ir.cpp:
# 1041| ValueCategory = prvalue(load)
# 1043| [CopyAssignmentOperator] (void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21)& (void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21)::operator=((void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21) const&)
# 1043| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const lambda [] type at line 1043, col. 21 &
# 1043| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21) const&)
# 1043| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const lambda [] type at line 1043, col. 21 &
# 1043| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21)&&)
# 1043| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] lambda [] type at line 1043, col. 21 &&
# 1043| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1043, col. 21)::(unnamed constructor)()
# 1043| params:
@@ -8866,15 +8866,15 @@ ir.cpp:
# 1043| ValueCategory = prvalue(load)
# 1045| [CopyAssignmentOperator] (void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21)& (void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21)::operator=((void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21) const&)
# 1045| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const lambda [] type at line 1045, col. 21 &
# 1045| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21) const&)
# 1045| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const lambda [] type at line 1045, col. 21 &
# 1045| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21)&&)
# 1045| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] lambda [] type at line 1045, col. 21 &&
# 1045| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1045, col. 21)::(unnamed constructor)()
# 1045| params:
@@ -8918,15 +8918,15 @@ ir.cpp:
# 1045| ValueCategory = prvalue(load)
# 1047| [CopyAssignmentOperator] (void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30)& (void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30)::operator=((void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30) const&)
# 1047| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const lambda [] type at line 1047, col. 30 &
# 1047| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30) const&)
# 1047| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const lambda [] type at line 1047, col. 30 &
# 1047| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30)&&)
# 1047| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] lambda [] type at line 1047, col. 30 &&
# 1047| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1047, col. 30)::(unnamed constructor)()
# 1047| params:
@@ -8957,15 +8957,15 @@ ir.cpp:
# 1047| ValueCategory = prvalue
# 1049| [CopyAssignmentOperator] (void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30)& (void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30)::operator=((void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30) const&)
# 1049| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const lambda [] type at line 1049, col. 30 &
# 1049| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30) const&)
# 1049| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const lambda [] type at line 1049, col. 30 &
# 1049| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30)&&)
# 1049| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] lambda [] type at line 1049, col. 30 &&
# 1049| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1049, col. 30)::(unnamed constructor)()
# 1049| params:
@@ -9007,15 +9007,15 @@ ir.cpp:
# 1049| ValueCategory = prvalue
# 1051| [CopyAssignmentOperator] (void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32)& (void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32)::operator=((void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32) const&)
# 1051| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const lambda [] type at line 1051, col. 32 &
# 1051| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32) const&)
# 1051| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const lambda [] type at line 1051, col. 32 &
# 1051| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32)&&)
# 1051| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] lambda [] type at line 1051, col. 32 &&
# 1051| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1051, col. 32)::(unnamed constructor)()
# 1051| params:
@@ -9048,15 +9048,15 @@ ir.cpp:
# 1051| ValueCategory = prvalue(load)
# 1054| [CopyAssignmentOperator] (void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23)& (void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23)::operator=((void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23) const&)
# 1054| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const lambda [] type at line 1054, col. 23 &
# 1054| [CopyConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23) const&)
# 1054| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const lambda [] type at line 1054, col. 23 &
# 1054| [MoveConstructor] void (void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23)::(unnamed constructor)((void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23)&&)
# 1054| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] lambda [] type at line 1054, col. 23 &&
# 1054| [Constructor] void (void Lambda(int, String const&))::(lambda [] type at line 1054, col. 23)::(unnamed constructor)()
# 1054| params:
@@ -9110,19 +9110,19 @@ ir.cpp:
# 1054| ValueCategory = prvalue(load)
# 1059| [CopyAssignmentOperator] vector<int>& vector<int>::operator=(vector<int> const&)
# 1059| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const vector<int> &
# 1059| [MoveAssignmentOperator] vector<int>& vector<int>::operator=(vector<int>&&)
# 1059| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] vector<int> &&
# 1060| [CopyAssignmentOperator] vector<int>::iterator& vector<int>::iterator::operator=(vector<int>::iterator const public&)
# 1060| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const iterator &
# 1060| [MoveAssignmentOperator] vector<int>::iterator& vector<int>::iterator::operator=(vector<int>::iterator&&)
# 1060| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] iterator &&
# 1062| [MemberFunction] vector<T>::iterator& vector<T>::iterator::operator++()
# 1062| params:
@@ -9319,15 +9319,15 @@ ir.cpp:
# 1129| 5: [ReturnStmt] return ...
# 1126| [TopLevelFunction] int f(float)
# 1126| params:
# 1126| 0: [Parameter] p#0
# 1126| 0: [Parameter] (unnamed parameter 0)
# 1126| Type = [FloatType] float
# 1127| [TopLevelFunction] int z(float)
# 1127| params:
# 1127| 0: [Parameter] p#0
# 1127| 0: [Parameter] (unnamed parameter 0)
# 1127| Type = [FloatType] float
# 1127| [TopLevelFunction] int w(float)
# 1127| params:
# 1127| 0: [Parameter] p#0
# 1127| 0: [Parameter] (unnamed parameter 0)
# 1127| Type = [FloatType] float
# 1137| [TopLevelFunction] void ExternDeclarationsInMacro()
# 1137| params:
@@ -10049,11 +10049,11 @@ ir.cpp:
# 1256| 3: [ReturnStmt] return ...
# 1258| [CopyAssignmentOperator] A& A::operator=(A const&)
# 1258| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const A &
# 1258| [MoveAssignmentOperator] A& A::operator=(A&&)
# 1258| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] A &&
# 1261| [MemberFunction] void A::static_member(A*, int)
# 1261| params:
@@ -10485,9 +10485,9 @@ ir.cpp:
# 1315| ValueCategory = prvalue(load)
# 1318| [Operator,TopLevelFunction] void* operator new(size_t, void*)
# 1318| params:
# 1318| 0: [Parameter] p#0
# 1318| 0: [Parameter] (unnamed parameter 0)
# 1318| Type = [CTypedefType,Size_t] size_t
# 1318| 1: [Parameter] p#1
# 1318| 1: [Parameter] (unnamed parameter 1)
# 1318| Type = [VoidPointerType] void *
# 1320| [TopLevelFunction] void f(int*)
# 1320| params:
@@ -10515,19 +10515,19 @@ ir.cpp:
perf-regression.cpp:
# 4| [CopyAssignmentOperator] Big& Big::operator=(Big const&)
# 4| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Big &
# 4| [MoveAssignmentOperator] Big& Big::operator=(Big&&)
# 4| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] Big &&
# 4| [CopyConstructor] void Big::Big(Big const&)
# 4| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Big &
# 4| [MoveConstructor] void Big::Big(Big&&)
# 4| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] Big &&
# 6| [Constructor] void Big::Big()
# 6| params:
@@ -10569,11 +10569,11 @@ struct_init.cpp:
# 2| Type = [VoidPointerType] void *
# 4| [CopyAssignmentOperator] Info& Info::operator=(Info const&)
# 4| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [LValueReferenceType] const Info &
# 4| [MoveAssignmentOperator] Info& Info::operator=(Info&&)
# 4| params:
#-----| 0: [Parameter] p#0
#-----| 0: [Parameter] (unnamed parameter 0)
#-----| Type = [RValueReferenceType] Info &&
# 16| [TopLevelFunction] void let_info_escape(Info*)
# 16| params:

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

@@ -3988,71 +3988,71 @@ ir.cpp:
# 745| Base& Base::operator=(Base const&)
# 745| Block 0
# 745| v745_1(void) = EnterFunction :
# 745| mu745_2(unknown) = AliasedDefinition :
# 745| mu745_3(unknown) = InitializeNonLocal :
# 745| r745_4(glval<unknown>) = VariableAddress[#this] :
# 745| mu745_5(glval<Base>) = InitializeParameter[#this] : &:r745_4
# 745| r745_6(glval<Base>) = Load : &:r745_4, ~m?
# 745| mu745_7(Base) = InitializeIndirection[#this] : &:r745_6
#-----| r0_1(glval<Base &>) = VariableAddress[p#0] :
#-----| mu0_2(Base &) = InitializeParameter[p#0] : &:r0_1
#-----| r0_3(Base &) = Load : &:r0_1, ~m?
#-----| mu0_4(unknown) = InitializeIndirection[p#0] : &:r0_3
# 745| r745_8(glval<unknown>) = VariableAddress[#this] :
# 745| r745_9(Base *) = Load : &:r745_8, ~m?
# 745| r745_10(glval<String>) = FieldAddress[base_s] : r745_9
# 745| r745_11(String *) = CopyValue : r745_10
# 745| r745_12(glval<unknown>) = FunctionAddress[operator=] :
# 745| r745_13(glval<Base &>) = VariableAddress[p#0] :
# 745| r745_14(Base &) = Load : &:r745_13, ~m?
#-----| r0_5(glval<Base>) = CopyValue : r745_14
# 745| r745_15(glval<String>) = FieldAddress[base_s] : r0_5
#-----| r0_6(String &) = CopyValue : r745_15
# 745| r745_16(String &) = Call : func:r745_12, this:r745_11, 0:r0_6
# 745| mu745_17(unknown) = ^CallSideEffect : ~m?
# 745| v745_18(void) = ^BufferReadSideEffect[-1] : &:r745_11, ~m?
#-----| v0_7(void) = ^BufferReadSideEffect[0] : &:r0_6, ~m?
# 745| mu745_19(String) = ^IndirectMayWriteSideEffect[-1] : &:r745_11
#-----| mu0_8(unknown) = ^BufferMayWriteSideEffect[0] : &:r0_6
#-----| r0_9(glval<String>) = CopyValue : r745_16
#-----| r0_10(glval<Base &>) = VariableAddress[#return] :
#-----| r0_11(glval<unknown>) = VariableAddress[#this] :
#-----| r0_12(Base *) = Load : &:r0_11, ~m?
#-----| r0_13(glval<Base>) = CopyValue : r0_12
#-----| r0_14(Base &) = CopyValue : r0_13
#-----| mu0_15(Base &) = Store : &:r0_10, r0_14
# 745| v745_20(void) = ReturnIndirection[#this] : &:r745_6, ~m?
#-----| v0_16(void) = ReturnIndirection[p#0] : &:r0_3, ~m?
# 745| r745_21(glval<Base &>) = VariableAddress[#return] :
# 745| v745_22(void) = ReturnValue : &:r745_21, ~m?
# 745| v745_23(void) = AliasedUse : ~m?
# 745| v745_24(void) = ExitFunction :
# 745| v745_1(void) = EnterFunction :
# 745| mu745_2(unknown) = AliasedDefinition :
# 745| mu745_3(unknown) = InitializeNonLocal :
# 745| r745_4(glval<unknown>) = VariableAddress[#this] :
# 745| mu745_5(glval<Base>) = InitializeParameter[#this] : &:r745_4
# 745| r745_6(glval<Base>) = Load : &:r745_4, ~m?
# 745| mu745_7(Base) = InitializeIndirection[#this] : &:r745_6
#-----| r0_1(glval<Base &>) = VariableAddress[(unnamed parameter 0)] :
#-----| mu0_2(Base &) = InitializeParameter[(unnamed parameter 0)] : &:r0_1
#-----| r0_3(Base &) = Load : &:r0_1, ~m?
#-----| mu0_4(unknown) = InitializeIndirection[(unnamed parameter 0)] : &:r0_3
# 745| r745_8(glval<unknown>) = VariableAddress[#this] :
# 745| r745_9(Base *) = Load : &:r745_8, ~m?
# 745| r745_10(glval<String>) = FieldAddress[base_s] : r745_9
# 745| r745_11(String *) = CopyValue : r745_10
# 745| r745_12(glval<unknown>) = FunctionAddress[operator=] :
# 745| r745_13(glval<Base &>) = VariableAddress[(unnamed parameter 0)] :
# 745| r745_14(Base &) = Load : &:r745_13, ~m?
#-----| r0_5(glval<Base>) = CopyValue : r745_14
# 745| r745_15(glval<String>) = FieldAddress[base_s] : r0_5
#-----| r0_6(String &) = CopyValue : r745_15
# 745| r745_16(String &) = Call : func:r745_12, this:r745_11, 0:r0_6
# 745| mu745_17(unknown) = ^CallSideEffect : ~m?
# 745| v745_18(void) = ^BufferReadSideEffect[-1] : &:r745_11, ~m?
#-----| v0_7(void) = ^BufferReadSideEffect[0] : &:r0_6, ~m?
# 745| mu745_19(String) = ^IndirectMayWriteSideEffect[-1] : &:r745_11
#-----| mu0_8(unknown) = ^BufferMayWriteSideEffect[0] : &:r0_6
#-----| r0_9(glval<String>) = CopyValue : r745_16
#-----| r0_10(glval<Base &>) = VariableAddress[#return] :
#-----| r0_11(glval<unknown>) = VariableAddress[#this] :
#-----| r0_12(Base *) = Load : &:r0_11, ~m?
#-----| r0_13(glval<Base>) = CopyValue : r0_12
#-----| r0_14(Base &) = CopyValue : r0_13
#-----| mu0_15(Base &) = Store : &:r0_10, r0_14
# 745| v745_20(void) = ReturnIndirection[#this] : &:r745_6, ~m?
#-----| v0_16(void) = ReturnIndirection[(unnamed parameter 0)] : &:r0_3, ~m?
# 745| r745_21(glval<Base &>) = VariableAddress[#return] :
# 745| v745_22(void) = ReturnValue : &:r745_21, ~m?
# 745| v745_23(void) = AliasedUse : ~m?
# 745| v745_24(void) = ExitFunction :
# 745| void Base::Base(Base const&)
# 745| Block 0
# 745| v745_1(void) = EnterFunction :
# 745| mu745_2(unknown) = AliasedDefinition :
# 745| mu745_3(unknown) = InitializeNonLocal :
# 745| r745_4(glval<unknown>) = VariableAddress[#this] :
# 745| mu745_5(glval<Base>) = InitializeParameter[#this] : &:r745_4
# 745| r745_6(glval<Base>) = Load : &:r745_4, ~m?
# 745| mu745_7(Base) = InitializeIndirection[#this] : &:r745_6
#-----| r0_1(glval<Base &>) = VariableAddress[p#0] :
#-----| mu0_2(Base &) = InitializeParameter[p#0] : &:r0_1
#-----| r0_3(Base &) = Load : &:r0_1, ~m?
#-----| mu0_4(unknown) = InitializeIndirection[p#0] : &:r0_3
# 745| r745_8(glval<String>) = FieldAddress[base_s] : mu745_5
# 745| r745_9(glval<unknown>) = FunctionAddress[String] :
# 745| v745_10(void) = Call : func:r745_9, this:r745_8
# 745| mu745_11(unknown) = ^CallSideEffect : ~m?
# 745| mu745_12(String) = ^IndirectMayWriteSideEffect[-1] : &:r745_8
# 745| v745_13(void) = NoOp :
# 745| v745_14(void) = ReturnIndirection[#this] : &:r745_6, ~m?
#-----| v0_5(void) = ReturnIndirection[p#0] : &:r0_3, ~m?
# 745| v745_15(void) = ReturnVoid :
# 745| v745_16(void) = AliasedUse : ~m?
# 745| v745_17(void) = ExitFunction :
# 745| v745_1(void) = EnterFunction :
# 745| mu745_2(unknown) = AliasedDefinition :
# 745| mu745_3(unknown) = InitializeNonLocal :
# 745| r745_4(glval<unknown>) = VariableAddress[#this] :
# 745| mu745_5(glval<Base>) = InitializeParameter[#this] : &:r745_4
# 745| r745_6(glval<Base>) = Load : &:r745_4, ~m?
# 745| mu745_7(Base) = InitializeIndirection[#this] : &:r745_6
#-----| r0_1(glval<Base &>) = VariableAddress[(unnamed parameter 0)] :
#-----| mu0_2(Base &) = InitializeParameter[(unnamed parameter 0)] : &:r0_1
#-----| r0_3(Base &) = Load : &:r0_1, ~m?
#-----| mu0_4(unknown) = InitializeIndirection[(unnamed parameter 0)] : &:r0_3
# 745| r745_8(glval<String>) = FieldAddress[base_s] : mu745_5
# 745| r745_9(glval<unknown>) = FunctionAddress[String] :
# 745| v745_10(void) = Call : func:r745_9, this:r745_8
# 745| mu745_11(unknown) = ^CallSideEffect : ~m?
# 745| mu745_12(String) = ^IndirectMayWriteSideEffect[-1] : &:r745_8
# 745| v745_13(void) = NoOp :
# 745| v745_14(void) = ReturnIndirection[#this] : &:r745_6, ~m?
#-----| v0_5(void) = ReturnIndirection[(unnamed parameter 0)] : &:r0_3, ~m?
# 745| v745_15(void) = ReturnVoid :
# 745| v745_16(void) = AliasedUse : ~m?
# 745| v745_17(void) = ExitFunction :
# 748| void Base::Base()
# 748| Block 0
@@ -4095,64 +4095,64 @@ ir.cpp:
# 754| Middle& Middle::operator=(Middle const&)
# 754| Block 0
# 754| v754_1(void) = EnterFunction :
# 754| mu754_2(unknown) = AliasedDefinition :
# 754| mu754_3(unknown) = InitializeNonLocal :
# 754| r754_4(glval<unknown>) = VariableAddress[#this] :
# 754| mu754_5(glval<Middle>) = InitializeParameter[#this] : &:r754_4
# 754| r754_6(glval<Middle>) = Load : &:r754_4, ~m?
# 754| mu754_7(Middle) = InitializeIndirection[#this] : &:r754_6
#-----| r0_1(glval<Middle &>) = VariableAddress[p#0] :
#-----| mu0_2(Middle &) = InitializeParameter[p#0] : &:r0_1
#-----| r0_3(Middle &) = Load : &:r0_1, ~m?
#-----| mu0_4(unknown) = InitializeIndirection[p#0] : &:r0_3
# 754| r754_8(glval<unknown>) = VariableAddress[#this] :
# 754| r754_9(Middle *) = Load : &:r754_8, ~m?
#-----| r0_5(Base *) = ConvertToNonVirtualBase[Middle : Base] : r754_9
# 754| r754_10(glval<unknown>) = FunctionAddress[operator=] :
# 754| r754_11(glval<Middle &>) = VariableAddress[p#0] :
# 754| r754_12(Middle &) = Load : &:r754_11, ~m?
#-----| r0_6(glval<Middle>) = CopyValue : r754_12
# 754| r754_13(Middle *) = CopyValue : r0_6
#-----| r0_7(Base *) = ConvertToNonVirtualBase[Middle : Base] : r754_13
# 754| r754_14(glval<Base>) = CopyValue : r0_7
#-----| r0_8(Base &) = CopyValue : r754_14
# 754| r754_15(Base &) = Call : func:r754_10, this:r0_5, 0:r0_8
# 754| mu754_16(unknown) = ^CallSideEffect : ~m?
#-----| v0_9(void) = ^BufferReadSideEffect[-1] : &:r0_5, ~m?
#-----| v0_10(void) = ^BufferReadSideEffect[0] : &:r0_8, ~m?
#-----| mu0_11(Base) = ^IndirectMayWriteSideEffect[-1] : &:r0_5
#-----| mu0_12(unknown) = ^BufferMayWriteSideEffect[0] : &:r0_8
#-----| r0_13(glval<Base>) = CopyValue : r754_15
# 754| r754_17(glval<unknown>) = VariableAddress[#this] :
# 754| r754_18(Middle *) = Load : &:r754_17, ~m?
# 754| r754_19(glval<String>) = FieldAddress[middle_s] : r754_18
# 754| r754_20(String *) = CopyValue : r754_19
# 754| r754_21(glval<unknown>) = FunctionAddress[operator=] :
# 754| r754_22(glval<Middle &>) = VariableAddress[p#0] :
# 754| r754_23(Middle &) = Load : &:r754_22, ~m?
#-----| r0_14(glval<Middle>) = CopyValue : r754_23
# 754| r754_24(glval<String>) = FieldAddress[middle_s] : r0_14
#-----| r0_15(String &) = CopyValue : r754_24
# 754| r754_25(String &) = Call : func:r754_21, this:r754_20, 0:r0_15
# 754| mu754_26(unknown) = ^CallSideEffect : ~m?
# 754| v754_27(void) = ^BufferReadSideEffect[-1] : &:r754_20, ~m?
#-----| v0_16(void) = ^BufferReadSideEffect[0] : &:r0_15, ~m?
# 754| mu754_28(String) = ^IndirectMayWriteSideEffect[-1] : &:r754_20
#-----| mu0_17(unknown) = ^BufferMayWriteSideEffect[0] : &:r0_15
#-----| r0_18(glval<String>) = CopyValue : r754_25
#-----| r0_19(glval<Middle &>) = VariableAddress[#return] :
#-----| r0_20(glval<unknown>) = VariableAddress[#this] :
#-----| r0_21(Middle *) = Load : &:r0_20, ~m?
#-----| r0_22(glval<Middle>) = CopyValue : r0_21
#-----| r0_23(Middle &) = CopyValue : r0_22
#-----| mu0_24(Middle &) = Store : &:r0_19, r0_23
# 754| v754_29(void) = ReturnIndirection[#this] : &:r754_6, ~m?
#-----| v0_25(void) = ReturnIndirection[p#0] : &:r0_3, ~m?
# 754| r754_30(glval<Middle &>) = VariableAddress[#return] :
# 754| v754_31(void) = ReturnValue : &:r754_30, ~m?
# 754| v754_32(void) = AliasedUse : ~m?
# 754| v754_33(void) = ExitFunction :
# 754| v754_1(void) = EnterFunction :
# 754| mu754_2(unknown) = AliasedDefinition :
# 754| mu754_3(unknown) = InitializeNonLocal :
# 754| r754_4(glval<unknown>) = VariableAddress[#this] :
# 754| mu754_5(glval<Middle>) = InitializeParameter[#this] : &:r754_4
# 754| r754_6(glval<Middle>) = Load : &:r754_4, ~m?
# 754| mu754_7(Middle) = InitializeIndirection[#this] : &:r754_6
#-----| r0_1(glval<Middle &>) = VariableAddress[(unnamed parameter 0)] :
#-----| mu0_2(Middle &) = InitializeParameter[(unnamed parameter 0)] : &:r0_1
#-----| r0_3(Middle &) = Load : &:r0_1, ~m?
#-----| mu0_4(unknown) = InitializeIndirection[(unnamed parameter 0)] : &:r0_3
# 754| r754_8(glval<unknown>) = VariableAddress[#this] :
# 754| r754_9(Middle *) = Load : &:r754_8, ~m?
#-----| r0_5(Base *) = ConvertToNonVirtualBase[Middle : Base] : r754_9
# 754| r754_10(glval<unknown>) = FunctionAddress[operator=] :
# 754| r754_11(glval<Middle &>) = VariableAddress[(unnamed parameter 0)] :
# 754| r754_12(Middle &) = Load : &:r754_11, ~m?
#-----| r0_6(glval<Middle>) = CopyValue : r754_12
# 754| r754_13(Middle *) = CopyValue : r0_6
#-----| r0_7(Base *) = ConvertToNonVirtualBase[Middle : Base] : r754_13
# 754| r754_14(glval<Base>) = CopyValue : r0_7
#-----| r0_8(Base &) = CopyValue : r754_14
# 754| r754_15(Base &) = Call : func:r754_10, this:r0_5, 0:r0_8
# 754| mu754_16(unknown) = ^CallSideEffect : ~m?
#-----| v0_9(void) = ^BufferReadSideEffect[-1] : &:r0_5, ~m?
#-----| v0_10(void) = ^BufferReadSideEffect[0] : &:r0_8, ~m?
#-----| mu0_11(Base) = ^IndirectMayWriteSideEffect[-1] : &:r0_5
#-----| mu0_12(unknown) = ^BufferMayWriteSideEffect[0] : &:r0_8
#-----| r0_13(glval<Base>) = CopyValue : r754_15
# 754| r754_17(glval<unknown>) = VariableAddress[#this] :
# 754| r754_18(Middle *) = Load : &:r754_17, ~m?
# 754| r754_19(glval<String>) = FieldAddress[middle_s] : r754_18
# 754| r754_20(String *) = CopyValue : r754_19
# 754| r754_21(glval<unknown>) = FunctionAddress[operator=] :
# 754| r754_22(glval<Middle &>) = VariableAddress[(unnamed parameter 0)] :
# 754| r754_23(Middle &) = Load : &:r754_22, ~m?
#-----| r0_14(glval<Middle>) = CopyValue : r754_23
# 754| r754_24(glval<String>) = FieldAddress[middle_s] : r0_14
#-----| r0_15(String &) = CopyValue : r754_24
# 754| r754_25(String &) = Call : func:r754_21, this:r754_20, 0:r0_15
# 754| mu754_26(unknown) = ^CallSideEffect : ~m?
# 754| v754_27(void) = ^BufferReadSideEffect[-1] : &:r754_20, ~m?
#-----| v0_16(void) = ^BufferReadSideEffect[0] : &:r0_15, ~m?
# 754| mu754_28(String) = ^IndirectMayWriteSideEffect[-1] : &:r754_20
#-----| mu0_17(unknown) = ^BufferMayWriteSideEffect[0] : &:r0_15
#-----| r0_18(glval<String>) = CopyValue : r754_25
#-----| r0_19(glval<Middle &>) = VariableAddress[#return] :
#-----| r0_20(glval<unknown>) = VariableAddress[#this] :
#-----| r0_21(Middle *) = Load : &:r0_20, ~m?
#-----| r0_22(glval<Middle>) = CopyValue : r0_21
#-----| r0_23(Middle &) = CopyValue : r0_22
#-----| mu0_24(Middle &) = Store : &:r0_19, r0_23
# 754| v754_29(void) = ReturnIndirection[#this] : &:r754_6, ~m?
#-----| v0_25(void) = ReturnIndirection[(unnamed parameter 0)] : &:r0_3, ~m?
# 754| r754_30(glval<Middle &>) = VariableAddress[#return] :
# 754| v754_31(void) = ReturnValue : &:r754_30, ~m?
# 754| v754_32(void) = AliasedUse : ~m?
# 754| v754_33(void) = ExitFunction :
# 757| void Middle::Middle()
# 757| Block 0
@@ -4204,64 +4204,64 @@ ir.cpp:
# 763| Derived& Derived::operator=(Derived const&)
# 763| Block 0
# 763| v763_1(void) = EnterFunction :
# 763| mu763_2(unknown) = AliasedDefinition :
# 763| mu763_3(unknown) = InitializeNonLocal :
# 763| r763_4(glval<unknown>) = VariableAddress[#this] :
# 763| mu763_5(glval<Derived>) = InitializeParameter[#this] : &:r763_4
# 763| r763_6(glval<Derived>) = Load : &:r763_4, ~m?
# 763| mu763_7(Derived) = InitializeIndirection[#this] : &:r763_6
#-----| r0_1(glval<Derived &>) = VariableAddress[p#0] :
#-----| mu0_2(Derived &) = InitializeParameter[p#0] : &:r0_1
#-----| r0_3(Derived &) = Load : &:r0_1, ~m?
#-----| mu0_4(unknown) = InitializeIndirection[p#0] : &:r0_3
# 763| r763_8(glval<unknown>) = VariableAddress[#this] :
# 763| r763_9(Derived *) = Load : &:r763_8, ~m?
#-----| r0_5(Middle *) = ConvertToNonVirtualBase[Derived : Middle] : r763_9
# 763| r763_10(glval<unknown>) = FunctionAddress[operator=] :
# 763| r763_11(glval<Derived &>) = VariableAddress[p#0] :
# 763| r763_12(Derived &) = Load : &:r763_11, ~m?
#-----| r0_6(glval<Derived>) = CopyValue : r763_12
# 763| r763_13(Derived *) = CopyValue : r0_6
#-----| r0_7(Middle *) = ConvertToNonVirtualBase[Derived : Middle] : r763_13
# 763| r763_14(glval<Middle>) = CopyValue : r0_7
#-----| r0_8(Middle &) = CopyValue : r763_14
# 763| r763_15(Middle &) = Call : func:r763_10, this:r0_5, 0:r0_8
# 763| mu763_16(unknown) = ^CallSideEffect : ~m?
#-----| v0_9(void) = ^BufferReadSideEffect[-1] : &:r0_5, ~m?
#-----| v0_10(void) = ^BufferReadSideEffect[0] : &:r0_8, ~m?
#-----| mu0_11(Middle) = ^IndirectMayWriteSideEffect[-1] : &:r0_5
#-----| mu0_12(unknown) = ^BufferMayWriteSideEffect[0] : &:r0_8
#-----| r0_13(glval<Middle>) = CopyValue : r763_15
# 763| r763_17(glval<unknown>) = VariableAddress[#this] :
# 763| r763_18(Derived *) = Load : &:r763_17, ~m?
# 763| r763_19(glval<String>) = FieldAddress[derived_s] : r763_18
# 763| r763_20(String *) = CopyValue : r763_19
# 763| r763_21(glval<unknown>) = FunctionAddress[operator=] :
# 763| r763_22(glval<Derived &>) = VariableAddress[p#0] :
# 763| r763_23(Derived &) = Load : &:r763_22, ~m?
#-----| r0_14(glval<Derived>) = CopyValue : r763_23
# 763| r763_24(glval<String>) = FieldAddress[derived_s] : r0_14
#-----| r0_15(String &) = CopyValue : r763_24
# 763| r763_25(String &) = Call : func:r763_21, this:r763_20, 0:r0_15
# 763| mu763_26(unknown) = ^CallSideEffect : ~m?
# 763| v763_27(void) = ^BufferReadSideEffect[-1] : &:r763_20, ~m?
#-----| v0_16(void) = ^BufferReadSideEffect[0] : &:r0_15, ~m?
# 763| mu763_28(String) = ^IndirectMayWriteSideEffect[-1] : &:r763_20
#-----| mu0_17(unknown) = ^BufferMayWriteSideEffect[0] : &:r0_15
#-----| r0_18(glval<String>) = CopyValue : r763_25
#-----| r0_19(glval<Derived &>) = VariableAddress[#return] :
#-----| r0_20(glval<unknown>) = VariableAddress[#this] :
#-----| r0_21(Derived *) = Load : &:r0_20, ~m?
#-----| r0_22(glval<Derived>) = CopyValue : r0_21
#-----| r0_23(Derived &) = CopyValue : r0_22
#-----| mu0_24(Derived &) = Store : &:r0_19, r0_23
# 763| v763_29(void) = ReturnIndirection[#this] : &:r763_6, ~m?
#-----| v0_25(void) = ReturnIndirection[p#0] : &:r0_3, ~m?
# 763| r763_30(glval<Derived &>) = VariableAddress[#return] :
# 763| v763_31(void) = ReturnValue : &:r763_30, ~m?
# 763| v763_32(void) = AliasedUse : ~m?
# 763| v763_33(void) = ExitFunction :
# 763| v763_1(void) = EnterFunction :
# 763| mu763_2(unknown) = AliasedDefinition :
# 763| mu763_3(unknown) = InitializeNonLocal :
# 763| r763_4(glval<unknown>) = VariableAddress[#this] :
# 763| mu763_5(glval<Derived>) = InitializeParameter[#this] : &:r763_4
# 763| r763_6(glval<Derived>) = Load : &:r763_4, ~m?
# 763| mu763_7(Derived) = InitializeIndirection[#this] : &:r763_6
#-----| r0_1(glval<Derived &>) = VariableAddress[(unnamed parameter 0)] :
#-----| mu0_2(Derived &) = InitializeParameter[(unnamed parameter 0)] : &:r0_1
#-----| r0_3(Derived &) = Load : &:r0_1, ~m?
#-----| mu0_4(unknown) = InitializeIndirection[(unnamed parameter 0)] : &:r0_3
# 763| r763_8(glval<unknown>) = VariableAddress[#this] :
# 763| r763_9(Derived *) = Load : &:r763_8, ~m?
#-----| r0_5(Middle *) = ConvertToNonVirtualBase[Derived : Middle] : r763_9
# 763| r763_10(glval<unknown>) = FunctionAddress[operator=] :
# 763| r763_11(glval<Derived &>) = VariableAddress[(unnamed parameter 0)] :
# 763| r763_12(Derived &) = Load : &:r763_11, ~m?
#-----| r0_6(glval<Derived>) = CopyValue : r763_12
# 763| r763_13(Derived *) = CopyValue : r0_6
#-----| r0_7(Middle *) = ConvertToNonVirtualBase[Derived : Middle] : r763_13
# 763| r763_14(glval<Middle>) = CopyValue : r0_7
#-----| r0_8(Middle &) = CopyValue : r763_14
# 763| r763_15(Middle &) = Call : func:r763_10, this:r0_5, 0:r0_8
# 763| mu763_16(unknown) = ^CallSideEffect : ~m?
#-----| v0_9(void) = ^BufferReadSideEffect[-1] : &:r0_5, ~m?
#-----| v0_10(void) = ^BufferReadSideEffect[0] : &:r0_8, ~m?
#-----| mu0_11(Middle) = ^IndirectMayWriteSideEffect[-1] : &:r0_5
#-----| mu0_12(unknown) = ^BufferMayWriteSideEffect[0] : &:r0_8
#-----| r0_13(glval<Middle>) = CopyValue : r763_15
# 763| r763_17(glval<unknown>) = VariableAddress[#this] :
# 763| r763_18(Derived *) = Load : &:r763_17, ~m?
# 763| r763_19(glval<String>) = FieldAddress[derived_s] : r763_18
# 763| r763_20(String *) = CopyValue : r763_19
# 763| r763_21(glval<unknown>) = FunctionAddress[operator=] :
# 763| r763_22(glval<Derived &>) = VariableAddress[(unnamed parameter 0)] :
# 763| r763_23(Derived &) = Load : &:r763_22, ~m?
#-----| r0_14(glval<Derived>) = CopyValue : r763_23
# 763| r763_24(glval<String>) = FieldAddress[derived_s] : r0_14
#-----| r0_15(String &) = CopyValue : r763_24
# 763| r763_25(String &) = Call : func:r763_21, this:r763_20, 0:r0_15
# 763| mu763_26(unknown) = ^CallSideEffect : ~m?
# 763| v763_27(void) = ^BufferReadSideEffect[-1] : &:r763_20, ~m?
#-----| v0_16(void) = ^BufferReadSideEffect[0] : &:r0_15, ~m?
# 763| mu763_28(String) = ^IndirectMayWriteSideEffect[-1] : &:r763_20
#-----| mu0_17(unknown) = ^BufferMayWriteSideEffect[0] : &:r0_15
#-----| r0_18(glval<String>) = CopyValue : r763_25
#-----| r0_19(glval<Derived &>) = VariableAddress[#return] :
#-----| r0_20(glval<unknown>) = VariableAddress[#this] :
#-----| r0_21(Derived *) = Load : &:r0_20, ~m?
#-----| r0_22(glval<Derived>) = CopyValue : r0_21
#-----| r0_23(Derived &) = CopyValue : r0_22
#-----| mu0_24(Derived &) = Store : &:r0_19, r0_23
# 763| v763_29(void) = ReturnIndirection[#this] : &:r763_6, ~m?
#-----| v0_25(void) = ReturnIndirection[(unnamed parameter 0)] : &:r0_3, ~m?
# 763| r763_30(glval<Derived &>) = VariableAddress[#return] :
# 763| v763_31(void) = ReturnValue : &:r763_30, ~m?
# 763| v763_32(void) = AliasedUse : ~m?
# 763| v763_33(void) = ExitFunction :
# 766| void Derived::Derived()
# 766| Block 0

36
cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir.expected
View File

@@ -1316,24 +1316,24 @@ ssa.cpp:
# 287| void A::A(A*)
# 287| Block 0
# 287| v287_1(void) = EnterFunction :
# 287| m287_2(unknown) = AliasedDefinition :
# 287| m287_3(unknown) = InitializeNonLocal :
# 287| m287_4(unknown) = Chi : total:m287_2, partial:m287_3
# 287| r287_5(glval<unknown>) = VariableAddress[#this] :
# 287| m287_6(glval<A>) = InitializeParameter[#this] : &:r287_5
# 287| r287_7(glval<A>) = Load : &:r287_5, m287_6
# 287| m287_8(A) = InitializeIndirection[#this] : &:r287_7
# 287| r287_9(glval<A *>) = VariableAddress[p#0] :
# 287| m287_10(A *) = InitializeParameter[p#0] : &:r287_9
# 287| r287_11(A *) = Load : &:r287_9, m287_10
# 287| m287_12(unknown) = InitializeIndirection[p#0] : &:r287_11
# 287| v287_13(void) = NoOp :
# 287| v287_14(void) = ReturnIndirection[#this] : &:r287_7, m287_8
# 287| v287_15(void) = ReturnIndirection[p#0] : &:r287_11, m287_12
# 287| v287_16(void) = ReturnVoid :
# 287| v287_17(void) = AliasedUse : m287_3
# 287| v287_18(void) = ExitFunction :
# 287| v287_1(void) = EnterFunction :
# 287| m287_2(unknown) = AliasedDefinition :
# 287| m287_3(unknown) = InitializeNonLocal :
# 287| m287_4(unknown) = Chi : total:m287_2, partial:m287_3
# 287| r287_5(glval<unknown>) = VariableAddress[#this] :
# 287| m287_6(glval<A>) = InitializeParameter[#this] : &:r287_5
# 287| r287_7(glval<A>) = Load : &:r287_5, m287_6
# 287| m287_8(A) = InitializeIndirection[#this] : &:r287_7
# 287| r287_9(glval<A *>) = VariableAddress[(unnamed parameter 0)] :
# 287| m287_10(A *) = InitializeParameter[(unnamed parameter 0)] : &:r287_9
# 287| r287_11(A *) = Load : &:r287_9, m287_10
# 287| m287_12(unknown) = InitializeIndirection[(unnamed parameter 0)] : &:r287_11
# 287| v287_13(void) = NoOp :
# 287| v287_14(void) = ReturnIndirection[#this] : &:r287_7, m287_8
# 287| v287_15(void) = ReturnIndirection[(unnamed parameter 0)] : &:r287_11, m287_12
# 287| v287_16(void) = ReturnVoid :
# 287| v287_17(void) = AliasedUse : m287_3
# 287| v287_18(void) = ExitFunction :
# 288| void A::A()
# 288| Block 0

36
cpp/ql/test/library-tests/ir/ssa/aliased_ssa_ir_unsound.expected
View File

@@ -1304,24 +1304,24 @@ ssa.cpp:
# 287| void A::A(A*)
# 287| Block 0
# 287| v287_1(void) = EnterFunction :
# 287| m287_2(unknown) = AliasedDefinition :
# 287| m287_3(unknown) = InitializeNonLocal :
# 287| m287_4(unknown) = Chi : total:m287_2, partial:m287_3
# 287| r287_5(glval<unknown>) = VariableAddress[#this] :
# 287| m287_6(glval<A>) = InitializeParameter[#this] : &:r287_5
# 287| r287_7(glval<A>) = Load : &:r287_5, m287_6
# 287| m287_8(A) = InitializeIndirection[#this] : &:r287_7
# 287| r287_9(glval<A *>) = VariableAddress[p#0] :
# 287| m287_10(A *) = InitializeParameter[p#0] : &:r287_9
# 287| r287_11(A *) = Load : &:r287_9, m287_10
# 287| m287_12(unknown) = InitializeIndirection[p#0] : &:r287_11
# 287| v287_13(void) = NoOp :
# 287| v287_14(void) = ReturnIndirection[#this] : &:r287_7, m287_8
# 287| v287_15(void) = ReturnIndirection[p#0] : &:r287_11, m287_12
# 287| v287_16(void) = ReturnVoid :
# 287| v287_17(void) = AliasedUse : m287_3
# 287| v287_18(void) = ExitFunction :
# 287| v287_1(void) = EnterFunction :
# 287| m287_2(unknown) = AliasedDefinition :
# 287| m287_3(unknown) = InitializeNonLocal :
# 287| m287_4(unknown) = Chi : total:m287_2, partial:m287_3
# 287| r287_5(glval<unknown>) = VariableAddress[#this] :
# 287| m287_6(glval<A>) = InitializeParameter[#this] : &:r287_5
# 287| r287_7(glval<A>) = Load : &:r287_5, m287_6
# 287| m287_8(A) = InitializeIndirection[#this] : &:r287_7
# 287| r287_9(glval<A *>) = VariableAddress[(unnamed parameter 0)] :
# 287| m287_10(A *) = InitializeParameter[(unnamed parameter 0)] : &:r287_9
# 287| r287_11(A *) = Load : &:r287_9, m287_10
# 287| m287_12(unknown) = InitializeIndirection[(unnamed parameter 0)] : &:r287_11
# 287| v287_13(void) = NoOp :
# 287| v287_14(void) = ReturnIndirection[#this] : &:r287_7, m287_8
# 287| v287_15(void) = ReturnIndirection[(unnamed parameter 0)] : &:r287_11, m287_12
# 287| v287_16(void) = ReturnVoid :
# 287| v287_17(void) = AliasedUse : m287_3
# 287| v287_18(void) = ExitFunction :
# 288| void A::A()
# 288| Block 0

34
cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_ir.expected
View File

@@ -1207,23 +1207,23 @@ ssa.cpp:
# 287| void A::A(A*)
# 287| Block 0
# 287| v287_1(void) = EnterFunction :
# 287| mu287_2(unknown) = AliasedDefinition :
# 287| mu287_3(unknown) = InitializeNonLocal :
# 287| r287_4(glval<unknown>) = VariableAddress[#this] :
# 287| m287_5(glval<A>) = InitializeParameter[#this] : &:r287_4
# 287| r287_6(glval<A>) = Load : &:r287_4, m287_5
# 287| mu287_7(A) = InitializeIndirection[#this] : &:r287_6
# 287| r287_8(glval<A *>) = VariableAddress[p#0] :
# 287| m287_9(A *) = InitializeParameter[p#0] : &:r287_8
# 287| r287_10(A *) = Load : &:r287_8, m287_9
# 287| mu287_11(unknown) = InitializeIndirection[p#0] : &:r287_10
# 287| v287_12(void) = NoOp :
# 287| v287_13(void) = ReturnIndirection[#this] : &:r287_6, ~m?
# 287| v287_14(void) = ReturnIndirection[p#0] : &:r287_10, ~m?
# 287| v287_15(void) = ReturnVoid :
# 287| v287_16(void) = AliasedUse : ~m?
# 287| v287_17(void) = ExitFunction :
# 287| v287_1(void) = EnterFunction :
# 287| mu287_2(unknown) = AliasedDefinition :
# 287| mu287_3(unknown) = InitializeNonLocal :
# 287| r287_4(glval<unknown>) = VariableAddress[#this] :
# 287| m287_5(glval<A>) = InitializeParameter[#this] : &:r287_4
# 287| r287_6(glval<A>) = Load : &:r287_4, m287_5
# 287| mu287_7(A) = InitializeIndirection[#this] : &:r287_6
# 287| r287_8(glval<A *>) = VariableAddress[(unnamed parameter 0)] :
# 287| m287_9(A *) = InitializeParameter[(unnamed parameter 0)] : &:r287_8
# 287| r287_10(A *) = Load : &:r287_8, m287_9
# 287| mu287_11(unknown) = InitializeIndirection[(unnamed parameter 0)] : &:r287_10
# 287| v287_12(void) = NoOp :
# 287| v287_13(void) = ReturnIndirection[#this] : &:r287_6, ~m?
# 287| v287_14(void) = ReturnIndirection[(unnamed parameter 0)] : &:r287_10, ~m?
# 287| v287_15(void) = ReturnVoid :
# 287| v287_16(void) = AliasedUse : ~m?
# 287| v287_17(void) = ExitFunction :
# 288| void A::A()
# 288| Block 0

34
cpp/ql/test/library-tests/ir/ssa/unaliased_ssa_ir_unsound.expected
View File

@@ -1207,23 +1207,23 @@ ssa.cpp:
# 287| void A::A(A*)
# 287| Block 0
# 287| v287_1(void) = EnterFunction :
# 287| mu287_2(unknown) = AliasedDefinition :
# 287| mu287_3(unknown) = InitializeNonLocal :
# 287| r287_4(glval<unknown>) = VariableAddress[#this] :
# 287| m287_5(glval<A>) = InitializeParameter[#this] : &:r287_4
# 287| r287_6(glval<A>) = Load : &:r287_4, m287_5
# 287| mu287_7(A) = InitializeIndirection[#this] : &:r287_6
# 287| r287_8(glval<A *>) = VariableAddress[p#0] :
# 287| m287_9(A *) = InitializeParameter[p#0] : &:r287_8
# 287| r287_10(A *) = Load : &:r287_8, m287_9
# 287| mu287_11(unknown) = InitializeIndirection[p#0] : &:r287_10
# 287| v287_12(void) = NoOp :
# 287| v287_13(void) = ReturnIndirection[#this] : &:r287_6, ~m?
# 287| v287_14(void) = ReturnIndirection[p#0] : &:r287_10, ~m?
# 287| v287_15(void) = ReturnVoid :
# 287| v287_16(void) = AliasedUse : ~m?
# 287| v287_17(void) = ExitFunction :
# 287| v287_1(void) = EnterFunction :
# 287| mu287_2(unknown) = AliasedDefinition :
# 287| mu287_3(unknown) = InitializeNonLocal :
# 287| r287_4(glval<unknown>) = VariableAddress[#this] :
# 287| m287_5(glval<A>) = InitializeParameter[#this] : &:r287_4
# 287| r287_6(glval<A>) = Load : &:r287_4, m287_5
# 287| mu287_7(A) = InitializeIndirection[#this] : &:r287_6
# 287| r287_8(glval<A *>) = VariableAddress[(unnamed parameter 0)] :
# 287| m287_9(A *) = InitializeParameter[(unnamed parameter 0)] : &:r287_8
# 287| r287_10(A *) = Load : &:r287_8, m287_9
# 287| mu287_11(unknown) = InitializeIndirection[(unnamed parameter 0)] : &:r287_10
# 287| v287_12(void) = NoOp :
# 287| v287_13(void) = ReturnIndirection[#this] : &:r287_6, ~m?
# 287| v287_14(void) = ReturnIndirection[(unnamed parameter 0)] : &:r287_10, ~m?
# 287| v287_15(void) = ReturnVoid :
# 287| v287_16(void) = AliasedUse : ~m?
# 287| v287_17(void) = ExitFunction :
# 288| void A::A()
# 288| Block 0

38
cpp/ql/test/library-tests/lambdas/captures/elements.expected
View File

@@ -208,6 +208,25 @@
| file://:0:0:0:0 | |
| file://:0:0:0:0 | (global namespace) |
| file://:0:0:0:0 | (reference to) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | ..()(..) |
| file://:0:0:0:0 | ..()(..) |
| file://:0:0:0:0 | ..(*)(..) |
@@ -289,24 +308,5 @@
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | overflow_arg_area |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | reg_save_area |
| file://:0:0:0:0 | void * |

4
cpp/ql/test/library-tests/macros/inmacroexpansion/inmacroexpansion.expected
View File

@@ -1,9 +1,9 @@
| file://:0:0:0:0 | (unnamed parameter 0) | false |
| file://:0:0:0:0 | (unnamed parameter 0) | false |
| file://:0:0:0:0 | __super | false |
| file://:0:0:0:0 | __va_list_tag | false |
| file://:0:0:0:0 | operator= | false |
| file://:0:0:0:0 | operator= | false |
| file://:0:0:0:0 | p#0 | false |
| file://:0:0:0:0 | p#0 | false |
| test.cpp:0:0:0:0 | test.cpp | false |
| test.cpp:2:1:2:61 | #define FOO class S{int i; void f(void) { int j; return; } }; | false |
| test.cpp:4:1:4:1 | S | false |

8
cpp/ql/test/library-tests/multiple_declarations/functions/getParameter.expected
View File

@@ -1,4 +1,4 @@
| 0 | arity2.c:1:7:1:9 | p#0 | 1 | 3 |
| 0 | incompatible_decl.c:2:9:2:13 | p#0 | 1 | 3 |
| 0 | main.c:2:9:2:13 | p#0 | 1 | 3 |
| 1 | arity2.c:1:12:1:14 | p#1 | 1 | 1 |
| 0 | arity2.c:1:7:1:9 | (unnamed parameter 0) | 1 | 3 |
| 0 | incompatible_decl.c:2:9:2:13 | (unnamed parameter 0) | 1 | 3 |
| 0 | main.c:2:9:2:13 | (unnamed parameter 0) | 1 | 3 |
| 1 | arity2.c:1:12:1:14 | (unnamed parameter 1) | 1 | 1 |

8
cpp/ql/test/library-tests/namespaces/namespaces/decls.expected
View File

@@ -1,18 +1,18 @@
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | (unnamed parameter 0) | <none> | false |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | (unnamed parameter 0) | <none> | false |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | __va_list_tag | __va_list_tag | true |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | fp_offset | __va_list_tag::fp_offset | false |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | gp_offset | __va_list_tag::gp_offset | false |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | operator= | __va_list_tag::operator= | false |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | operator= | __va_list_tag::operator= | false |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | overflow_arg_area | __va_list_tag::overflow_arg_area | false |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | p#0 | <none> | false |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | p#0 | <none> | false |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | reg_save_area | __va_list_tag::reg_save_area | false |
| file://:0:0:0:0 | (global namespace) | namespaces.cpp:40:5:40:13 | globalInt | globalInt | true |
| file://:0:0:0:0 | (global namespace) | namespaces.cpp:42:6:42:18 | globalIntUser | globalIntUser | true |
| file://:0:0:0:0 | <none> | file://:0:0:0:0 | auto | <none> | false |
| file://:0:0:0:0 | B | namespaces.cpp:32:7:32:7 | x | B::x | true |
| namespaces.cpp:11:13:11:13 | C::D | file://:0:0:0:0 | p#0 | <none> | false |
| namespaces.cpp:11:13:11:13 | C::D | file://:0:0:0:0 | p#0 | <none> | false |
| namespaces.cpp:11:13:11:13 | C::D | file://:0:0:0:0 | (unnamed parameter 0) | <none> | false |
| namespaces.cpp:11:13:11:13 | C::D | file://:0:0:0:0 | (unnamed parameter 0) | <none> | false |
| namespaces.cpp:11:13:11:13 | C::D | namespaces.cpp:13:17:13:17 | f | C::D::f | true |
| namespaces.cpp:11:13:11:13 | C::D | namespaces.cpp:15:12:15:12 | E | C::D::E | true |
| namespaces.cpp:11:13:11:13 | C::D | namespaces.cpp:15:12:15:12 | operator= | C::D::E::operator= | false |

4
cpp/ql/test/library-tests/namespaces/same_name/decls.expected
View File

@@ -1,11 +1,11 @@
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | __va_list_tag |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | fp_offset |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | gp_offset |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | overflow_arg_area |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | (global namespace) | file://:0:0:0:0 | reg_save_area |
| file://:0:0:0:0 | (global namespace) | same_name.cpp:2:11:2:11 | c |
| same_name.cpp:4:11:4:21 | namespace_a | same_name.cpp:6:12:6:12 | c |

10
cpp/ql/test/library-tests/parameters/catch/parameters.expected
View File

@@ -1,8 +1,8 @@
| 0 | Foo && | p#0 |
| 0 | const Foo & | p#0 |
| 0 | Foo && | (unnamed parameter 0) |
| 0 | const Foo & | (unnamed parameter 0) |
| 6 | Foo | x |
| 8 | const char * | y |
| 10 | int | z |
| 17 | Foo | p#0 |
| 19 | const char * | p#0 |
| 21 | int | p#0 |
| 17 | Foo | (unnamed parameter 0) |
| 19 | const char * | (unnamed parameter 0) |
| 21 | int | (unnamed parameter 0) |

2
cpp/ql/test/library-tests/parameters/parameters/Parameters3.expected
View File

@@ -2,4 +2,4 @@
| parameters.cpp:18:6:18:13 | Dispatch | 1 | a | true |
| parameters.cpp:18:6:18:13 | Dispatch | 2 | b | true |
| parameters.cpp:18:6:18:13 | Dispatch | 3 | c | true |
| parameters.cpp:18:6:18:13 | Dispatch | 4 | p#4 | false |
| parameters.cpp:18:6:18:13 | Dispatch | 4 | (unnamed parameter 4) | false |

288
cpp/ql/test/library-tests/pointsto/basic/sets.expected
View File

@@ -1,11 +1,11 @@
| pointsto | false | 0 | 0 | set: {gp_offset} |
| pointsto | false | 1 | 1 | set: {fp_offset} |
| pointsto | false | 2 | 2 | set: {overflow_arg_area} |
| pointsto | false | 3 | 3 | set: {reg_save_area} |
| pointsto | false | 4 | 4 | set: {operator=} |
| pointsto | false | 5 | 5 | set: {p#0} |
| pointsto | false | 6 | 6 | set: {operator=} |
| pointsto | false | 7 | 7 | set: {p#0} |
| pointsto | false | 0 | 0 | set: {operator=} |
| pointsto | false | 1 | 1 | set: {(unnamed parameter 0)} |
| pointsto | false | 2 | 2 | set: {operator=} |
| pointsto | false | 3 | 3 | set: {(unnamed parameter 0)} |
| pointsto | false | 4 | 4 | set: {gp_offset} |
| pointsto | false | 5 | 5 | set: {fp_offset} |
| pointsto | false | 6 | 6 | set: {overflow_arg_area} |
| pointsto | false | 7 | 7 | set: {reg_save_area} |
| pointsto | false | 8 | 8 | set: {MyStruct} |
| pointsto | false | 9 | 9 | set: {test} |
| pointsto | false | 10 | 10 | set: {cond} |
@@ -25,151 +25,151 @@
| pointsto | false | 24 | 24 | set: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} |
| pointsto | false | 25 | 25 | set: {v} |
| pointsto | false | 26 | 26 | set: {operator=} |
| pointsto | false | 27 | 27 | set: {p#0} |
| pointsto | false | 27 | 27 | set: {(unnamed parameter 0)} |
| pointsto | false | 28 | 28 | set: {operator=} |
| pointsto | false | 29 | 29 | set: {p#0} |
| pointsto | false | 29 | 29 | set: {(unnamed parameter 0)} |
| pointsto | false | 30 | 30 | set: {data} |
| pointsto | false | 31 | 31 | set: {(unsigned long)..., 10} |
| pointsto | false | 94 | 94 | file://:0:0:0:0\ngp_offset |
| pointsto | false | 96 | 96 | file://:0:0:0:0\nfp_offset |
| pointsto | false | 98 | 98 | file://:0:0:0:0\noverflow_arg_area |
| pointsto | false | 101 | 101 | file://:0:0:0:0\nreg_save_area |
| pointsto | false | 104 | 104 | <no location>\noperator= |
| pointsto | false | 105 | 105 | <no location>\np#0 |
| pointsto | false | 109 | 109 | <no location>\noperator= |
| pointsto | false | 110 | 110 | <no location>\np#0 |
| pointsto | false | 156 | 156 | test.cpp:2:16:2:23\nMyStruct |
| pointsto | false | 161 | 161 | test.cpp:12:6:12:9\ntest |
| pointsto | false | 162 | 162 | test.cpp:12:15:12:18\ncond |
| pointsto | false | 165 | 165 | test.cpp:14:6:14:9\ncond |
| pointsto | false | 166 | 166 | test.cpp:14:6:14:9\n(bool)... |
| pointsto | false | 169 | 169 | test.cpp:7:11:7:12\np1 |
| pointsto | false | 170 | 170 | test.cpp:16:3:16:4\np1 |
| pointsto | false | 171 | 171 | test.cpp:6:10:6:10\na |
| pointsto | false | 172 | 172 | test.cpp:16:9:16:9\na |
| pointsto | false | 173 | 173 | test.cpp:16:8:16:9\n& ... |
| pointsto | false | 174 | 174 | test.cpp:16:3:16:9\n... = ... |
| pointsto | false | 177 | 177 | test.cpp:18:3:18:4\np1 |
| pointsto | false | 178 | 178 | test.cpp:6:13:6:13\nb |
| pointsto | false | 179 | 179 | test.cpp:18:9:18:9\nb |
| pointsto | false | 180 | 180 | test.cpp:18:8:18:9\n& ... |
| pointsto | false | 181 | 181 | test.cpp:18:3:18:9\n... = ... |
| pointsto | false | 185 | 185 | test.cpp:7:16:7:17\np2 |
| pointsto | false | 186 | 186 | test.cpp:20:2:20:3\np2 |
| pointsto | false | 187 | 187 | test.cpp:20:7:20:8\np1 |
| pointsto | false | 188 | 188 | test.cpp:20:2:20:8\n... = ... |
| pointsto | false | 190 | 190 | test.cpp:7:21:7:22\np3 |
| pointsto | false | 191 | 191 | test.cpp:22:2:22:3\np3 |
| pointsto | false | 192 | 192 | test.cpp:6:16:6:16\nc |
| pointsto | false | 193 | 193 | test.cpp:22:8:22:8\nc |
| pointsto | false | 194 | 194 | test.cpp:22:7:22:8\n& ... |
| pointsto | false | 195 | 195 | test.cpp:22:2:22:8\n... = ... |
| pointsto | false | 199 | 199 | test.cpp:8:12:8:14\npp1 |
| pointsto | false | 200 | 200 | test.cpp:23:2:23:4\npp1 |
| pointsto | false | 201 | 201 | test.cpp:23:9:23:10\np3 |
| pointsto | false | 202 | 202 | test.cpp:23:8:23:10\n& ... |
| pointsto | false | 203 | 203 | test.cpp:23:2:23:10\n... = ... |
| pointsto | false | 205 | 205 | test.cpp:24:2:24:3\np3 |
| pointsto | false | 206 | 206 | test.cpp:6:19:6:19\nd |
| pointsto | false | 207 | 207 | test.cpp:24:8:24:8\nd |
| pointsto | false | 208 | 208 | test.cpp:24:7:24:8\n& ... |
| pointsto | false | 209 | 209 | test.cpp:24:2:24:8\n... = ... |
| pointsto | false | 211 | 211 | test.cpp:8:19:8:21\npp2 |
| pointsto | false | 212 | 212 | test.cpp:25:2:25:4\npp2 |
| pointsto | false | 213 | 213 | test.cpp:25:9:25:10\np3 |
| pointsto | false | 214 | 214 | test.cpp:25:8:25:10\n& ... |
| pointsto | false | 215 | 215 | test.cpp:25:2:25:10\n... = ... |
| pointsto | false | 217 | 217 | test.cpp:10:6:10:8\nuse |
| pointsto | false | 221 | 221 | test.cpp:27:6:27:6\na |
| pointsto | false | 222 | 222 | test.cpp:27:9:27:9\nb |
| pointsto | false | 223 | 223 | test.cpp:27:12:27:12\nc |
| pointsto | false | 224 | 224 | test.cpp:27:15:27:15\nd |
| pointsto | false | 225 | 225 | test.cpp:27:18:27:19\np1 |
| pointsto | false | 226 | 226 | test.cpp:27:22:27:23\np2 |
| pointsto | false | 227 | 227 | test.cpp:27:26:27:27\np3 |
| pointsto | false | 228 | 228 | test.cpp:27:30:27:32\npp1 |
| pointsto | false | 229 | 229 | test.cpp:27:35:27:37\npp2 |
| pointsto | false | 233 | 233 | test.cpp:10:19:10:19\nv |
| pointsto | false | 235 | 235 | test.cpp:2:16:2:16\noperator= |
| pointsto | false | 237 | 237 | file://:0:0:0:0\np#0 |
| pointsto | false | 242 | 242 | test.cpp:2:16:2:16\noperator= |
| pointsto | false | 243 | 243 | file://:0:0:0:0\np#0 |
| pointsto | false | 247 | 247 | test.cpp:3:6:3:9\ndata |
| pointsto | false | 250 | 250 | test.cpp:3:11:3:12\n10 |
| pointsto | false | 251 | 251 | test.cpp:3:11:3:12\n(unsigned long)... |
| pointsto | true | 0 | 94 | pt: {gp_offset} -> gp_offset |
| pointsto | true | 1 | 96 | pt: {fp_offset} -> fp_offset |
| pointsto | true | 2 | 98 | pt: {overflow_arg_area} -> overflow_arg_area |
| pointsto | true | 3 | 101 | pt: {reg_save_area} -> reg_save_area |
| pointsto | true | 4 | 104 | pt: {operator=} -> operator= |
| pointsto | true | 5 | 105 | pt: {p#0} -> p#0 |
| pointsto | true | 6 | 109 | pt: {operator=} -> operator= |
| pointsto | true | 7 | 110 | pt: {p#0} -> p#0 |
| pointsto | true | 8 | 156 | pt: {MyStruct} -> MyStruct |
| pointsto | true | 9 | 161 | pt: {test} -> test |
| pointsto | true | 10 | 162 | pt: {cond} -> cond |
| pointsto | true | 11 | 165 | pt: {(bool)..., cond} -> cond |
| pointsto | true | 11 | 166 | pt: {(bool)..., cond} -> (bool)... |
| pointsto | true | 12 | 169 | pt: {p1, p1, p1} -> p1 |
| pointsto | true | 12 | 170 | pt: {p1, p1, p1} -> p1 |
| pointsto | true | 12 | 177 | pt: {p1, p1, p1} -> p1 |
| pointsto | false | 82 | 82 | <no location>\noperator= |
| pointsto | false | 86 | 86 | <no location>\n(unnamed parameter 0) |
| pointsto | false | 87 | 87 | <no location>\noperator= |
| pointsto | false | 89 | 89 | <no location>\n(unnamed parameter 0) |
| pointsto | false | 90 | 90 | file://:0:0:0:0\ngp_offset |
| pointsto | false | 92 | 92 | file://:0:0:0:0\nfp_offset |
| pointsto | false | 94 | 94 | file://:0:0:0:0\noverflow_arg_area |
| pointsto | false | 97 | 97 | file://:0:0:0:0\nreg_save_area |
| pointsto | false | 148 | 148 | test.cpp:2:16:2:23\nMyStruct |
| pointsto | false | 154 | 154 | test.cpp:12:6:12:9\ntest |
| pointsto | false | 155 | 155 | test.cpp:12:15:12:18\ncond |
| pointsto | false | 159 | 159 | test.cpp:14:6:14:9\ncond |
| pointsto | false | 160 | 160 | test.cpp:14:6:14:9\n(bool)... |
| pointsto | false | 162 | 162 | test.cpp:7:11:7:12\np1 |
| pointsto | false | 165 | 165 | test.cpp:16:3:16:4\np1 |
| pointsto | false | 166 | 166 | test.cpp:6:10:6:10\na |
| pointsto | false | 167 | 167 | test.cpp:16:9:16:9\na |
| pointsto | false | 168 | 168 | test.cpp:16:8:16:9\n& ... |
| pointsto | false | 169 | 169 | test.cpp:16:3:16:9\n... = ... |
| pointsto | false | 172 | 172 | test.cpp:18:3:18:4\np1 |
| pointsto | false | 173 | 173 | test.cpp:6:13:6:13\nb |
| pointsto | false | 174 | 174 | test.cpp:18:9:18:9\nb |
| pointsto | false | 175 | 175 | test.cpp:18:8:18:9\n& ... |
| pointsto | false | 176 | 176 | test.cpp:18:3:18:9\n... = ... |
| pointsto | false | 179 | 179 | test.cpp:7:16:7:17\np2 |
| pointsto | false | 180 | 180 | test.cpp:20:2:20:3\np2 |
| pointsto | false | 181 | 181 | test.cpp:20:7:20:8\np1 |
| pointsto | false | 182 | 182 | test.cpp:20:2:20:8\n... = ... |
| pointsto | false | 184 | 184 | test.cpp:7:21:7:22\np3 |
| pointsto | false | 185 | 185 | test.cpp:22:2:22:3\np3 |
| pointsto | false | 186 | 186 | test.cpp:6:16:6:16\nc |
| pointsto | false | 187 | 187 | test.cpp:22:8:22:8\nc |
| pointsto | false | 188 | 188 | test.cpp:22:7:22:8\n& ... |
| pointsto | false | 189 | 189 | test.cpp:22:2:22:8\n... = ... |
| pointsto | false | 191 | 191 | test.cpp:8:12:8:14\npp1 |
| pointsto | false | 194 | 194 | test.cpp:23:2:23:4\npp1 |
| pointsto | false | 195 | 195 | test.cpp:23:9:23:10\np3 |
| pointsto | false | 196 | 196 | test.cpp:23:8:23:10\n& ... |
| pointsto | false | 197 | 197 | test.cpp:23:2:23:10\n... = ... |
| pointsto | false | 199 | 199 | test.cpp:24:2:24:3\np3 |
| pointsto | false | 200 | 200 | test.cpp:6:19:6:19\nd |
| pointsto | false | 201 | 201 | test.cpp:24:8:24:8\nd |
| pointsto | false | 202 | 202 | test.cpp:24:7:24:8\n& ... |
| pointsto | false | 203 | 203 | test.cpp:24:2:24:8\n... = ... |
| pointsto | false | 205 | 205 | test.cpp:8:19:8:21\npp2 |
| pointsto | false | 206 | 206 | test.cpp:25:2:25:4\npp2 |
| pointsto | false | 207 | 207 | test.cpp:25:9:25:10\np3 |
| pointsto | false | 208 | 208 | test.cpp:25:8:25:10\n& ... |
| pointsto | false | 209 | 209 | test.cpp:25:2:25:10\n... = ... |
| pointsto | false | 211 | 211 | test.cpp:10:6:10:8\nuse |
| pointsto | false | 215 | 215 | test.cpp:27:6:27:6\na |
| pointsto | false | 216 | 216 | test.cpp:27:9:27:9\nb |
| pointsto | false | 217 | 217 | test.cpp:27:12:27:12\nc |
| pointsto | false | 218 | 218 | test.cpp:27:15:27:15\nd |
| pointsto | false | 219 | 219 | test.cpp:27:18:27:19\np1 |
| pointsto | false | 220 | 220 | test.cpp:27:22:27:23\np2 |
| pointsto | false | 221 | 221 | test.cpp:27:26:27:27\np3 |
| pointsto | false | 222 | 222 | test.cpp:27:30:27:32\npp1 |
| pointsto | false | 223 | 223 | test.cpp:27:35:27:37\npp2 |
| pointsto | false | 226 | 226 | test.cpp:10:19:10:19\nv |
| pointsto | false | 227 | 227 | test.cpp:2:16:2:16\noperator= |
| pointsto | false | 230 | 230 | file://:0:0:0:0\n(unnamed parameter 0) |
| pointsto | false | 233 | 233 | test.cpp:2:16:2:16\noperator= |
| pointsto | false | 236 | 236 | file://:0:0:0:0\n(unnamed parameter 0) |
| pointsto | false | 240 | 240 | test.cpp:3:6:3:9\ndata |
| pointsto | false | 243 | 243 | test.cpp:3:11:3:12\n10 |
| pointsto | false | 244 | 244 | test.cpp:3:11:3:12\n(unsigned long)... |
| pointsto | true | 0 | 82 | pt: {operator=} -> operator= |
| pointsto | true | 1 | 86 | pt: {(unnamed parameter 0)} -> (unnamed parameter 0) |
| pointsto | true | 2 | 87 | pt: {operator=} -> operator= |
| pointsto | true | 3 | 89 | pt: {(unnamed parameter 0)} -> (unnamed parameter 0) |
| pointsto | true | 4 | 90 | pt: {gp_offset} -> gp_offset |
| pointsto | true | 5 | 92 | pt: {fp_offset} -> fp_offset |
| pointsto | true | 6 | 94 | pt: {overflow_arg_area} -> overflow_arg_area |
| pointsto | true | 7 | 97 | pt: {reg_save_area} -> reg_save_area |
| pointsto | true | 8 | 148 | pt: {MyStruct} -> MyStruct |
| pointsto | true | 9 | 154 | pt: {test} -> test |
| pointsto | true | 10 | 155 | pt: {cond} -> cond |
| pointsto | true | 11 | 159 | pt: {(bool)..., cond} -> cond |
| pointsto | true | 11 | 160 | pt: {(bool)..., cond} -> (bool)... |
| pointsto | true | 12 | 162 | pt: {p1, p1, p1} -> p1 |
| pointsto | true | 12 | 165 | pt: {p1, p1, p1} -> p1 |
| pointsto | true | 12 | 172 | pt: {p1, p1, p1} -> p1 |
| pointsto | true | 13 | 8 | sf |
| pointsto | true | 13 | 16 | sf |
| pointsto | true | 13 | 171 | pt: {a, a} -> a |
| pointsto | true | 13 | 172 | pt: {a, a} -> a |
| pointsto | true | 13 | 166 | pt: {a, a} -> a |
| pointsto | true | 13 | 167 | pt: {a, a} -> a |
| pointsto | true | 14 | 8 | sf |
| pointsto | true | 14 | 16 | sf |
| pointsto | true | 14 | 178 | pt: {b, b} -> b |
| pointsto | true | 14 | 179 | pt: {b, b} -> b |
| pointsto | true | 15 | 185 | pt: {p2, p2} -> p2 |
| pointsto | true | 15 | 186 | pt: {p2, p2} -> p2 |
| pointsto | true | 16 | 173 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> & ... |
| pointsto | true | 16 | 174 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> ... = ... |
| pointsto | true | 16 | 180 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> & ... |
| pointsto | true | 16 | 181 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> ... = ... |
| pointsto | true | 16 | 187 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> p1 |
| pointsto | true | 16 | 188 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> ... = ... |
| pointsto | true | 16 | 225 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> p1 |
| pointsto | true | 16 | 226 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> p2 |
| pointsto | true | 14 | 173 | pt: {b, b} -> b |
| pointsto | true | 14 | 174 | pt: {b, b} -> b |
| pointsto | true | 15 | 179 | pt: {p2, p2} -> p2 |
| pointsto | true | 15 | 180 | pt: {p2, p2} -> p2 |
| pointsto | true | 16 | 168 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> & ... |
| pointsto | true | 16 | 169 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> ... = ... |
| pointsto | true | 16 | 175 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> & ... |
| pointsto | true | 16 | 176 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> ... = ... |
| pointsto | true | 16 | 181 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> p1 |
| pointsto | true | 16 | 182 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> ... = ... |
| pointsto | true | 16 | 219 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> p1 |
| pointsto | true | 16 | 220 | pt: {& ..., & ..., ... = ..., ... = ..., ... = ..., p1, p1, p2} -> p2 |
| pointsto | true | 17 | 8 | sf |
| pointsto | true | 17 | 23 | sf |
| pointsto | true | 17 | 192 | pt: {c, c} -> c |
| pointsto | true | 17 | 193 | pt: {c, c} -> c |
| pointsto | true | 18 | 199 | pt: {pp1, pp1} -> pp1 |
| pointsto | true | 18 | 200 | pt: {pp1, pp1} -> pp1 |
| pointsto | true | 17 | 186 | pt: {c, c} -> c |
| pointsto | true | 17 | 187 | pt: {c, c} -> c |
| pointsto | true | 18 | 191 | pt: {pp1, pp1} -> pp1 |
| pointsto | true | 18 | 194 | pt: {pp1, pp1} -> pp1 |
| pointsto | true | 19 | 8 | sf |
| pointsto | true | 19 | 23 | sf |
| pointsto | true | 19 | 206 | pt: {d, d} -> d |
| pointsto | true | 19 | 207 | pt: {d, d} -> d |
| pointsto | true | 20 | 211 | pt: {pp2, pp2} -> pp2 |
| pointsto | true | 20 | 212 | pt: {pp2, pp2} -> pp2 |
| pointsto | true | 21 | 217 | pt: {use} -> use |
| pointsto | true | 22 | 221 | pt: {a, b, c, d} -> a |
| pointsto | true | 22 | 222 | pt: {a, b, c, d} -> b |
| pointsto | true | 22 | 223 | pt: {a, b, c, d} -> c |
| pointsto | true | 22 | 224 | pt: {a, b, c, d} -> d |
| pointsto | true | 23 | 194 | pt: {& ..., & ..., ... = ..., ... = ..., p3} -> & ... |
| pointsto | true | 23 | 195 | pt: {& ..., & ..., ... = ..., ... = ..., p3} -> ... = ... |
| pointsto | true | 23 | 208 | pt: {& ..., & ..., ... = ..., ... = ..., p3} -> & ... |
| pointsto | true | 23 | 209 | pt: {& ..., & ..., ... = ..., ... = ..., p3} -> ... = ... |
| pointsto | true | 23 | 227 | pt: {& ..., & ..., ... = ..., ... = ..., p3} -> p3 |
| pointsto | true | 24 | 190 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> p3 |
| pointsto | true | 24 | 191 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> p3 |
| pointsto | true | 24 | 201 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> p3 |
| pointsto | true | 24 | 202 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> & ... |
| pointsto | true | 24 | 203 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> ... = ... |
| pointsto | true | 24 | 205 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> p3 |
| pointsto | true | 24 | 213 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> p3 |
| pointsto | true | 24 | 214 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> & ... |
| pointsto | true | 24 | 215 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> ... = ... |
| pointsto | true | 24 | 228 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> pp1 |
| pointsto | true | 24 | 229 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> pp2 |
| pointsto | true | 19 | 200 | pt: {d, d} -> d |
| pointsto | true | 19 | 201 | pt: {d, d} -> d |
| pointsto | true | 20 | 205 | pt: {pp2, pp2} -> pp2 |
| pointsto | true | 20 | 206 | pt: {pp2, pp2} -> pp2 |
| pointsto | true | 21 | 211 | pt: {use} -> use |
| pointsto | true | 22 | 215 | pt: {a, b, c, d} -> a |
| pointsto | true | 22 | 216 | pt: {a, b, c, d} -> b |
| pointsto | true | 22 | 217 | pt: {a, b, c, d} -> c |
| pointsto | true | 22 | 218 | pt: {a, b, c, d} -> d |
| pointsto | true | 23 | 188 | pt: {& ..., & ..., ... = ..., ... = ..., p3} -> & ... |
| pointsto | true | 23 | 189 | pt: {& ..., & ..., ... = ..., ... = ..., p3} -> ... = ... |
| pointsto | true | 23 | 202 | pt: {& ..., & ..., ... = ..., ... = ..., p3} -> & ... |
| pointsto | true | 23 | 203 | pt: {& ..., & ..., ... = ..., ... = ..., p3} -> ... = ... |
| pointsto | true | 23 | 221 | pt: {& ..., & ..., ... = ..., ... = ..., p3} -> p3 |
| pointsto | true | 24 | 184 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> p3 |
| pointsto | true | 24 | 185 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> p3 |
| pointsto | true | 24 | 195 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> p3 |
| pointsto | true | 24 | 196 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> & ... |
| pointsto | true | 24 | 197 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> ... = ... |
| pointsto | true | 24 | 199 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> p3 |
| pointsto | true | 24 | 207 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> p3 |
| pointsto | true | 24 | 208 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> & ... |
| pointsto | true | 24 | 209 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> ... = ... |
| pointsto | true | 24 | 222 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> pp1 |
| pointsto | true | 24 | 223 | pt: {& ..., & ..., ... = ..., ... = ..., p3, p3, p3, p3, p3, pp1, pp2} -> pp2 |
| pointsto | true | 25 | 8 | sf |
| pointsto | true | 25 | 233 | pt: {v} -> v |
| pointsto | true | 26 | 235 | pt: {operator=} -> operator= |
| pointsto | true | 27 | 237 | pt: {p#0} -> p#0 |
| pointsto | true | 28 | 242 | pt: {operator=} -> operator= |
| pointsto | true | 29 | 243 | pt: {p#0} -> p#0 |
| pointsto | true | 30 | 247 | pt: {data} -> data |
| pointsto | true | 31 | 250 | pt: {(unsigned long)..., 10} -> 10 |
| pointsto | true | 31 | 251 | pt: {(unsigned long)..., 10} -> (unsigned long)... |
| pointsto | true | 25 | 226 | pt: {v} -> v |
| pointsto | true | 26 | 227 | pt: {operator=} -> operator= |
| pointsto | true | 27 | 230 | pt: {(unnamed parameter 0)} -> (unnamed parameter 0) |
| pointsto | true | 28 | 233 | pt: {operator=} -> operator= |
| pointsto | true | 29 | 236 | pt: {(unnamed parameter 0)} -> (unnamed parameter 0) |
| pointsto | true | 30 | 240 | pt: {data} -> data |
| pointsto | true | 31 | 243 | pt: {(unsigned long)..., 10} -> 10 |
| pointsto | true | 31 | 244 | pt: {(unsigned long)..., 10} -> (unsigned long)... |

4
cpp/ql/test/library-tests/scopes/parents/parents.expected
View File

@@ -6,8 +6,8 @@
| 1 | file://:0:0:0:0 | __va_list_tag | file://:0:0:0:0 | operator= |
| 1 | file://:0:0:0:0 | __va_list_tag | file://:0:0:0:0 | overflow_arg_area |
| 1 | file://:0:0:0:0 | __va_list_tag | file://:0:0:0:0 | reg_save_area |
| 1 | file://:0:0:0:0 | operator= | file://:0:0:0:0 | p#0 |
| 1 | file://:0:0:0:0 | operator= | file://:0:0:0:0 | p#0 |
| 1 | file://:0:0:0:0 | operator= | file://:0:0:0:0 | (unnamed parameter 0) |
| 1 | file://:0:0:0:0 | operator= | file://:0:0:0:0 | (unnamed parameter 0) |
| 1 | parents.cpp:2:11:2:13 | foo | parents.cpp:3:13:3:15 | foo::bar |
| 1 | parents.cpp:3:13:3:15 | foo::bar | parents.cpp:4:10:4:10 | f |
| 1 | parents.cpp:4:10:4:10 | f | parents.cpp:4:16:4:16 | i |

4
cpp/ql/test/library-tests/special_members/detect/detect.expected
View File

@@ -21,11 +21,11 @@
| 4 copy assignment | C::operator=(Cinside_lref c) |
| 4 copy assignment | C::operator=(const volatile C & c) |
| 4 copy assignment | C::operator=(rref c_copy) |
| 4 copy assignment | __va_list_tag::operator=(const __va_list_tag & p#0) |
| 4 copy assignment | __va_list_tag::operator=(const __va_list_tag & (unnamed parameter 0)) |
| 5 move assignment | C::operator=(Ctop_rref c) |
| 5 move assignment | C::operator=(const volatile C && c) |
| 5 move assignment | C::operator=(rref c_move) |
| 5 move assignment | __va_list_tag::operator=(__va_list_tag && p#0) |
| 5 move assignment | __va_list_tag::operator=(__va_list_tag && (unnamed parameter 0)) |
| 6 none of the above | C::operator=(int i) |
| 6 none of the above | C::operator=(volatile C & c_templated) |
| 6 none of the above | C::operator=(volatile C && c_templated) |

4
cpp/ql/test/library-tests/syntax-zoo/dataflow-consistency.expected
View File

@@ -14,8 +14,8 @@ uniqueNodeLocation
| break_labels.c:2:11:2:11 | x | Node should have one location but has 4. |
| duff.c:2:12:2:12 | i | Node should have one location but has 4. |
| duff.c:2:12:2:12 | x | Node should have one location but has 4. |
| file://:0:0:0:0 | p#2 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#2 | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 2) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 2) | Node should have one location but has 0. |
| ifelsestmt.c:37:17:37:17 | x | Node should have one location but has 2. |
| ifelsestmt.c:37:24:37:24 | y | Node should have one location but has 2. |
| ifstmt.c:27:17:27:17 | x | Node should have one location but has 2. |

50
cpp/ql/test/library-tests/syntax-zoo/dataflow-ir-consistency.expected
View File

@@ -518,7 +518,31 @@ uniqueNodeLocation
| fieldaccess.cpp:6:6:6:6 | Phi | Node should have one location but has 14. |
| fieldaccess.cpp:6:6:6:6 | ReturnVoid | Node should have one location but has 14. |
| fieldaccess.cpp:6:6:6:6 | SideEffect | Node should have one location but has 14. |
| file://:0:0:0:0 | *p#2 | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 0) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 1) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 1) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 1) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 1) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 1) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 1) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 1) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 1) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 2) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 2) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 2) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 2) | Node should have one location but has 0. |
| file://:0:0:0:0 | (unnamed parameter 3) | Node should have one location but has 0. |
| file://:0:0:0:0 | *(unnamed parameter 2) | Node should have one location but has 0. |
| file://:0:0:0:0 | Address | Node should have one location but has 0. |
| file://:0:0:0:0 | Address | Node should have one location but has 0. |
| file://:0:0:0:0 | Address | Node should have one location but has 0. |
@@ -528,30 +552,6 @@ uniqueNodeLocation
| file://:0:0:0:0 | ReturnIndirection | Node should have one location but has 0. |
| file://:0:0:0:0 | SideEffect | Node should have one location but has 0. |
| file://:0:0:0:0 | VariableAddress | Node should have one location but has 0. |
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#0 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#1 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#1 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#1 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#1 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#1 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#1 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#1 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#1 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#2 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#2 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#2 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#2 | Node should have one location but has 0. |
| file://:0:0:0:0 | p#3 | Node should have one location but has 0. |
| forstmt.cpp:1:6:1:7 | AliasedDefinition | Node should have one location but has 2. |
| forstmt.cpp:1:6:1:7 | AliasedUse | Node should have one location but has 2. |
| forstmt.cpp:1:6:1:7 | Chi | Node should have one location but has 2. |

8
cpp/ql/test/library-tests/templates/CPP-203/decls.expected
View File

@@ -1,3 +1,7 @@
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | __va_list_tag |
| file://:0:0:0:0 | auto |
| file://:0:0:0:0 | fp_offset |
@@ -5,10 +9,6 @@
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | overflow_arg_area |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | reg_save_area |
| test.cpp:2:16:2:16 | T |
| test.cpp:3:8:3:8 | operator= |

4
cpp/ql/test/library-tests/templates/CPP-204/element.expected
View File

@@ -1,6 +1,8 @@
| file://:0:0:0:0 | |
| file://:0:0:0:0 | 0 |
| file://:0:0:0:0 | (global namespace) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | B |
| file://:0:0:0:0 | X |
| file://:0:0:0:0 | X |
@@ -27,8 +29,6 @@
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | overflow_arg_area |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | reg_save_area |
| file://:0:0:0:0 | void * |
| test.cpp:0:0:0:0 | test.cpp |

12
cpp/ql/test/library-tests/templates/CPP-223/decls.expected
View File

@@ -1,3 +1,5 @@
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | __va_list_tag |
| file://:0:0:0:0 | auto |
| file://:0:0:0:0 | d |
@@ -6,16 +8,14 @@
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | overflow_arg_area |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | reg_save_area |
| test.cpp:3:24:3:24 | b<a> |
| test.cpp:4:26:4:26 | c<<expression>> |
| test.cpp:4:26:4:26 | c<<unnamed>> |
| test.cpp:5:29:5:29 | e |
| test.cpp:6:26:6:26 | p#0 |
| test.cpp:6:29:6:31 | p#1 |
| test.cpp:6:26:6:26 | (unnamed parameter 0) |
| test.cpp:6:29:6:31 | (unnamed parameter 1) |
| test.cpp:7:20:7:20 | f |
| test.cpp:7:20:7:26 | f |
| test.cpp:7:28:7:28 | p#0 |
| test.cpp:7:31:7:33 | p#1 |
| test.cpp:7:28:7:28 | (unnamed parameter 0) |
| test.cpp:7:31:7:33 | (unnamed parameter 1) |

8
cpp/ql/test/library-tests/templates/decls/decls.expected
View File

@@ -4,11 +4,13 @@
| decls.cpp:2:29:2:29 | C<int> |
| decls.cpp:4:19:4:20 | T2 |
| decls.cpp:4:28:4:28 | f |
| decls.cpp:4:30:4:34 | p#0 |
| decls.cpp:4:30:4:34 | p#0 |
| decls.cpp:4:30:4:34 | (unnamed parameter 0) |
| decls.cpp:4:30:4:34 | (unnamed parameter 0) |
| decls.cpp:6:17:6:17 | f |
| decls.cpp:8:18:8:18 | (unnamed template parameter) |
| decls.cpp:8:25:8:25 | g |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | __va_list_tag |
| file://:0:0:0:0 | auto |
| file://:0:0:0:0 | fp_offset |
@@ -16,6 +18,4 @@
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | overflow_arg_area |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | reg_save_area |

2
cpp/ql/test/library-tests/templates/extern/elements.expected vendored
View File

@@ -3,6 +3,6 @@
| extern.cpp:1:20:1:20 | definition of T |
| extern.cpp:2:5:2:5 | declaration of f |
| extern.cpp:2:5:2:5 | f |
| extern.cpp:2:7:2:7 | (unnamed parameter 0) |
| extern.cpp:2:7:2:7 | declaration of 1st parameter |
| extern.cpp:2:7:2:7 | p#0 |
| extern.cpp:4:1:4:58 | // Currently we don't have an element for this declaration |

20
cpp/ql/test/library-tests/templates/friends/decls.expected
View File

@@ -1,3 +1,9 @@
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | C<char>'s friend |
| file://:0:0:0:0 | C<int>'s friend |
| file://:0:0:0:0 | auto |
@@ -6,19 +12,13 @@
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | operator= |
| file://:0:0:0:0 | overflow_arg_area |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | reg_save_area |
| friends.cpp:2:19:2:21 | TTT |
| friends.cpp:4:19:4:21 | TTT |
| friends.cpp:4:29:4:29 | f |
| friends.cpp:4:31:4:36 | p#0 |
| friends.cpp:4:31:4:36 | p#0 |
| friends.cpp:4:31:4:36 | p#0 |
| friends.cpp:4:31:4:36 | (unnamed parameter 0) |
| friends.cpp:4:31:4:36 | (unnamed parameter 0) |
| friends.cpp:4:31:4:36 | (unnamed parameter 0) |
| friends.cpp:6:19:6:21 | TTT |
| friends.cpp:7:9:7:9 | C<TTT> |
| friends.cpp:7:9:7:9 | C<TTT> |
@@ -30,6 +30,6 @@
| friends.cpp:7:9:7:9 | operator= |
| friends.cpp:9:17:9:17 | f |
| friends.cpp:9:17:9:19 | C<TTT>'s friend |
| friends.cpp:9:21:9:26 | p#0 |
| friends.cpp:9:21:9:26 | (unnamed parameter 0) |
| friends.cpp:12:17:12:17 | f |
| friends.cpp:13:17:13:17 | f |

38
cpp/ql/test/library-tests/templates/instantiations_functions/elements.expected
View File

@@ -2,6 +2,24 @@
| file://:0:0:0:0 | (composite<int> *)... |
| file://:0:0:0:0 | (composite<int> *)... |
| file://:0:0:0:0 | (global namespace) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | (unnamed parameter 0) |
| file://:0:0:0:0 | ..()(..) |
| file://:0:0:0:0 | ..()(..) |
| file://:0:0:0:0 | ..()(..) |
@@ -130,24 +148,6 @@
| file://:0:0:0:0 | optional |
| file://:0:0:0:0 | overflow_arg_area |
| file://:0:0:0:0 | override |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | p#0 |
| file://:0:0:0:0 | private |
| file://:0:0:0:0 | protected |
| file://:0:0:0:0 | public |
@@ -245,8 +245,8 @@
| test.cpp:2:8:2:26 | grammar_helper_base |
| test.cpp:3:9:3:16 | declaration of undefine |
| test.cpp:3:9:3:16 | undefine |
| test.cpp:3:18:3:20 | (unnamed parameter 0) |
| test.cpp:3:18:3:20 | declaration of 1st parameter |
| test.cpp:3:18:3:20 | p#0 |
| test.cpp:6:20:6:20 | B |
| test.cpp:6:20:6:20 | definition of B |
| test.cpp:7:8:7:8 | declaration of operator= |

4
cpp/ql/test/library-tests/templates/isfromtemplateinstantiation/isfromuninstantiatedtemplate.expected
View File

@@ -1,11 +1,11 @@
isFromUninstantiatedTemplate
| file://:0:0:0:0 | 0 | isfromtemplateinstantiation.cpp:77:26:77:45 | AnotherTemplateClass<T> |
| file://:0:0:0:0 | (int)... | isfromtemplateinstantiation.cpp:77:26:77:45 | AnotherTemplateClass<T> |
| file://:0:0:0:0 | (unnamed parameter 0) | isfromtemplateinstantiation.cpp:134:29:134:33 | Outer<T> |
| file://:0:0:0:0 | (unnamed parameter 0) | isfromtemplateinstantiation.cpp:134:29:134:33 | Outer<T> |
| file://:0:0:0:0 | declaration of 1st parameter | isfromtemplateinstantiation.cpp:134:29:134:33 | Outer<T> |
| file://:0:0:0:0 | declaration of 1st parameter | isfromtemplateinstantiation.cpp:134:29:134:33 | Outer<T> |
| file://:0:0:0:0 | initializer for MyClassEnumConst | isfromtemplateinstantiation.cpp:77:26:77:45 | AnotherTemplateClass<T> |
| file://:0:0:0:0 | p#0 | isfromtemplateinstantiation.cpp:134:29:134:33 | Outer<T> |
| file://:0:0:0:0 | p#0 | isfromtemplateinstantiation.cpp:134:29:134:33 | Outer<T> |
| isfromtemplateinstantiation.cpp:12:24:12:46 | definition of inner_template_function | isfromtemplateinstantiation.cpp:12:24:12:46 | inner_template_function |
| isfromtemplateinstantiation.cpp:12:24:12:46 | inner_template_function | isfromtemplateinstantiation.cpp:12:24:12:46 | inner_template_function |
| isfromtemplateinstantiation.cpp:13:1:17:1 | { ... } | isfromtemplateinstantiation.cpp:12:24:12:46 | inner_template_function |

8
cpp/ql/test/library-tests/templates/variables/template_variables.expected
View File

@@ -1,10 +1,10 @@
| file://:0:0:0:0 | (unnamed parameter 0) | | | |
| file://:0:0:0:0 | (unnamed parameter 0) | | | |
| file://:0:0:0:0 | (unnamed parameter 0) | | | |
| file://:0:0:0:0 | (unnamed parameter 0) | | | |
| file://:0:0:0:0 | fp_offset | | | |
| file://:0:0:0:0 | gp_offset | | | |
| file://:0:0:0:0 | overflow_arg_area | | | |
| file://:0:0:0:0 | p#0 | | | |
| file://:0:0:0:0 | p#0 | | | |
| file://:0:0:0:0 | p#0 | | | |
| file://:0:0:0:0 | p#0 | | | |
| file://:0:0:0:0 | reg_save_area | | | |
| variables.cpp:2:13:2:13 | pi | variables.cpp:25:12:25:16 | T | |
| variables.cpp:2:13:2:13 | pi | variables.cpp:25:12:25:16, variables.cpp:37:16:37:24 | float | |

4
cpp/ql/test/library-tests/types/types/Types.expected
View File

@@ -1,8 +1,8 @@
| file://:0:0:0:0 | (unnamed parameter 0) | Parameter | file://:0:0:0:0 | __va_list_tag && | ReferenceType, base: __va_list_tag |
| file://:0:0:0:0 | (unnamed parameter 0) | Parameter | file://:0:0:0:0 | const __va_list_tag & | ReferenceType, base: const __va_list_tag |
| file://:0:0:0:0 | fp_offset | | file://:0:0:0:0 | unsigned int | IntType |
| file://:0:0:0:0 | gp_offset | | file://:0:0:0:0 | unsigned int | IntType |
| file://:0:0:0:0 | overflow_arg_area | | file://:0:0:0:0 | void * | PointerType, VoidPointerType, base: void |
| file://:0:0:0:0 | p#0 | Parameter | file://:0:0:0:0 | __va_list_tag && | ReferenceType, base: __va_list_tag |
| file://:0:0:0:0 | p#0 | Parameter | file://:0:0:0:0 | const __va_list_tag & | ReferenceType, base: const __va_list_tag |
| file://:0:0:0:0 | reg_save_area | | file://:0:0:0:0 | void * | PointerType, VoidPointerType, base: void |
| types.cpp:1:12:1:12 | i | | file://:0:0:0:0 | int | IntType |
| types.cpp:3:11:3:11 | c | isConst | file://:0:0:0:0 | const int | base: int, isConst |

4
cpp/ql/test/library-tests/unspecified_type/unspecified_type/strip_top_level.expected
View File

@@ -1,8 +1,8 @@
| file://:0:0:0:0 | (unnamed parameter 0) | reference to {const {struct __va_list_tag}} | reference to {const {struct __va_list_tag}} |
| file://:0:0:0:0 | (unnamed parameter 0) | rvalue reference to {struct __va_list_tag} | rvalue reference to {struct __va_list_tag} |
| file://:0:0:0:0 | fp_offset | unsigned int | unsigned int |
| file://:0:0:0:0 | gp_offset | unsigned int | unsigned int |
| file://:0:0:0:0 | overflow_arg_area | pointer to {void} | pointer to {void} |
| file://:0:0:0:0 | p#0 | reference to {const {struct __va_list_tag}} | reference to {const {struct __va_list_tag}} |
| file://:0:0:0:0 | p#0 | rvalue reference to {struct __va_list_tag} | rvalue reference to {struct __va_list_tag} |
| file://:0:0:0:0 | reg_save_area | pointer to {void} | pointer to {void} |
| unspecified_type.cpp:2:5:2:7 | vv1 | int | int |
| unspecified_type.cpp:3:11:3:13 | vv2 | const {int} | int |

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

@@ -1,8 +1,8 @@
| file://:0:0:0:0 | (unnamed parameter 0) | reference to {const {struct __va_list_tag}} | reference to {struct __va_list_tag} |
| file://:0:0:0:0 | (unnamed parameter 0) | rvalue reference to {struct __va_list_tag} | rvalue reference to {struct __va_list_tag} |
| file://:0:0:0:0 | fp_offset | unsigned int | unsigned int |
| file://:0:0:0:0 | gp_offset | unsigned int | unsigned int |
| file://:0:0:0:0 | overflow_arg_area | pointer to {void} | pointer to {void} |
| file://:0:0:0:0 | p#0 | reference to {const {struct __va_list_tag}} | reference to {struct __va_list_tag} |
| file://:0:0:0:0 | p#0 | rvalue reference to {struct __va_list_tag} | rvalue reference to {struct __va_list_tag} |
| file://:0:0:0:0 | reg_save_area | pointer to {void} | pointer to {void} |
| unspecified_type.cpp:2:5:2:7 | vv1 | int | int |
| unspecified_type.cpp:3:11:3:13 | vv2 | const {int} | int |

4
cpp/ql/test/library-tests/variables/constexpr/constexpr.expected
View File

@@ -2,9 +2,9 @@
| constexpr.cpp:3:5:3:33 | var_not_constexpr_initialised | false |
| constexpr.cpp:4:11:4:33 | var_not_constexpr_const | false |
| constexpr.cpp:5:5:5:21 | var_not_constexpr | false |
| file://:0:0:0:0 | (unnamed parameter 0) | false |
| file://:0:0:0:0 | (unnamed parameter 0) | false |
| file://:0:0:0:0 | fp_offset | false |
| file://:0:0:0:0 | gp_offset | false |
| file://:0:0:0:0 | overflow_arg_area | false |
| file://:0:0:0:0 | p#0 | false |
| file://:0:0:0:0 | p#0 | false |
| file://:0:0:0:0 | reg_save_area | false |

4
cpp/ql/test/library-tests/variables/thread_local/thread_local.expected
View File

@@ -1,8 +1,8 @@
| file://:0:0:0:0 | (unnamed parameter 0) | false |
| file://:0:0:0:0 | (unnamed parameter 0) | false |
| file://:0:0:0:0 | fp_offset | false |
| file://:0:0:0:0 | gp_offset | false |
| file://:0:0:0:0 | overflow_arg_area | false |
| file://:0:0:0:0 | p#0 | false |
| file://:0:0:0:0 | p#0 | false |
| file://:0:0:0:0 | reg_save_area | false |
| thread_local.cpp:3:20:3:30 | threadLocal | true |
| thread_local.cpp:4:7:4:21 | not_threadLocal | false |

8
cpp/ql/test/library-tests/variables/variables/variable.expected
View File

@@ -1,10 +1,10 @@
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | __va_list_tag && | SemanticStackVariable | | |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | address && | SemanticStackVariable | | |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | const __va_list_tag & | SemanticStackVariable | | |
| file://:0:0:0:0 | (unnamed parameter 0) | file://:0:0:0:0 | const address & | SemanticStackVariable | | |
| file://:0:0:0:0 | fp_offset | file://:0:0:0:0 | unsigned int | Field | | |
| file://:0:0:0:0 | gp_offset | file://:0:0:0:0 | unsigned int | Field | | |
| file://:0:0:0:0 | overflow_arg_area | file://:0:0:0:0 | void * | Field | | |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | __va_list_tag && | SemanticStackVariable | | |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | address && | SemanticStackVariable | | |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const __va_list_tag & | SemanticStackVariable | | |
| file://:0:0:0:0 | p#0 | file://:0:0:0:0 | const address & | SemanticStackVariable | | |
| file://:0:0:0:0 | reg_save_area | file://:0:0:0:0 | void * | Field | | |
| variables.cpp:1:12:1:12 | i | file://:0:0:0:0 | int | GlobalVariable | | |
| variables.cpp:1:12:1:12 | i | file://:0:0:0:0 | int | StaticStorageDurationVariable | | |

22
cpp/ql/test/library-tests/vector_types/variables.expected
View File

@@ -1,17 +1,17 @@
| file://:0:0:0:0 | (unnamed parameter 0) | (unnamed parameter 0) | file://:0:0:0:0 | __attribute((vector_size(16))) double | 16 |
| file://:0:0:0:0 | (unnamed parameter 0) | (unnamed parameter 0) | file://:0:0:0:0 | __attribute((vector_size(16))) float | 16 |
| file://:0:0:0:0 | (unnamed parameter 0) | (unnamed parameter 0) | file://:0:0:0:0 | __va_list_tag && | 8 |
| file://:0:0:0:0 | (unnamed parameter 0) | (unnamed parameter 0) | file://:0:0:0:0 | const __va_list_tag & | 8 |
| file://:0:0:0:0 | (unnamed parameter 0) | (unnamed parameter 0) | file://:0:0:0:0 | double * | 8 |
| file://:0:0:0:0 | (unnamed parameter 0) | (unnamed parameter 0) | file://:0:0:0:0 | float * | 8 |
| file://:0:0:0:0 | (unnamed parameter 1) | (unnamed parameter 1) | file://:0:0:0:0 | __attribute((vector_size(16))) double | 16 |
| file://:0:0:0:0 | (unnamed parameter 1) | (unnamed parameter 1) | file://:0:0:0:0 | __attribute((vector_size(16))) double | 16 |
| file://:0:0:0:0 | (unnamed parameter 1) | (unnamed parameter 1) | file://:0:0:0:0 | __attribute((vector_size(16))) float | 16 |
| file://:0:0:0:0 | (unnamed parameter 1) | (unnamed parameter 1) | file://:0:0:0:0 | __attribute((vector_size(16))) float | 16 |
| file://:0:0:0:0 | (unnamed parameter 2) | (unnamed parameter 2) | file://:0:0:0:0 | char | 1 |
| file://:0:0:0:0 | fp_offset | fp_offset | file://:0:0:0:0 | unsigned int | 4 |
| file://:0:0:0:0 | gp_offset | gp_offset | file://:0:0:0:0 | unsigned int | 4 |
| file://:0:0:0:0 | overflow_arg_area | overflow_arg_area | file://:0:0:0:0 | void * | 8 |
| file://:0:0:0:0 | p#0 | p#0 | file://:0:0:0:0 | __attribute((vector_size(16))) double | 16 |
| file://:0:0:0:0 | p#0 | p#0 | file://:0:0:0:0 | __attribute((vector_size(16))) float | 16 |
| file://:0:0:0:0 | p#0 | p#0 | file://:0:0:0:0 | __va_list_tag && | 8 |
| file://:0:0:0:0 | p#0 | p#0 | file://:0:0:0:0 | const __va_list_tag & | 8 |
| file://:0:0:0:0 | p#0 | p#0 | file://:0:0:0:0 | double * | 8 |
| file://:0:0:0:0 | p#0 | p#0 | file://:0:0:0:0 | float * | 8 |
| file://:0:0:0:0 | p#1 | p#1 | file://:0:0:0:0 | __attribute((vector_size(16))) double | 16 |
| file://:0:0:0:0 | p#1 | p#1 | file://:0:0:0:0 | __attribute((vector_size(16))) double | 16 |
| file://:0:0:0:0 | p#1 | p#1 | file://:0:0:0:0 | __attribute((vector_size(16))) float | 16 |
| file://:0:0:0:0 | p#1 | p#1 | file://:0:0:0:0 | __attribute((vector_size(16))) float | 16 |
| file://:0:0:0:0 | p#2 | p#2 | file://:0:0:0:0 | char | 1 |
| file://:0:0:0:0 | reg_save_area | reg_save_area | file://:0:0:0:0 | void * | 8 |
| vector_types.cpp:9:21:9:21 | x | x | vector_types.cpp:6:15:6:17 | v4f | 16 |
| vector_types.cpp:14:18:14:20 | lhs | lhs | vector_types.cpp:6:15:6:17 | v4f | 16 |

4
cpp/ql/test/query-tests/Likely Bugs/Underspecified Functions/MistypedFunctionArguments.expected
View File

@@ -1,5 +1,5 @@
| test.c:33:3:33:19 | call to not_yet_declared2 | Calling $@: argument $@ of type $@ is incompatible with parameter $@. | test.c:32:3:32:3 | not_yet_declared2 | not_yet_declared2 | test.c:33:21:33:22 | ca | ca | file://:0:0:0:0 | int[4] | int[4] | test.c:76:24:76:26 | p#0 | int p#0 |
| test.c:33:3:33:19 | call to not_yet_declared2 | Calling $@: argument $@ of type $@ is incompatible with parameter $@. | test.c:76:6:76:22 | not_yet_declared2 | not_yet_declared2 | test.c:33:21:33:22 | ca | ca | file://:0:0:0:0 | int[4] | int[4] | test.c:76:24:76:26 | p#0 | int p#0 |
| test.c:33:3:33:19 | call to not_yet_declared2 | Calling $@: argument $@ of type $@ is incompatible with parameter $@. | test.c:32:3:32:3 | not_yet_declared2 | not_yet_declared2 | test.c:33:21:33:22 | ca | ca | file://:0:0:0:0 | int[4] | int[4] | test.c:76:24:76:26 | (unnamed parameter 0) | int (unnamed parameter 0) |
| test.c:33:3:33:19 | call to not_yet_declared2 | Calling $@: argument $@ of type $@ is incompatible with parameter $@. | test.c:76:6:76:22 | not_yet_declared2 | not_yet_declared2 | test.c:33:21:33:22 | ca | ca | file://:0:0:0:0 | int[4] | int[4] | test.c:76:24:76:26 | (unnamed parameter 0) | int (unnamed parameter 0) |
| test.c:40:3:40:29 | call to declared_empty_defined_with | Calling $@: argument $@ of type $@ is incompatible with parameter $@. | test.c:77:6:77:32 | declared_empty_defined_with | declared_empty_defined_with | test.c:40:31:40:32 | & ... | & ... | file://:0:0:0:0 | int * | int * | test.c:77:38:77:38 | x | int x |
| test.c:44:3:44:27 | call to not_declared_defined_with | Calling $@: argument $@ of type $@ is incompatible with parameter $@. | test.c:80:6:80:30 | not_declared_defined_with | not_declared_defined_with | test.c:44:29:44:31 | 4 | 4 | file://:0:0:0:0 | long long | long long | test.c:80:36:80:36 | x | int x |
| test.c:44:3:44:27 | call to not_declared_defined_with | Calling $@: argument $@ of type $@ is incompatible with parameter $@. | test.c:80:6:80:30 | not_declared_defined_with | not_declared_defined_with | test.c:44:37:44:42 | 2500000000.0 | 2500000000.0 | file://:0:0:0:0 | float | float | test.c:80:50:80:50 | z | int z |