X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=lib%2Fdpif-linux.c;h=a1a666bddaa64aced1945007d2d390f08842db2c;hb=85ab0a021523e51435539af0e6a138c73c9846a2;hp=4d8c8048ddf1496d1fb60dbb101c4234dc6fdff8;hpb=00908dc27a4d93bd1c5bda3bcdc84ec351e9a09a;p=openvswitch

diff --git a/lib/dpif-linux.c b/lib/dpif-linux.c
index 4d8c8048..a1a666bd 100644
--- a/lib/dpif-linux.c
+++ b/lib/dpif-linux.c
@@ -104,7 +104,8 @@ dpif_linux_open(const char *name UNUSED, char *suffix, bool create,
 {
     int minor;
 
-    minor = !strncmp(name, "dp", 2) && isdigit(name[2]) ? atoi(name + 2) : -1;
+    minor = !strncmp(name, "dp", 2)
+            && isdigit((unsigned char)name[2]) ? atoi(name + 2) : -1;
     if (create) {
         if (minor >= 0) {
             return create_minor(suffix, minor, dpifp);