[1.8>master] [MERGE #4400 @Penguinwizzard] Tell PREfast about iterator bounds.

Merge pull request #4400 from Penguinwizzard:prefast_wasmbinaryreader

We know that the iterator will iterate over Count() elements, so we
can tell PREfast to assume that.

Author: Penguinwizzard

lib/WasmReader/WasmBinaryReader.cpp

@@ -239,6 +239,7 @@ void WasmBinaryReader::PrintOps()
     int i = 0;
     while (iter.IsValid())
     {
+        __analysis_assume(i < count);
         ops[i] = iter.CurrentKey();
         iter.MoveNext();
         ++i;