C++: Update unaliased_ir.ql to use the unaliased IR

Author: igfoo

cpp/ql/test/library-tests/ir/no-function-calls/unaliased_ir.expected

@@ -2,37 +2,32 @@ test.cpp:
 #    5| void foo(int*)
 #    5|   Block 0
 #    5|     v5_1(void)           = EnterFunction                    : 
-#    5|     m5_2(unknown)        = AliasedDefinition                : 
-#    5|     m5_3(unknown)        = InitializeNonLocal               : 
-#    5|     m5_4(unknown)        = Chi                              : total:m5_2, partial:m5_3
-#    5|     r5_5(glval<int *>)   = VariableAddress[x]               : 
-#    5|     m5_6(int *)          = InitializeParameter[x]           : &:r5_5
-#    5|     r5_7(int *)          = Load[x]                          : &:r5_5, m5_6
-#    5|     m5_8(unknown)        = InitializeIndirection[x]         : &:r5_7
-#    5|     m5_9(unknown)        = Chi                              : total:m5_4, partial:m5_8
+#    5|     mu5_2(unknown)       = AliasedDefinition                : 
+#    5|     mu5_3(unknown)       = InitializeNonLocal               : 
+#    5|     r5_4(glval<int *>)   = VariableAddress[x]               : 
+#    5|     m5_5(int *)          = InitializeParameter[x]           : &:r5_4
+#    5|     r5_6(int *)          = Load[x]                          : &:r5_4, m5_5
+#    5|     mu5_7(unknown)       = InitializeIndirection[x]         : &:r5_6
 #    6|     r6_1(glval<unknown>) = FunctionAddress[operator delete] : 
 #    6|     r6_2(glval<int *>)   = VariableAddress[x]               : 
-#    6|     r6_3(int *)          = Load[x]                          : &:r6_2, m5_6
+#    6|     r6_3(int *)          = Load[x]                          : &:r6_2, m5_5
 #    6|     v6_4(void)           = Call[operator delete]            : func:r6_1, 0:r6_3
-#    6|     m6_5(unknown)        = ^CallSideEffect                  : ~m5_9
-#    6|     m6_6(unknown)        = Chi                              : total:m5_9, partial:m6_5
+#    6|     mu6_5(unknown)       = ^CallSideEffect                  : ~m?
 #    7|     v7_1(void)           = NoOp                             : 
-#    5|     v5_10(void)          = ReturnIndirection[x]             : &:r5_7, ~m6_6
-#    5|     v5_11(void)          = ReturnVoid                       : 
-#    5|     v5_12(void)          = AliasedUse                       : ~m6_6
-#    5|     v5_13(void)          = ExitFunction                     : 
+#    5|     v5_8(void)           = ReturnIndirection[x]             : &:r5_6, ~m?
+#    5|     v5_9(void)           = ReturnVoid                       : 
+#    5|     v5_10(void)          = AliasedUse                       : ~m?
+#    5|     v5_11(void)          = ExitFunction                     : 
 
 #   11| void jazz()
 #   11|   Block 0
 #   11|     v11_1(void)           = EnterFunction        : 
-#   11|     m11_2(unknown)        = AliasedDefinition    : 
-#   11|     m11_3(unknown)        = InitializeNonLocal   : 
-#   11|     m11_4(unknown)        = Chi                  : total:m11_2, partial:m11_3
+#   11|     mu11_2(unknown)       = AliasedDefinition    : 
+#   11|     mu11_3(unknown)       = InitializeNonLocal   : 
 #   12|     r12_1(glval<unknown>) = FunctionAddress[bar] : 
 #   12|     v12_2(void)           = Call[bar]            : func:r12_1
-#   12|     m12_3(unknown)        = ^CallSideEffect      : ~m11_4
-#   12|     m12_4(unknown)        = Chi                  : total:m11_4, partial:m12_3
+#   12|     mu12_3(unknown)       = ^CallSideEffect      : ~m?
 #   13|     v13_1(void)           = NoOp                 : 
-#   11|     v11_5(void)           = ReturnVoid           : 
-#   11|     v11_6(void)           = AliasedUse           : ~m12_4
-#   11|     v11_7(void)           = ExitFunction         : 
+#   11|     v11_4(void)           = ReturnVoid           : 
+#   11|     v11_5(void)           = AliasedUse           : ~m?
+#   11|     v11_6(void)           = ExitFunction         : 

cpp/ql/test/library-tests/ir/no-function-calls/unaliased_ir.ql

@@ -3,7 +3,7 @@
  */
 
 private import cpp
-private import semmle.code.cpp.ir.implementation.aliased_ssa.PrintIR
+private import semmle.code.cpp.ir.implementation.unaliased_ssa.PrintIR
 private import PrintConfig
 
 private class PrintConfig extends PrintIRConfiguration {