drm/i915: Satisfy smatch that a loop has at least one iteration
authorChris Wilson <chris@chris-wilson.co.uk>
Fri, 17 Jan 2020 11:06:02 +0000 (11:06 +0000)
committerChris Wilson <chris@chris-wilson.co.uk>
Fri, 17 Jan 2020 13:27:10 +0000 (13:27 +0000)
commit416d3838f76b719cb47f076df73691eeac59a6ea
tree3f77d0ac8a3c90fe0369eeea67530fe6d615aace
parentf1766e3a78c5edbf8a24baf4bb11d78ed9cf49dc
drm/i915: Satisfy smatch that a loop has at least one iteration

Smatch worries that the engine->mask may be 0 leading to the loop being
shortcircuited leaving the next pointer unset,

drivers/gpu/drm/i915/i915_active.c:667 i915_active_acquire_preallocate_barrier() error: uninitialized symbol 'next'.

Assert that mask is not 0 and smatch can then verify that next must be
initialised before use.

Signed-off-by: Chris Wilson <chris@chris-wilson.co.uk>
Cc: Tvrtko Ursulin <tvrtko.ursulin@intel.com>
Reviewed-by: Matthew Auld <matthew.auld@intel.com>
Link: https://patchwork.freedesktop.org/patch/msgid/20200117110603.2982286-1-chris@chris-wilson.co.uk
drivers/gpu/drm/i915/i915_active.c