[LLVMdev] A very basic doubt about LLVM Alias Analysis

[Daniel Berlin]

>
> Because the pointers being used aren't named i & j anymore.
>  MayAlias:    i32* %2, i32* %4
>  MayAlias:    i32* %2, i32* %k
>  MayAlias:    i32* %4, i32* %k
>
>  %2 = load i32** %j, align 4                     ; <i32*> [#uses=1]
>  %4 = load i32** %i, align 4                     ; <i32*> [#uses=1]
>

In general, you can't expect the names of variables in the bitcode
will have any relationship to the names of variables in the source
program.
You can figure out the mapping using debug info, but expecting the
output of aa-eval and printing to tell you anything about the source
itself
is a bad idea.