From b08c2e870c2ec58270a9f1a79d2811ef593fb80f Mon Sep 17 00:00:00 2001
From: David Maciejak <david.maciejak@gmail.com>
Date: Sun, 27 Jul 2014 14:25:24 +0800
Subject: [PATCH 4/4] wmaker: main.c fix realloc mistake

As reported by cppcheck:
[src/main.c:141]: (error) Common realloc mistake: 'wVisualID' nulled but not freed upon failure

The patch is using wrealloc instead of the standard realloc().
---
 src/main.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main.c b/src/main.c
index bc14721..df8bf4a 100644
--- a/src/main.c
+++ b/src/main.c
@@ -138,7 +138,7 @@ static void setWVisualID(int screen, int val)
 		int oldlen = wVisualID_len;
 
 		wVisualID_len = screen + 1;
-		wVisualID = (int *)realloc(wVisualID, wVisualID_len * sizeof(int));
+		wVisualID = (int *)wrealloc(wVisualID, wVisualID_len * sizeof(int));
 		for (i = oldlen; i < wVisualID_len; i++) {
 			wVisualID[i] = -1;
 		}
-- 
1.8.3.2

