- Fix undefined behavior when device_get_name is null

- Make error message more informative

PR:		kern/149800
Submitted by:	olgeni
Approved by:	cperciva
MFC after:	1 week
This commit is contained in:
Eitan Adler 2012-01-15 07:09:18 +00:00
parent ae09ab8f63
commit 886e862866
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=230125

View file

@ -2020,9 +2020,15 @@ device_probe_child(device_t dev, device_t child)
if (!hasclass) {
if (device_set_devclass(child,
dl->driver->name) != 0) {
char const * devname =
device_get_name(child);
if (devname == NULL)
devname = "(unknown)";
printf("driver bug: Unable to set "
"devclass (devname: %s)\n",
device_get_name(child));
"devclass (class: %s "
"devname: %s)\n",
dl->driver->name,
devname);
(void)device_set_driver(child, NULL);
continue;
}