Reports if an object allocated at a given site has at most one active object, is stack allocatable, and is replaceable by a global object.
Merge remote-tracking branch 'origin/master'