Displaying 1 result from an estimated 1 matches for "constantfold_8cpp_sourc".
Did you mean:
constantfold_8cpp_source
2015 Nov 05
4
AA and external globals
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.