C++: accept new test results after extractor changes

Author: IdrissRio

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

@@ -33,5 +33,8 @@ thisArgumentIsNonPointer
 | pointer_to_member.cpp:23:5:23:54 | Call: call to expression | Call instruction 'Call: call to expression' has a `this` argument operand that is not an address, in function '$@'. | pointer_to_member.cpp:14:5:14:9 | int usePM(int PM::*) | int usePM(int PM::*) |
 | pointer_to_member.cpp:24:5:24:49 | Call: call to expression | Call instruction 'Call: call to expression' has a `this` argument operand that is not an address, in function '$@'. | pointer_to_member.cpp:14:5:14:9 | int usePM(int PM::*) | int usePM(int PM::*) |
 nonUniqueIRVariable
+| cpp11.cpp:82:17:82:17 | VariableAddress: (unnamed parameter 0) | Variable address instruction 'VariableAddress: (unnamed parameter 0)' has no associated variable, in function '$@'. | cpp11.cpp:82:17:82:17 | void (void lambda::apply2<int(*)(lambda::Val, lambda::Val)>(int(*)(lambda::Val, lambda::Val), lambda::Val, lambda::Val))::(lambda [] type at line 82, col. 17)::(unnamed constructor)((void lambda::apply2<int(*)(lambda::Val, lambda::Val)>(int(*)(lambda::Val, lambda::Val), lambda::Val, lambda::Val))::(lambda [] type at line 82, col. 17)&&) | void (void lambda::apply2<int(*)(lambda::Val, lambda::Val)>(int(*)(lambda::Val, lambda::Val), lambda::Val, lambda::Val))::(lambda [] type at line 82, col. 17)::(unnamed constructor)((void lambda::apply2<int(*)(lambda::Val, lambda::Val)>(int(*)(lambda::Val, lambda::Val), lambda::Val, lambda::Val))::(lambda [] type at line 82, col. 17)&&) |
+| cpp11.cpp:82:17:82:55 | VariableAddress: (unnamed parameter 0) | Variable address instruction 'VariableAddress: (unnamed parameter 0)' has no associated variable, in function '$@'. | cpp11.cpp:81:8:81:8 | void lambda::apply2<int(*)(lambda::Val, lambda::Val)>(int(*)(lambda::Val, lambda::Val), lambda::Val, lambda::Val) | void lambda::apply2<int(*)(lambda::Val, lambda::Val)>(int(*)(lambda::Val, lambda::Val), lambda::Val, lambda::Val) |
+| ir.cpp:747:8:747:8 | VariableAddress: (unnamed parameter 0) | Variable address instruction 'VariableAddress: (unnamed parameter 0)' has no associated variable, in function '$@'. | ir.cpp:747:8:747:8 | void Base::Base(Base const&) | void Base::Base(Base const&) |
 nonBooleanOperand
 missingCppType

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

@@ -68,6 +68,9 @@ postWithInFlow
 | cpp11.cpp:7:7:7:8 | el [post update] | PostUpdateNode should not be the target of local flow. |
 | cpp11.cpp:77:19:77:21 | call to Val | PostUpdateNode should not be the target of local flow. |
 | cpp11.cpp:82:11:82:14 | call to Val | PostUpdateNode should not be the target of local flow. |
+| cpp11.cpp:82:17:82:17 | call to Val | PostUpdateNode should not be the target of local flow. |
+| cpp11.cpp:82:17:82:55 | call to Val | PostUpdateNode should not be the target of local flow. |
+| cpp11.cpp:82:17:82:55 | call to Val | PostUpdateNode should not be the target of local flow. |
 | cpp11.cpp:82:45:82:48 | call to Val | PostUpdateNode should not be the target of local flow. |
 | cpp11.cpp:82:51:82:51 | call to Val | PostUpdateNode should not be the target of local flow. |
 | ir.cpp:177:5:177:5 | p [inner post update] | PostUpdateNode should not be the target of local flow. |
@@ -88,6 +91,7 @@ postWithInFlow
 | ir.cpp:646:9:646:11 | m_a [post update] | PostUpdateNode should not be the target of local flow. |
 | ir.cpp:655:11:655:14 | this [inner post update] | PostUpdateNode should not be the target of local flow. |
 | ir.cpp:747:8:747:8 | base_s [inner post update] | PostUpdateNode should not be the target of local flow. |
+| ir.cpp:747:8:747:8 | call to String | PostUpdateNode should not be the target of local flow. |
 | ir.cpp:756:8:756:8 | middle_s [inner post update] | PostUpdateNode should not be the target of local flow. |
 | ir.cpp:765:8:765:8 | derived_s [inner post update] | PostUpdateNode should not be the target of local flow. |
 | ir.cpp:811:7:811:13 | call to Base | PostUpdateNode should not be the target of local flow. |

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

@@ -20,8 +20,11 @@ argHasPostUpdate
 postWithInFlow
 | cpp11.cpp:77:19:77:21 | call to Val | PostUpdateNode should not be the target of local flow. |
 | cpp11.cpp:82:11:82:14 | call to Val | PostUpdateNode should not be the target of local flow. |
+| cpp11.cpp:82:17:82:17 | call to Val | PostUpdateNode should not be the target of local flow. |
+| cpp11.cpp:82:17:82:55 | call to Val | PostUpdateNode should not be the target of local flow. |
 | cpp11.cpp:82:45:82:48 | call to Val | PostUpdateNode should not be the target of local flow. |
 | cpp11.cpp:82:51:82:51 | call to Val | PostUpdateNode should not be the target of local flow. |
