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) = 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 # 6| r6_1(glval) = FunctionAddress[operator delete] : # 6| r6_2(glval) = VariableAddress[x] : # 6| r6_3(int *) = Load[x] : &:r6_2, m5_6 # 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 # 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 : # 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 # 12| r12_1(glval) = 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 # 13| v13_1(void) = NoOp : # 11| v11_5(void) = ReturnVoid : # 11| v11_6(void) = AliasedUse : ~m12_4 # 11| v11_7(void) = ExitFunction :