summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorSimon McVittie <simon.mcvittie@collabora.co.uk>2017-01-17 20:41:17 +0000
committerSimon McVittie <smcv@collabora.com>2017-04-07 12:07:01 +0100
commit40560fa0c7ec921c8144296c72a80d20f403b8bf (patch)
tree669ec1db2dc0fac371e3ff494815119b1ec9b6e7 /tools
parentec6cf23718db402fd2c48cf1a76749d999af8fd2 (diff)
downloaddbus-40560fa0c7ec921c8144296c72a80d20f403b8bf.tar.gz
test, tools: assert impossible values of local enums are not reached
Based on part of a patch from Thomas Zimmermann. Signed-off-by: Simon McVittie <smcv@collabora.com> Reviewed-by: Philip Withnall <withnall@endlessm.com> Bug: https://bugs.freedesktop.org/show_bug.cgi?id=98191
Diffstat (limited to 'tools')
-rw-r--r--tools/dbus-cleanup-sockets.c1
-rw-r--r--tools/dbus-launch.c6
-rw-r--r--tools/dbus-monitor.c10
-rw-r--r--tools/dbus-run-session.c4
4 files changed, 19 insertions, 2 deletions
diff --git a/tools/dbus-cleanup-sockets.c b/tools/dbus-cleanup-sockets.c
index 1b6709af..994e57ed 100644
--- a/tools/dbus-cleanup-sockets.c
+++ b/tools/dbus-cleanup-sockets.c
@@ -328,6 +328,7 @@ handle_sockets (SocketEntry **entries,
break;
case SOCKET_UNLINKED:
+ default:
fprintf (stderr, "Bad status from open_socket(), should not happen\n");
exit (1);
break;
diff --git a/tools/dbus-launch.c b/tools/dbus-launch.c
index 65287af6..75f39cf0 100644
--- a/tools/dbus-launch.c
+++ b/tools/dbus-launch.c
@@ -709,6 +709,8 @@ babysit (int exit_with_session,
strerror (errno));
exit (1);
break;
+ default:
+ _dbus_assert_not_reached ("Invalid read result");
}
verbose ("Got PID %ld from daemon\n",
@@ -1328,6 +1330,8 @@ main (int argc, char **argv)
strerror (errno));
exit (1);
break;
+ default:
+ _dbus_assert_not_reached ("Invalid read result");
}
close (bus_address_to_launcher_pipe[READ_END]);
@@ -1347,6 +1351,8 @@ main (int argc, char **argv)
strerror (errno));
exit (1);
break;
+ default:
+ _dbus_assert_not_reached ("Invalid read result");
}
end = NULL;
diff --git a/tools/dbus-monitor.c b/tools/dbus-monitor.c
index aa28447f..4edee29e 100644
--- a/tools/dbus-monitor.c
+++ b/tools/dbus-monitor.c
@@ -21,7 +21,7 @@
#include <config.h>
-#include "dbus/dbus-internals.h" /* just for the macros */
+#include "dbus/dbus-internals.h"
#include <stdio.h>
#include <stdlib.h>
@@ -240,6 +240,10 @@ binary_filter_func (DBusConnection *connection,
}
break;
+ case BINARY_MODE_NOT:
+ _dbus_assert_not_reached ("wrong filter function");
+ break;
+
case BINARY_MODE_RAW:
default:
/* nothing special, just the raw message stream */
@@ -474,8 +478,10 @@ main (int argc, char *argv[])
case DBUS_BUS_SESSION:
where = "session bus";
break;
+ case DBUS_BUS_STARTER:
default:
- where = "";
+ /* We don't set type to anything else */
+ _dbus_assert_not_reached ("impossible bus type");
}
}
fprintf (stderr, "Failed to open connection to %s: %s\n",
diff --git a/tools/dbus-run-session.c b/tools/dbus-run-session.c
index 135f5d21..0adb5ad1 100644
--- a/tools/dbus-run-session.c
+++ b/tools/dbus-run-session.c
@@ -37,6 +37,7 @@
#include <signal.h>
#include "dbus/dbus.h"
+#include "dbus/dbus-internals.h"
#define MAX_ADDR_LEN 512
#define PIPE_READ_END 0
@@ -386,6 +387,9 @@ main (int argc, char **argv)
me, strerror (errno));
return 127;
break;
+
+ default:
+ _dbus_assert_not_reached ("invalid read result");
}
close (bus_address_pipe[PIPE_READ_END]);