diff -r 221947618683 -r 928ce92a062c src/mem/cache/mshr.cc --- a/src/mem/cache/mshr.cc Thu Dec 24 09:22:48 2015 +0100 +++ b/src/mem/cache/mshr.cc Thu Dec 24 09:25:50 2015 +0100 @@ -323,6 +323,15 @@ { DPRINTF(Cache, "%s for %s addr %#llx size %d\n", __func__, pkt->cmdString(), pkt->getAddr(), pkt->getSize()); + + // when we snoop packets the needsExclusive and isInvalidate flags + // should always be the same, however, this assumes that we never + // snoop writes as they are currently not marked as invalidations + panic_if(pkt->needsExclusive() != pkt->isInvalidate(), + "%s got snoop %s to addr %#llx where needsExclusive, " + "does not match isInvalidate", name(), pkt->cmdString(), + pkt->getAddr()); + if (!inService || (pkt->isExpressSnoop() && downstreamPending)) { // Request has not been issued yet, or it's been issued // locally but is buffered unissued at some downstream cache