From 3c6502a111c238ad7cffa658973e4e80bdb554ce Mon Sep 17 00:00:00 2001
From: Christoph Borchert <christoph.borchert@tu-dortmund.de>
Date: Fri, 9 Sep 2016 10:46:41 +0200
Subject: [PATCH] ecos_kernel_test: check if addr_errors_corrected is mapped
 before access

Change-Id: I08e751feeffc41a51312b8a9ad4b28a57a45a487
---
 src/experiments/ecos_kernel_test/experiment.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/experiments/ecos_kernel_test/experiment.cc b/src/experiments/ecos_kernel_test/experiment.cc
index 5b0b50e4..32d38279 100644
--- a/src/experiments/ecos_kernel_test/experiment.cc
+++ b/src/experiments/ecos_kernel_test/experiment.cc
@@ -756,7 +756,7 @@ bool EcosKernelTestExperiment::faultInjection() {
 		result->set_latest_ip(simulator.getCPU(0).getInstructionPointer());
 
 		// record error_corrected regardless of result
-		if (addr_errors_corrected != ADDR_INV) {
+                if ( (addr_errors_corrected != ADDR_INV) && mm.isMapped(addr_errors_corrected) ) {
 			int32_t error_corrected = mm.getByte(addr_errors_corrected);
 			result->set_error_corrected(error_corrected ? result->TRUE : result->FALSE);
 		} else {