nir/opt_copy_prop_vars: Quiet valgrind warning about overlapping memcpy.
authorEric Anholt <eric@anholt.net>
Tue, 4 Aug 2020 23:15:04 +0000 (16:15 -0700)
committerMarge Bot <eric+marge@anholt.net>
Thu, 27 Aug 2020 21:39:50 +0000 (21:39 +0000)
The warning is kind of silly:

Test case 'dEQP-GLES2.functional.shaders.indexing.tmp_array.vec3_const_write_static_read_vertex'..
==1874780== Source and destination overlap in memcpy(0xa261690, 0xa261690, 160)
==1874780==    at 0x484D498: __GI_memcpy (vg_replace_strmem.c:1037)
==1874780==    by 0x596FC07: copy_entry_remove (nir_opt_copy_prop_vars.c:296)

The "memcpy is undefined if they overlap" thing is surely meant to be
"memcpy with *partial* overlap is undefined", but let's keep anyone else
from having to debug this.

Reviewed-by: Rob Clark <robdclark@chromium.org>
Reviewed-by: Kristian H. Kristensen <hoegsberg@google.com>
Part-of: <https://gitlab.freedesktop.org/mesa/mesa/-/merge_requests/6178>

src/compiler/nir/nir_opt_copy_prop_vars.c

index fddbf88daf9edc78af60ae2e6db310f8b7fa30f8..8b41e0e8832779e4b6ca7aa3543518a1a65a96d9 100644 (file)
@@ -290,10 +290,10 @@ static void
 copy_entry_remove(struct util_dynarray *copies,
                   struct copy_entry *entry)
 {
-   /* This also works when removing the last element since pop don't shrink
-    * the memory used by the array, so the swap is useless but not invalid.
-    */
-   *entry = util_dynarray_pop(copies, struct copy_entry);
+   const struct copy_entry *src =
+      util_dynarray_pop_ptr(copies, struct copy_entry);
+   if (src != entry)
+      *entry = *src;
 }
 
 static bool