Hmm, this is a bit messy
On raring: sparse t.c /usr/include/stdc-predef.h:30:11: error: unable to open 'bits/predefs.h'
so I add a -I: sparse -I/usr/include/x86_64-linux-gnu t.c /usr/include/x86_64-linux-gnu/gnu/stubs.h:7:12: error: unable to open 'gnu/stubs-32.h'
then we have Stéphane's original error.
If I add another to point to the correct gcc path (sparse seems to be using a non-existent one):
sparse -I/usr/include/x86_64-linux-gnu -D__x86_64__ -I /usr/lib/gcc/x86_64-linux-gnu/4.6/include t.c
almost works, although it's hitting a /usr/include/stdio.h:347:41: error: attribute '__leaf__': unknown attribute
I guess the age of the sparse version doesn't help either.
Dave
Hmm, this is a bit messy
On raring: stdc-predef. h:30:11: error: unable to open 'bits/predefs.h'
sparse t.c
/usr/include/
so I add a -I: include/ x86_64- linux-gnu t.c x86_64- linux-gnu/ gnu/stubs. h:7:12: error: unable to open 'gnu/stubs-32.h'
sparse -I/usr/
/usr/include/
then we have Stéphane's original error.
If I add another to point to the correct gcc path (sparse seems to be using a non-existent one):
sparse -I/usr/ include/ x86_64- linux-gnu -D__x86_64__ -I /usr/lib/ gcc/x86_ 64-linux- gnu/4.6/ include t.c
almost works, although it's hitting a stdio.h: 347:41: error: attribute '__leaf__': unknown attribute
/usr/include/
I guess the age of the sparse version doesn't help either.
Dave