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 6e357901ab7d43640e1c8fc33269ef69b893b035..3caadcbf5dc2da7b8634cec8e56e74f589ada2df 100644 (file)
--- 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) {