mem: Fix initial value problem with MemChecker
authorStephan Diestelhorst <stephan.diestelhorst@arm.com>
Mon, 16 Feb 2015 08:34:47 +0000 (03:34 -0500)
committerStephan Diestelhorst <stephan.diestelhorst@arm.com>
Mon, 16 Feb 2015 08:34:47 +0000 (03:34 -0500)
commit93fa8e3cd4033e42869cc4f024e9ad8c8c9427e4
tree41c755e316c6643deb0872813900c0e698d12c96
parent661dac1598183f13d83435aa2f8ccf317284a055
mem: Fix initial value problem with MemChecker

In highly loaded cases, reads might actually overlap with writes to the
initial memory state. The mem checker needs to detect such cases and
permit the read reading either from the writes (what it is doing now) or
read from the initial, unknown value.

This patch adds this logic.
src/mem/mem_checker.cc