From eb8c45dfdf878614e2ea9cecbe3187058b92e020 Mon Sep 17 00:00:00 2001 From: Joel Sherrill Date: Thu, 24 Jun 2010 13:28:39 +0000 Subject: [PATCH] 2010-06-24 Joel Sherrill PR 1587/filesystem Coverity Id 35 * libfs/src/rfs/rtems-rfs-shell.c: Address possible NULL dereference. --- cpukit/ChangeLog | 6 ++++++ cpukit/libfs/src/rfs/rtems-rfs-shell.c | 5 +++++ 2 files changed, 11 insertions(+) diff --git a/cpukit/ChangeLog b/cpukit/ChangeLog index d55838fa8a..f90f41ee95 100644 --- a/cpukit/ChangeLog +++ b/cpukit/ChangeLog @@ -1,3 +1,9 @@ +2010-06-24 Joel Sherrill + + PR 1587/filesystem + Coverity Id 35 + * libfs/src/rfs/rtems-rfs-shell.c: Address possible NULL dereference. + 2010-06-23 Joel Sherrill * libmisc/stackchk/check.c: More clean up and coverage improvements.. diff --git a/cpukit/libfs/src/rfs/rtems-rfs-shell.c b/cpukit/libfs/src/rfs/rtems-rfs-shell.c index c192c9d0fe..a11b68cecf 100644 --- a/cpukit/libfs/src/rfs/rtems-rfs-shell.c +++ b/cpukit/libfs/src/rfs/rtems-rfs-shell.c @@ -738,6 +738,11 @@ rtems_shell_rfs_format (int argc, char* argv[]) } } + if (!driver) { + printf ("error: no driver name provided\n"); + return 1; + } + if (rtems_rfs_format (driver, &config) < 0) { printf ("error: format of %s failed: %s\n",