C++: Add test.

Author: MathiasVP

cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering/ir_gvn.expected

@@ -1145,3 +1145,43 @@ test.cpp:
 #  152|     v152_7(void)       = ReturnVoid                : 
 #  152|     v152_8(void)       = AliasedUse                : ~m156_7
 #  152|     v152_9(void)       = ExitFunction              : 
+
+#  166| void test_constMemberFunction()
+#  166|   Block 0
+#  166|     v166_1(void)                                 = EnterFunction                        : 
+#  166|     m166_2(unknown)                              = AliasedDefinition                    : 
+#  166|         valnum = unique
+#  166|     m166_3(unknown)                              = InitializeNonLocal                   : 
+#  166|         valnum = unique
+#  166|     m166_4(unknown)                              = Chi                                  : total:m166_2, partial:m166_3
+#  166|         valnum = unique
+#  167|     r167_1(glval<StructWithConstMemberFunction>) = VariableAddress[s]                   : 
+#  167|         valnum = r167_1, r168_2, r169_1
+#  167|     m167_2(StructWithConstMemberFunction)        = Uninitialized[s]                     : &:r167_1
+#  167|         valnum = m167_2, m168_4, r168_3
+#  167|     m167_3(unknown)                              = Chi                                  : total:m166_4, partial:m167_2
+#  167|         valnum = unique
+#  168|     r168_1(glval<StructWithConstMemberFunction>) = VariableAddress[s2]                  : 
+#  168|         valnum = unique
+#  168|     r168_2(glval<StructWithConstMemberFunction>) = VariableAddress[s]                   : 
+#  168|         valnum = r167_1, r168_2, r169_1
+#  168|     r168_3(StructWithConstMemberFunction)        = Load[s]                              : &:r168_2, m167_2
+#  168|         valnum = m167_2, m168_4, r168_3
+#  168|     m168_4(StructWithConstMemberFunction)        = Store[s2]                            : &:r168_1, r168_3
+#  168|         valnum = m167_2, m168_4, r168_3
+#  169|     r169_1(glval<StructWithConstMemberFunction>) = VariableAddress[s]                   : 
+#  169|         valnum = r167_1, r168_2, r169_1
+#  169|     r169_2(glval<StructWithConstMemberFunction>) = Convert                              : r169_1
+#  169|         valnum = unique
+#  169|     r169_3(glval<unknown>)                       = FunctionAddress[constMemberFunction] : 
+#  169|         valnum = unique
+#  169|     v169_4(void)                                 = Call[constMemberFunction]            : func:r169_3, this:r169_2
+#  169|     m169_5(unknown)                              = ^CallSideEffect                      : ~m167_3
+#  169|         valnum = unique
+#  169|     m169_6(unknown)                              = Chi                                  : total:m167_3, partial:m169_5
+#  169|         valnum = unique
+#  169|     v169_7(void)                                 = ^IndirectReadSideEffect[-1]          : &:r169_2, ~m169_6
+#  170|     v170_1(void)                                 = NoOp                                 : 
+#  166|     v166_5(void)                                 = ReturnVoid                           : 
+#  166|     v166_6(void)                                 = AliasedUse                           : ~m169_6
+#  166|     v166_7(void)                                 = ExitFunction                         : 

cpp/ql/test/library-tests/valuenumbering/GlobalValueNumbering/test.cpp

@@ -156,4 +156,15 @@ void test_read_global_different(int n) {
   global_a->y = n;
 
   int d = global_a->x;
+}
+
+struct StructWithConstMemberFunction {
+  int x;
+  void constMemberFunction() const;
+};
+
+void test_constMemberFunction() {
+  StructWithConstMemberFunction s;
+  StructWithConstMemberFunction s2 = s;
+  s.constMemberFunction();
 }