[llvm-dev] AA and external globals

[Daniel Berlin via llvm-dev]

I'm curious why you don't use the existing CFL-AA implementation?
Or is this just an experiment/learning experience/whatever?

On Thu, Nov 5, 2015 at 1:00 PM, Christian Convey via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> I'm working on an AA implementation, and I'm using abstract blocks to
> model the memory used to store the values of program variables.
>
> To be sound my analysis must ensure that all program objects which *might
> possibly* occupy the same chunk of runtime memory are modeled with the
> same abstract memory block.  I'm trying to understand if "external" linkage
> is a problem for me.
>
> More concretely, suppose I have a Module which includes these declarations:
> @Bar = external global i32
> @Foo = external global i32
>
> Is there any reasonable possibility that the linker will cause @Bar and
> @Foo to name the same piece of runtime memory?
>

Do you want "what's legal in some particular language" or "what may ever
happen"?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20151105/aa9a118a/attachment.html>