Alias sets for function 'main': Alias Set Tracker: 7 alias sets for 21 pointer values. AliasSet[0x9c97c80, 1] must alias, Mod Pointers: (i32* %retval, LocationSize::precise(4)) AliasSet[0x9c97d20, 7] may alias, Mod/Ref Pointers: (i8* %0, LocationSize::precise(4)), (i32* %a, LocationSize::precise(4)), (i32* %7, LocationSize::precise(4)), (i32* %9, LocationSize::precise(4)), (i32* %11, LocationSize::precise(4)), (i8* %19, LocationSize::precise(4)) 1 Unknown instructions: i32 %call AliasSet[0x9c97e10, 3] must alias, Mod/Ref Pointers: (i8* %1, LocationSize::precise(4)), (i32* %b, LocationSize::precise(4)), (i8* %18, LocationSize::precise(4)) AliasSet[0x9c97f00, 3] must alias, Mod/Ref Pointers: (i8* %2, LocationSize::precise(8)), (i32** %ptra, LocationSize::precise(8)), (i8* %17, LocationSize::precise(8)) AliasSet[0x9c97fa0, 3] must alias, Mod/Ref Pointers: (i8* %3, LocationSize::precise(8)), (i32** %ptrb, LocationSize::precise(8)), (i8* %16, LocationSize::precise(8)) AliasSet[0x9c98040, 2] must alias, Mod/Ref Pointers: (i8* %4, LocationSize::precise(4)), (i8* %15, LocationSize::precise(4)) AliasSet[0x9c980e0, 3] must alias, Mod/Ref Pointers: (i8* %5, LocationSize::precise(4)), (i32* %sum, LocationSize::precise(4)), (i8* %14, LocationSize::precise(4)) Alias sets for function 'addNumbers': Alias Set Tracker: 4 alias sets for 9 pointer values. AliasSet[0x9c981d0, 1] must alias, Mod/Ref Pointers: (i32* %a.addr, LocationSize::precise(4)) AliasSet[0x9c95ec0, 2] may alias, Mod/Ref Pointers: (i32* %b.addr, LocationSize::precise(4)), (i32* %3, LocationSize::precise(4)) AliasSet[0x9c95f60, 3] must alias, Mod/Ref Pointers: (i8* %0, LocationSize::precise(4)), (i32* %result, LocationSize::precise(4)), (i8* %7, LocationSize::precise(4)) AliasSet[0x9c96000, 3] must alias, Mod/Ref Pointers: (i8* %1, LocationSize::precise(8)), (i32** %notResult, LocationSize::precise(8)), (i8* %6, LocationSize::precise(8)) ===== Alias Analysis Evaluator Report ===== 289 Total Alias Queries Performed 246 no alias responses (85.1%) 19 may alias responses (6.5%) 0 partial alias responses (0.0%) 24 must alias responses (8.3%) Alias Analysis Evaluator Pointer Alias Summary: 85%/6%/0%/8% 503 Total ModRef Queries Performed 420 no mod/ref responses (83.4%) 0 mod responses (0.0%) 0 ref responses (0.0%) 19 mod & ref responses (3.7%) 0 must responses (0.0%) 0 must mod responses (0.0%) 0 must ref responses (0.0%) 64 must mod & ref responses (12.7%) Alias Analysis Evaluator Mod/Ref Summary: 83%/0%/0%/3%/0%/0%/0%/12% Printing analysis 'Exhaustive Alias Analysis Precision Evaluator' for function 'main': Pass::print not implemented for pass: 'Exhaustive Alias Analysis Precision Evaluator'! Printing analysis 'Alias Set Printer' for function 'main': Pass::print not implemented for pass: 'Alias Set Printer'! Printing analysis 'Exhaustive Alias Analysis Precision Evaluator' for function 'addNumbers': Pass::print not implemented for pass: 'Exhaustive Alias Analysis Precision Evaluator'! Printing analysis 'Alias Set Printer' for function 'addNumbers': Pass::print not implemented for pass: 'Alias Set Printer'!