* debugger/mcs51/break.c, debugger/mcs51/cmd.c,
[fw/sdcc] / src / SDCCasm.c
index 08d373031d284025f6f3bb03e32aae8fdab5adc3..383c40a43720ccce6623e080f5b09b6e085ddeb2 100644 (file)
@@ -212,6 +212,7 @@ tfprintf (FILE *fp, const char *szFormat, ...)
   va_list ap;
   struct dbuf_s dbuf;
   size_t len;
+  size_t res;
 
   dbuf_init (&dbuf, INITIAL_INLINEASM);
 
@@ -220,7 +221,8 @@ tfprintf (FILE *fp, const char *szFormat, ...)
   va_end (ap);
 
   len = dbuf_get_length (&dbuf);
-  fwrite(dbuf_get_buf (&dbuf), 1, len, fp);
+  res = fwrite(dbuf_get_buf (&dbuf), 1, len, fp);
+  assert(res == len);
   dbuf_destroy (&dbuf);
 }