Avoid memcpy() with same source and destination address.

hlinnaka · hlinnaka · commit ad7b48ea08d6 · 2014-03-07T13:14:33.000+02:00
The behavior of that is undefined, although unlikely to lead to problems in
practice.

Found by running regression tests with Valgrind.
diff --git a/src/backend/tsearch/dict_ispell.c b/src/backend/tsearch/dict_ispell.c
@@ -126,20 +126,19 @@ dispell_lexize(PG_FUNCTION_ARGS)
 	if (res == NULL)
 		PG_RETURN_POINTER(NULL);
 
-	ptr = cptr = res;
-	while (ptr->lexeme)
+	cptr = res;
+	for (ptr = cptr; ptr->lexeme; ptr++)
 	{
 		if (searchstoplist(&(d->stoplist), ptr->lexeme))
 		{
 			pfree(ptr->lexeme);
 			ptr->lexeme = NULL;
-			ptr++;
 		}
 		else
 		{
-			memcpy(cptr, ptr, sizeof(TSLexeme));
+			if (cptr != ptr)
+				memcpy(cptr, ptr, sizeof(TSLexeme));
 			cptr++;
-			ptr++;
 		}
 	}
 	cptr->lexeme = NULL;
diff --git a/src/backend/utils/adt/tsvector.c b/src/backend/utils/adt/tsvector.c
@@ -124,7 +124,8 @@ uniqueentry(WordEntryIN *a, int l, char *buf, int *outbuflen)
 				buflen += res->poslen * sizeof(WordEntryPos) + sizeof(uint16);
 			}
 			res++;
-			memcpy(res, ptr, sizeof(WordEntryIN));
+			if (res != ptr)
+				memcpy(res, ptr, sizeof(WordEntryIN));
 		}
 		else if (ptr->entry.haspos)
 		{

Original file line number	Diff line number	Diff line change
`@@ -126,20 +126,19 @@ dispell_lexize(PG_FUNCTION_ARGS)`
`126`	`126`	`if (res == NULL)`
`127`	`127`	`PG_RETURN_POINTER(NULL);`
`128`	`128`
`129`		`- ptr = cptr = res;`
`130`		`- while (ptr->lexeme)`
	`129`	`+ cptr = res;`
	`130`	`+ for (ptr = cptr; ptr->lexeme; ptr++)`
`131`	`131`	`{`
`132`	`132`	`if (searchstoplist(&(d->stoplist), ptr->lexeme))`
`133`	`133`	`{`
`134`	`134`	`pfree(ptr->lexeme);`
`135`	`135`	`ptr->lexeme = NULL;`
`136`		`- ptr++;`
`137`	`136`	`}`
`138`	`137`	`else`
`139`	`138`	`{`
`140`		`- memcpy(cptr, ptr, sizeof(TSLexeme));`
	`139`	`+ if (cptr != ptr)`
	`140`	`+ memcpy(cptr, ptr, sizeof(TSLexeme));`
`141`	`141`	`cptr++;`
`142`		`- ptr++;`
`143`	`142`	`}`
`144`	`143`	`}`
`145`	`144`	`cptr->lexeme = NULL;`
Original file line number	Diff line number	Diff line change
`@@ -124,7 +124,8 @@ uniqueentry(WordEntryIN a, int l, char buf, int *outbuflen)`
`124`	`124`	`buflen += res->poslen * sizeof(WordEntryPos) + sizeof(uint16);`
`125`	`125`	`}`
`126`	`126`	`res++;`
`127`		`- memcpy(res, ptr, sizeof(WordEntryIN));`
	`127`	`+ if (res != ptr)`
	`128`	`+ memcpy(res, ptr, sizeof(WordEntryIN));`
`128`	`129`	`}`
`129`	`130`	`else if (ptr->entry.haspos)`
`130`	`131`	`{`