Comment 2 for bug 374927

Revision history for this message
Dave Gilbert (ubuntu-treblig) wrote :

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