--- bashline.c +++ bashline.c 2010-03-09 14:11:27.612626475 +0000 @@ -1700,6 +1700,13 @@ globword: return ((char *)NULL); } + if (GLOB_FAILED (glob_matches) || glob_matches == 0) + { + glob_ignore_case = old_glob_ignore_case; + glob_matches = (char **)NULL; + return ((char *)NULL); + } + while (val = glob_matches[local_index++]) { if (executable_or_directory (val))