Re: [PATCH] avoid NULL deref in grub_device_open

2011-06-23 Thread Vladimir 'φ-coder/phcoder' Serbinenko
On 11.06.2011 08:54, Jim Meyering wrote: > I ran coverity against grub. > Here's a fix for one of the things it spotted: > > 2011-06-11 Jim Meyering > > avoid NULL deref in grub_device_open > * grub-core/kern/device.c (grub_device_open): Don't dereference > a NULL pointer upon

[PATCH] avoid NULL deref in grub_device_open

2011-06-11 Thread Jim Meyering
I ran coverity against grub. Here's a fix for one of the things it spotted: 2011-06-11 Jim Meyering avoid NULL deref in grub_device_open * grub-core/kern/device.c (grub_device_open): Don't dereference a NULL pointer upon failed grub_env_get. === modified file 'grub-co