Hello Paolo Valente,

This is a semi-automatic email about new static checker warnings.

The patch 24bfd19bb789: "block, bfq: update blkio stats outside the 
scheduler lock" from Nov 13, 2017, leads to the following Smatch 
complaint:

    block/bfq-iosched.c:5013 __bfq_insert_request()
    error: we previously assumed 'bfqq' could be null (see line 5008)

block/bfq-iosched.c
  5007  
  5008          waiting = bfqq && bfq_bfqq_wait_request(bfqq);
                          ^^^^
The patch adds a NULL check here.  Hopefully it's not required because

  5009          bfq_add_request(rq);
  5010          idle_timer_disabled = waiting && !bfq_bfqq_wait_request(bfqq);
  5011  
  5012          rq->fifo_time = ktime_get_ns() + 
bfqd->bfq_fifo_expire[rq_is_sync(rq)];
  5013          list_add_tail(&rq->queuelist, &bfqq->fifo);
                                              ^^^^^^^^^^^
the existing code assumes "bfqq" is valid.

  5014  
  5015          bfq_rq_enqueued(bfqd, bfqq, rq);

regards,
dan carpenter

Reply via email to