From 3172501a590cff710568f016264b83b345458f19 Mon Sep 17 00:00:00 2001
From: Nikos Nikoleris <nikos.nikoleris@arm.com>
Date: Mon, 5 Dec 2016 16:48:24 -0500
Subject: [PATCH] mem: Assert that the responderHadWritable is set only once

Change-Id: Ie3beeef25331f84a0a5bcc17f7a791f4a829695b
Reviewed-by: Andreas Hansson <andreas.hansson@arm.com>
Reviewed-by: Stephan Diestelhorst <stephan.diestelhorst@arm.com>
---
 src/mem/packet.hh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/mem/packet.hh b/src/mem/packet.hh
index b6a0e7c7d..74a2de135 100644
--- a/src/mem/packet.hh
+++ b/src/mem/packet.hh
@@ -612,6 +612,7 @@ class Packet : public Printable
     void setResponderHadWritable()
     {
         assert(cacheResponding());
+        assert(!responderHadWritable());
         flags.set(RESPONDER_HAD_WRITABLE);
     }
     bool responderHadWritable() const