This routine was calling ecpg_alloc to allocate to memory but did not

Michael Meskes · Michael Meskes · commit d4215954747e · 2015-08-12T13:58:16.000+02:00
actually check the returned pointer allocated, potentially NULL which
could be the result of a malloc call.

Issue noted by Coverity, fixed by Michael Paquier &lt;michael@otacoo.com&gt;
diff --git a/src/interfaces/ecpg/ecpglib/descriptor.c b/src/interfaces/ecpg/ecpglib/descriptor.c
@@ -410,12 +410,11 @@ ECPGget_desc(int lineno, const char *desc_name, int index,...)
 				/* allocate storage if needed */
 				if (arrsize == 0 && *(void **) var == NULL)
 				{
-					void	   *mem = (void *) ecpg_alloc(offset * ntuples, lineno);
+					void	   *mem = (void *) ecpg_auto_alloc(offset * ntuples, lineno);
 
 					if (!mem)
 						return false;
 					*(void **) var = mem;
-					ecpg_add_mem(mem, lineno);
 					var = mem;
 				}
 
@@ -480,12 +479,11 @@ ECPGget_desc(int lineno, const char *desc_name, int index,...)
 		/* allocate storage if needed */
 		if (data_var.ind_arrsize == 0 && data_var.ind_value == NULL)
 		{
-			void	   *mem = (void *) ecpg_alloc(data_var.ind_offset * ntuples, lineno);
+			void	   *mem = (void *) ecpg_auto_alloc(data_var.ind_offset * ntuples, lineno);
 
 			if (!mem)
 				return false;
 			*(void **) data_var.ind_pointer = mem;
-			ecpg_add_mem(mem, lineno);
 			data_var.ind_value = mem;
 		}
 
diff --git a/src/interfaces/ecpg/ecpglib/execute.c b/src/interfaces/ecpg/ecpglib/execute.c
@@ -402,23 +402,21 @@ ecpg_store_result(const PGresult *results, int act_field,
 		}
 
 		ecpg_log("ecpg_store_result on line %d: allocating memory for %d tuples\n", stmt->lineno, ntuples);
-		var->value = (char *) ecpg_alloc(len, stmt->lineno);
+		var->value = (char *) ecpg_auto_alloc(len, stmt->lineno);
 		if (!var->value)
 			return false;
 		*((char **) var->pointer) = var->value;
-		ecpg_add_mem(var->value, stmt->lineno);
 	}
 
 	/* allocate indicator variable if needed */
 	if ((var->ind_arrsize == 0 || var->ind_varcharsize == 0) && var->ind_value == NULL && var->ind_pointer != NULL)
 	{
 		int			len = var->ind_offset * ntuples;
 
-		var->ind_value = (char *) ecpg_alloc(len, stmt->lineno);
+		var->ind_value = (char *) ecpg_auto_alloc(len, stmt->lineno);
 		if (!var->ind_value)
 			return false;
 		*((char **) var->ind_pointer) = var->ind_value;
-		ecpg_add_mem(var->ind_value, stmt->lineno);
 	}
 
 	/* fill the variable with the tuple(s) */
diff --git a/src/interfaces/ecpg/ecpglib/extern.h b/src/interfaces/ecpg/ecpglib/extern.h
@@ -124,8 +124,7 @@ struct variable
 
 /* Here are some methods used by the lib. */
 
