From 2aba0566375873f551a9e5f1cef7f4a995a5b1cb Mon Sep 17 00:00:00 2001 From: Joel Sherrill Date: Thu, 24 Jun 2010 13:28:54 +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 bcc1ab76f3..ca81a6c401 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 Chris Johns PR 1577/filesystem 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",