Bug#218636: Why is this a valgrind bug?
On Sun, Nov 02, 2003 at 01:04:26PM -0500, Andrew Moise wrote:
> On Sun, 2003-11-02 at 10:53, Andrés Roldán wrote:
> > Do you really think of this as a valgrind bug?
>
> Meanin' no disrespect, Mr. maintainer sir, but I do. Userspace
> programs aren't supposed to include kernel headers (see e.g.
> http://kt.zork.net/kernel-traffic/kt20010618_122.html#2 ); they're
> supposed to duplicate the parts of the kernel headers they need. This
> sort of problem is exactly why that's so.
> valgrind already does the right thing sometimes (though it still
> includes a lot of kernel headers also); some kernel header info has been
> copied into vg_kerneliface.h and is used from there. IMO the ipc stuff
> (and some ISDN stuff that's causing problems as well) should be copied
> there. I'd be happy to give you a patch if you like; I already prodded
> the thing into working again on my system.
Please do post the patch. I'd like to see what was necessary.
--
Daniel Jacobowitz
MontaVista Software Debian GNU/Linux Developer
Reply to: