]> git.baikalelectronics.ru Git - kernel.git/commit
sched/deadline: No need to check p if dl_se is valid
authorJuri Lelli <juri.lelli@gmail.com>
Tue, 14 Jan 2014 11:03:51 +0000 (12:03 +0100)
committerIngo Molnar <mingo@kernel.org>
Thu, 16 Jan 2014 08:27:11 +0000 (09:27 +0100)
commit86f551639c84ea6aba3ab5237e06daff1143af5e
tree6b5ba45914b56c553e83ccce277e8f963237db20
parenta34098d176012e3872be13afba5b7fd8dfa7e248
sched/deadline: No need to check p if dl_se is valid

Dan Carpenter reported new 'Smatch' warnings:

  > tree:   git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git sched/core
  > head:   5655958e16a2f7031d5b023f50a0d2e209b950f0
  > commit: f6813bd81e9cdecf08f8cf1b49fa48f49ff5cbb9 [17/50] sched/deadline: Add SCHED_DEADLINE SMP-related data structures & logic
  >
  > kernel/sched/deadline.c:937 pick_next_task_dl() warn: variable dereferenced before check 'p' (see line 934)

BUG_ON() already fires if pick_next_dl_entity() doesn't return a valid
dl_se. No need to check if p is valid afterward.

Reported-by: Dan Carpenter <dan.carpenter@oracle.com>
Signed-off-by: Juri Lelli <juri.lelli@gmail.com>
Signed-off-by: Peter Zijlstra <peterz@infradead.org>
Fixes: f6813bd81e9c ("sched/deadline: Add SCHED_DEADLINE SMP-related data structures & logic")
Link: http://lkml.kernel.org/r/52D54E25.6060100@gmail.com
Signed-off-by: Ingo Molnar <mingo@kernel.org>
kernel/sched/deadline.c