From: Paul Durrant <paul.durrant@citrix.com>
Date: Tue, 3 Mar 2015 10:28:33 +0000 (+0000)
Subject: A further VS2013 SDV fix
X-Git-Tag: 8.1.0-rc1~24
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=882c60d3c2f20b81ef145a0bea1d80d8933c32fe;p=pvdrivers%2Fwin%2Fxenvbd.git

A further VS2013 SDV fix

Signed-off-by: Paul Durrant <paul.durrant@citrix.com>
---

diff --git a/src/xenvbd/buffer.c b/src/xenvbd/buffer.c
index 6e35790..3caadcb 100644
--- a/src/xenvbd/buffer.c
+++ b/src/xenvbd/buffer.c
@@ -129,6 +129,7 @@ __IsOnList(
     ASSERT3P(ListHead, !=, ListItem);
     ASSERT3U(KeGetCurrentIrql(), ==, DISPATCH_LEVEL);
 
+#pragma prefast(suppress:6011)
     for (Entry = ListHead->Flink; Entry != ListHead; Entry = Entry->Flink) {
         ASSERT3P(Entry, !=, NULL);
         if (Entry == ListItem) {