diff src/os/windows/vm/os_windows.cpp @ 9088:89e4d67fdd2a

Merge
author Gilles Duboscq <duboscq@ssw.jku.at>
date Fri, 12 Apr 2013 14:05:42 +0200
parents b9a918201d47 8be1318fbe77
children 43223d3f5dcd
line wrap: on
line diff
--- a/src/os/windows/vm/os_windows.cpp	Fri Apr 12 11:24:56 2013 +0200
+++ b/src/os/windows/vm/os_windows.cpp	Fri Apr 12 14:05:42 2013 +0200
@@ -1182,6 +1182,9 @@
   } else if (strchr(pname, *os::path_separator()) != NULL) {
     int n;
     char** pelements = split_path(pname, &n);
+    if (pelements == NULL) {
+      return false;
+    }
     for (int i = 0 ; i < n ; i++) {
       char* path = pelements[i];
       // Really shouldn't be NULL, but check can't hurt