-/* Returns a pointer to a string containing a simple type name. */
-void		ecpg_add_mem(void *ptr, int lineno);
+bool		ecpg_add_mem(void *ptr, int lineno);
 
 bool ecpg_get_data(const PGresult *, int, int, int, enum ECPGttype type,
 			  enum ECPGttype, char *, char *, long, long, long,
@@ -136,6 +135,7 @@ void		ecpg_pthreads_init(void);
 #endif
 struct connection *ecpg_get_connection(const char *);
 char	   *ecpg_alloc(long, int);
+char	   *ecpg_auto_alloc(long, int);
 char	   *ecpg_realloc(void *, long, int);
 void		ecpg_free(void *);
 bool		ecpg_init(const struct connection *, const char *, const int);
diff --git a/src/interfaces/ecpg/ecpglib/memory.c b/src/interfaces/ecpg/ecpglib/memory.c
@@ -103,14 +103,34 @@ static struct auto_mem *auto_allocs = NULL;
 #define set_auto_allocs(am)		do { auto_allocs = (am); } while(0)
 #endif
 
-void
+char *
+ecpg_auto_alloc(long size, int lineno)
+{
+	void	*ptr = (void *) ecpg_alloc(size, lineno);
+
+	if (!ptr)
+		return NULL;
+
+	if (!ecpg_add_mem(ptr, lineno))
+	{
+		ecpg_free(ptr);
+		return NULL;
+	}
+	return ptr;
+}
+
+bool
 ecpg_add_mem(void *ptr, int lineno)
 {
 	struct auto_mem *am = (struct auto_mem *) ecpg_alloc(sizeof(struct auto_mem), lineno);
 
+	if (!am)
+		return false;
+
 	am->pointer = ptr;
 	am->next = get_auto_allocs();
 	set_auto_allocs(am);
+	return true;
 }
 
 void

Original file line number	Diff line number	Diff line change
`@@ -410,12 +410,11 @@ ECPGget_desc(int lineno, const char *desc_name, int index,...)`
`410`	`410`	`/* allocate storage if needed */`
`411`	`411`	`if (arrsize == 0 && (void *) var == NULL)`
`412`	`412`	`{`
`413`		`- void mem = (void ) ecpg_alloc(offset * ntuples, lineno);`
	`413`	`+ void mem = (void ) ecpg_auto_alloc(offset * ntuples, lineno);`
`414`	`414`
`415`	`415`	`if (!mem)`
`416`	`416`	`return false;`
`417`	`417`	`(void *) var = mem;`
`418`		`- ecpg_add_mem(mem, lineno);`
`419`	`418`	`var = mem;`
`420`	`419`	`}`
`421`	`420`
`@@ -480,12 +479,11 @@ ECPGget_desc(int lineno, const char *desc_name, int index,...)`
`480`	`479`	`/* allocate storage if needed */`
`481`	`480`	`if (data_var.ind_arrsize == 0 && data_var.ind_value == NULL)`
`482`	`481`	`{`
`483`		`- void mem = (void ) ecpg_alloc(data_var.ind_offset * ntuples, lineno);`
	`482`	`+ void mem = (void ) ecpg_auto_alloc(data_var.ind_offset * ntuples, lineno);`
`484`	`483`
`485`	`484`	`if (!mem)`
`486`	`485`	`return false;`
`487`	`486`	`(void *) data_var.ind_pointer = mem;`
`488`		`- ecpg_add_mem(mem, lineno);`
`489`	`487`	`data_var.ind_value = mem;`
`490`	`488`	`}`
`491`	`489`
Original file line number	Diff line number	Diff line change
`@@ -402,23 +402,21 @@ ecpg_store_result(const PGresult *results, int act_field,`
`402`	`402`	`}`
`403`	`403`
`404`	`404`	`ecpg_log("ecpg_store_result on line %d: allocating memory for %d tuples\n", stmt->lineno, ntuples);`
`405`		`- var->value = (char *) ecpg_alloc(len, stmt->lineno);`
	`405`	`+ var->value = (char *) ecpg_auto_alloc(len, stmt->lineno);`
`406`	`406`	`if (!var->value)`
`407`	`407`	`return false;`
`408`	`408`	`((char *) var->pointer) = var->value;`
`409`		`- ecpg_add_mem(var->value, stmt->lineno);`
`410`	`409`	`}`
`411`	`410`
`412`	`411`	`/* allocate indicator variable if needed */`
`413`	`412`	`if ((var->ind_arrsize == 0 \|\| var->ind_varcharsize == 0) && var->ind_value == NULL && var->ind_pointer != NULL)`
`414`	`413`	`{`
`415`	`414`	`int len = var->ind_offset * ntuples;`
`416`	`415`
`417`		`- var->ind_value = (char *) ecpg_alloc(len, stmt->lineno);`
	`416`	`+ var->ind_value = (char *) ecpg_auto_alloc(len, stmt->lineno);`
`418`	`417`	`if (!var->ind_value)`
`419`	`418`	`return false;`
`420`	`419`	`((char *) var->ind_pointer) = var->ind_value;`
`421`		`- ecpg_add_mem(var->ind_value, stmt->lineno);`
`422`	`420`	`}`
`423`	`421`
`424`	`422`	`/* fill the variable with the tuple(s) */`