Returns true if the load or store can be analyzed. Atomic and volatile operations have properties which this analysis does not understand.
source not stored for this graph (policy: none)
no test coverage detected