Member predicate MemoryLocation0::isAlwaysAllocatedOnStack

Holds if the location always represents memory allocated on the stack (for example, a variable with automatic storage duration).