Re:Incrementing vectors
by amelius on Tuesday August 27, 2019 @12:40PM
(#20811626)
> how, without whole program compilation?
Dataflow analysis. If size() depends on values that are in one malloc'ed block, and the vector elements are in a different malloc'ed block, then you know there is no aliasing. (For example).
Dataflow analysis. If size() depends on values that are in one malloc'ed block, and the vector elements are in a different malloc'ed block, then you know there is no aliasing. (For example).