diff options
| author | Simon Glass <sjg@chromium.org> | 2017-06-07 10:28:44 -0600 |
|---|---|---|
| committer | Tom Rini <trini@konsulko.com> | 2017-06-12 08:38:10 -0400 |
| commit | 4f414d392fb5d7c4ac547c4ee9f02b81648c00dd (patch) | |
| tree | b224d8442f1822a9c260f9d14e9b56ffe3fc0224 /lib/efi_loader/Makefile | |
| parent | 9eace7f59ee4a37a678e4b57dc3fe532283f9226 (diff) | |
test: bus: Add a check that dev is not NULL
We know that uclass_get_device() and device_find_child_by_of_offset() do
not return NULL for dev when they succeeds but coverity does not. Add an
extra check to hopefully keep it happy.
Signed-off-by: Simon Glass <sjg@chromium.org>
Reported-by: Coverity (CID: 163246)
Fixes: 0753bc2 (dm: Simple Watchdog uclass)
Diffstat (limited to 'lib/efi_loader/Makefile')
0 files changed, 0 insertions, 0 deletions