C++: Accept test changes.

Author: MathiasVP

cpp/ql/test/library-tests/ir/ir/raw_ir.expected

@@ -7933,6 +7933,7 @@ smart_ptr.cpp:
 #   12|     v12_10(void)                                       = Call[unique_ptr_arg]             : func:r12_1, 0:r12_9
 #   12|     mu12_11(unknown)                                   = ^CallSideEffect                  : ~m?
 #   12|     v12_12(void)                                       = ^BufferReadSideEffect[0]         : &:r12_9, ~m?
+#   12|     mu12_13(unknown)                                   = ^BufferMayWriteSideEffect[0]     : &:r12_9
 #   13|     v13_1(void)                                        = NoOp                             : 
 #   10|     v10_8(void)                                        = ReturnIndirection[p]             : &:r10_6, ~m?
 #   10|     v10_9(void)                                        = ReturnVoid                       : 
@@ -7971,6 +7972,7 @@ smart_ptr.cpp:
 #   19|     v19_13(void)                    = Call[shared_ptr_arg]             : func:r19_1, 0:r19_12
 #   19|     mu19_14(unknown)                = ^CallSideEffect                  : ~m?
 #   19|     v19_15(void)                    = ^BufferReadSideEffect[0]         : &:r19_12, ~m?
+#   19|     mu19_16(unknown)                = ^BufferMayWriteSideEffect[0]     : &:r19_12
 #   20|     v20_1(void)                     = NoOp                             : 
 #   17|     v17_8(void)                     = ReturnIndirection[p]             : &:r17_6, ~m?
 #   17|     v17_9(void)                     = ReturnVoid                       : 
@@ -8016,6 +8018,7 @@ smart_ptr.cpp:
 #   35|     v35_13(void)                                          = Call[shared_ptr_const_int_ptr]                         : func:r35_1, 0:r35_12
 #   35|     mu35_14(unknown)                                      = ^CallSideEffect                                        : ~m?
 #   35|     v35_15(void)                                          = ^BufferReadSideEffect[0]                               : &:r35_12, ~m?
+#   35|     mu35_16(unknown)                                      = ^BufferMayWriteSideEffect[0]                           : &:r35_12
 #   37|     r37_1(glval<shared_ptr<shared_ptr<const int>>>)       = VariableAddress[sp_sp_const_int]                       : 
 #   37|     mu37_2(shared_ptr<shared_ptr<const int>>)             = Uninitialized[sp_sp_const_int]                         : &:r37_1
 #   39|     r39_1(glval<unknown>)                                 = FunctionAddress[shared_ptr_shared_ptr_const_int]       : 
@@ -8033,6 +8036,7 @@ smart_ptr.cpp:
 #   39|     v39_13(void)                                          = Call[shared_ptr_shared_ptr_const_int]                  : func:r39_1, 0:r39_12
 #   39|     mu39_14(unknown)                                      = ^CallSideEffect                                        : ~m?
 #   39|     v39_15(void)                                          = ^BufferReadSideEffect[0]                               : &:r39_12, ~m?
+#   39|     mu39_16(unknown)                                      = ^BufferMayWriteSideEffect[0]                           : &:r39_12
 #   41|     r41_1(glval<shared_ptr<const shared_ptr<int>>>)       = VariableAddress[sp_const_sp_int]                       : 
 #   41|     mu41_2(shared_ptr<const shared_ptr<int>>)             = Uninitialized[sp_const_sp_int]                         : &:r41_1
 #   43|     r43_1(glval<unknown>)                                 = FunctionAddress[shared_ptr_const_shared_ptr_int]       : 
@@ -8050,6 +8054,7 @@ smart_ptr.cpp:
 #   43|     v43_13(void)                                          = Call[shared_ptr_const_shared_ptr_int]                  : func:r43_1, 0:r43_12
 #   43|     mu43_14(unknown)                                      = ^CallSideEffect                                        : ~m?
 #   43|     v43_15(void)                                          = ^BufferReadSideEffect[0]                               : &:r43_12, ~m?
+#   43|     mu43_16(unknown)                                      = ^BufferMayWriteSideEffect[0]                           : &:r43_12
 #   45|     r45_1(glval<shared_ptr<const shared_ptr<const int>>>) = VariableAddress[sp_const_sp_const_int]                 : 
 #   45|     mu45_2(shared_ptr<const shared_ptr<const int>>)       = Uninitialized[sp_const_sp_const_int]                   : &:r45_1
 #   47|     r47_1(glval<unknown>)                                 = FunctionAddress[shared_ptr_const_shared_ptr_const_int] :