2 files changed, 12 insertions, 1 deletions

diff --git a/mps/code/mpm.c b/mps/code/mpm.c
index 0930be4c6d3..247cbd05a56 100644
--- a/mps/code/mpm.c
+++ b/mps/code/mpm.c
@@ -226,7 +226,8 @@ Bool ResIsAllocFailure(Res res)
 static Res WriteWord(mps_lib_FILE *stream, Word w, unsigned base,
                      unsigned width)
 {
-  static const char digit[16] = "0123456789ABCDEF";
+  static const char digit[16 + 1] = "0123456789ABCDEF";
+    /* + 1 for terminator: unused, but prevents compiler warning */
   static const char pad = '0'; /* padding character */
   char buf[MPS_WORD_WIDTH + 1]; /* enough for binary, */
                                 /* plus one for terminator */
diff --git a/mps/code/testlib.c b/mps/code/testlib.c
index 7010d2484d8..8cf36491cd3 100644
--- a/mps/code/testlib.c
+++ b/mps/code/testlib.c
@@ -18,6 +18,16 @@ struct itimerspec; /* stop complaints from time.h */
 #endif
 #include <time.h>
 
+#ifdef MPS_OS_W3
+#ifdef _MSC_VER
+#pragma warning(disable: 4702)  /* unreachable code */
+ /* job000605: believed needed to prevent VC7 warning 
+  * for error() below, in which va_end is mandated by 
+  * ISO C (C99:7.15.1) even though it is unreachable.
+  */
+#endif
+#endif
+
 
 /* rnd -- a random number generator
  *