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
** Changed in: sparse (Ubuntu)
Importance: Undecided => Medium
** Changed in: sparse (Ubuntu)
Status: New => Confirmed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/374927
Title:
Sparse package doesn't run on 64 bits system
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/sparse/+bug/374927/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs