si_descriptor: move velems nullity check before dereference
authorJulien Isorce <jisorce@oblong.com>
Thu, 16 Mar 2017 13:09:21 +0000 (13:09 +0000)
committerJulien Isorce <jisorce@oblong.com>
Mon, 20 Mar 2017 18:01:51 +0000 (18:01 +0000)
CID 1399479: Dereference before null check (REVERSE_INULL)
check_after_deref: Null-checking velems suggests that it may be null,
but it has already been dereferenced on all paths leading to the check.

Signed-off-by: Julien Isorce <jisorce@oblong.com>
Reviewed-by: Marek Olšák <marek.olsak@amd.com>
src/gallium/drivers/radeonsi/si_descriptors.c

index eb79578b3475d27359574191394912fc24657b32..2e62725e9caf8daf8e66051f8934adf7ac0345c1 100644 (file)
@@ -949,15 +949,22 @@ bool si_upload_vertex_buffer_descriptors(struct si_context *sctx)
 {
        struct si_vertex_element *velems = sctx->vertex_elements;
        struct si_descriptors *desc = &sctx->vertex_buffers;
-       unsigned i, count = velems->count;
-       unsigned desc_list_byte_size = velems->desc_list_byte_size;
+       unsigned i, count;
+       unsigned desc_list_byte_size;
+       unsigned first_vb_use_mask;
        uint64_t va;
        uint32_t *ptr;
 
-       if (!sctx->vertex_buffers_dirty || !count || !velems)
+       if (!sctx->vertex_buffers_dirty || !velems)
                return true;
 
-       unsigned first_vb_use_mask = velems->first_vb_use_mask;
+       count = velems->count;
+
+       if (!count)
+               return true;
+
+       desc_list_byte_size = velems->desc_list_byte_size;
+       first_vb_use_mask = velems->first_vb_use_mask;
 
        /* Vertex buffer descriptors are the only ones which are uploaded
         * directly through a staging buffer and don't go through