[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Qemu-devel] [PATCH] monitor: assert monitor_puts()'s loop invariant
From: |
Markus Armbruster |
Subject: |
[Qemu-devel] [PATCH] monitor: assert monitor_puts()'s loop invariant |
Date: |
Thu, 10 Jan 2013 14:10:22 +0100 |
Chiefly to hush up Coverity.
Signed-off-by: Markus Armbruster <address@hidden>
---
monitor.c | 1 +
1 file changed, 1 insertion(+)
diff --git a/monitor.c b/monitor.c
index 9cf419b..c6eac60 100644
--- a/monitor.c
+++ b/monitor.c
@@ -270,6 +270,7 @@ static void monitor_puts(Monitor *mon, const char *str)
char c;
for(;;) {
+ assert(mon->outbuf_index < sizeof(mon->outbuf) - 1);
c = *str++;
if (c == '\0')
break;
--
1.7.11.7
- [Qemu-devel] [PATCH] monitor: assert monitor_puts()'s loop invariant,
Markus Armbruster <=