+| ir.cpp:747:8:747:8 | call to String | PostUpdateNode should not be the target of local flow. |
 | ir.cpp:811:7:811:13 | call to Base | PostUpdateNode should not be the target of local flow. |
 | ir.cpp:812:7:812:26 | call to Base | PostUpdateNode should not be the target of local flow. |
 | ir.cpp:825:7:825:13 | call to Base | PostUpdateNode should not be the target of local flow. |

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

@@ -42,5 +42,8 @@ thisArgumentIsNonPointer
 | pointer_to_member.cpp:23:5:23:54 | Call: call to expression | Call instruction 'Call: call to expression' has a `this` argument operand that is not an address, in function '$@'. | pointer_to_member.cpp:14:5:14:9 | int usePM(int PM::*) | int usePM(int PM::*) |
 | pointer_to_member.cpp:24:5:24:49 | Call: call to expression | Call instruction 'Call: call to expression' has a `this` argument operand that is not an address, in function '$@'. | pointer_to_member.cpp:14:5:14:9 | int usePM(int PM::*) | int usePM(int PM::*) |
 nonUniqueIRVariable
+| cpp11.cpp:82:17:82:17 | VariableAddress: (unnamed parameter 0) | Variable address instruction 'VariableAddress: (unnamed parameter 0)' has no associated variable, in function '$@'. | cpp11.cpp:82:17:82:17 | void (void lambda::apply2<int(*)(lambda::Val, lambda::Val)>(int(*)(lambda::Val, lambda::Val), lambda::Val, lambda::Val))::(lambda [] type at line 82, col. 17)::(unnamed constructor)((void lambda::apply2<int(*)(lambda::Val, lambda::Val)>(int(*)(lambda::Val, lambda::Val), lambda::Val, lambda::Val))::(lambda [] type at line 82, col. 17)&&) | void (void lambda::apply2<int(*)(lambda::Val, lambda::Val)>(int(*)(lambda::Val, lambda::Val), lambda::Val, lambda::Val))::(lambda [] type at line 82, col. 17)::(unnamed constructor)((void lambda::apply2<int(*)(lambda::Val, lambda::Val)>(int(*)(lambda::Val, lambda::Val), lambda::Val, lambda::Val))::(lambda [] type at line 82, col. 17)&&) |
+| cpp11.cpp:82:17:82:55 | VariableAddress: (unnamed parameter 0) | Variable address instruction 'VariableAddress: (unnamed parameter 0)' has no associated variable, in function '$@'. | cpp11.cpp:81:8:81:8 | void lambda::apply2<int(*)(lambda::Val, lambda::Val)>(int(*)(lambda::Val, lambda::Val), lambda::Val, lambda::Val) | void lambda::apply2<int(*)(lambda::Val, lambda::Val)>(int(*)(lambda::Val, lambda::Val), lambda::Val, lambda::Val) |
+| ir.cpp:747:8:747:8 | VariableAddress: (unnamed parameter 0) | Variable address instruction 'VariableAddress: (unnamed parameter 0)' has no associated variable, in function '$@'. | ir.cpp:747:8:747:8 | void Base::Base(Base const&) | void Base::Base(Base const&) |
 nonBooleanOperand
 missingCppType

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

@@ -33,5 +33,8 @@ thisArgumentIsNonPointer
 | pointer_to_member.cpp:23:5:23:54 | Call: call to expression | Call instruction 'Call: call to expression' has a `this` argument operand that is not an address, in function '$@'. | pointer_to_member.cpp:14:5:14:9 | int usePM(int PM::*) | int usePM(int PM::*) |
 | pointer_to_member.cpp:24:5:24:49 | Call: call to expression | Call instruction 'Call: call to expression' has a `this` argument operand that is not an address, in function '$@'. | pointer_to_member.cpp:14:5:14:9 | int usePM(int PM::*) | int usePM(int PM::*) |
 nonUniqueIRVariable
+| cpp11.cpp:82:17:82:17 | VariableAddress: (unnamed parameter 0) | Variable address instruction 'VariableAddress: (unnamed parameter 0)' has no associated variable, in function '$@'. | cpp11.cpp:82:17:82:17 | void (void lambda::apply2<int(*)(lambda::Val, lambda::Val)>(int(*)(lambda::Val, lambda::Val), lambda::Val, lambda::Val))::(lambda [] type at line 82, col. 17)::(unnamed constructor)((void lambda::apply2<int(*)(lambda::Val, lambda::Val)>(int(*)(lambda::Val, lambda::Val), lambda::Val, lambda::Val))::(lambda [] type at line 82, col. 17)&&) | void (void lambda::apply2<int(*)(lambda::Val, lambda::Val)>(int(*)(lambda::Val, lambda::Val), lambda::Val, lambda::Val))::(lambda [] type at line 82, col. 17)::(unnamed constructor)((void lambda::apply2<int(*)(lambda::Val, lambda::Val)>(int(*)(lambda::Val, lambda::Val), lambda::Val, lambda::Val))::(lambda [] type at line 82, col. 17)&&) |
+| cpp11.cpp:82:17:82:55 | VariableAddress: (unnamed parameter 0) | Variable address instruction 'VariableAddress: (unnamed parameter 0)' has no associated variable, in function '$@'. | cpp11.cpp:81:8:81:8 | void lambda::apply2<int(*)(lambda::Val, lambda::Val)>(int(*)(lambda::Val, lambda::Val), lambda::Val, lambda::Val) | void lambda::apply2<int(*)(lambda::Val, lambda::Val)>(int(*)(lambda::Val, lambda::Val), lambda::Val, lambda::Val) |
+| ir.cpp:747:8:747:8 | VariableAddress: (unnamed parameter 0) | Variable address instruction 'VariableAddress: (unnamed parameter 0)' has no associated variable, in function '$@'. | ir.cpp:747:8:747:8 | void Base::Base(Base const&) | void Base::Base(Base const&) |
 nonBooleanOperand
 missingCppType