From: Rob Clark Date: Thu, 2 Jun 2016 14:36:23 +0000 (-0400) Subject: freedreno: fix coverity negative array index warning X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1632b0eac02cd8911c04115cb6b4693f7dcb16bb;p=mesa.git freedreno: fix coverity negative array index warning Never can happen, since query would not have been created in the first place if pidx(query_type) return negative. Lets let coverity realize this. CID 1362460 Signed-off-by: Rob Clark --- diff --git a/src/gallium/drivers/freedreno/freedreno_query_hw.c b/src/gallium/drivers/freedreno/freedreno_query_hw.c index 2ac03f22b41..04452efadcd 100644 --- a/src/gallium/drivers/freedreno/freedreno_query_hw.c +++ b/src/gallium/drivers/freedreno/freedreno_query_hw.c @@ -61,6 +61,8 @@ get_sample(struct fd_context *ctx, struct fd_ringbuffer *ring, struct fd_hw_sample *samp = NULL; int idx = pidx(query_type); + assume(idx >= 0); /* query never would have been created otherwise */ + if (!ctx->sample_cache[idx]) { ctx->sample_cache[idx] = ctx->sample_providers[idx]->get_sample(ctx, ring);