help for using sparse

help for using sparse

[bonneta]

Hello,

I am working on git, and i would like to apply sparse on its source code.

I've downloaded the source of sparse from its git repository, and compiled
it successfully.

I've read the little documentation furnished with the code, but i didn't
manage to apply sparse on the sources of git.

I've basically tried "sparse file.c", but it always returns with an error
like :
"git-compat-util.h:140:11: error: unable to open 'openssl/ssl.h'"
or
"builtin/blame.c:7:10: error: unable to open 'cache.h'"

I don't know how to resolve it...

Axel

Re: help for using sparse

[Christopher Li]

On Wed, Jun 9, 2010 at 8:09 AM, bonneta <bonneta@ensimag.fr> wrote:
> I've basically tried "sparse file.c", but it always returns with an error
> like :
> "git-compat-util.h:140:11: error: unable to open 'openssl/ssl.h'"
> or
> "builtin/blame.c:7:10: error: unable to open 'cache.h'"
>
> I don't know how to resolve it...

You need to tell sparse where is your openssl/ssl.h.

BTW, can you compile file.c using git's make system?
You can try to copy the file searching path to sparse.

Another thing to try is using the cgcc. Cgcc is a wrapper
script that try to behave like gcc + sparse check.

Chris

Re: help for using sparse

[Dan Carpenter]

On Wed, Jun 09, 2010 at 05:09:54PM +0200, bonneta wrote:
> I've basically tried "sparse file.c", but it always returns with an error
> like :
> "git-compat-util.h:140:11: error: unable to open 'openssl/ssl.h'"
> or
> "builtin/blame.c:7:10: error: unable to open 'cache.h'"
> 

make CC=~/path/to/sparse/cgcc 

regards,
dan carpenter

Re: help for using sparse

[Josh Triplett]

On Wed, Jun 09, 2010 at 05:09:54PM +0200, bonneta wrote:
> I am working on git, and i would like to apply sparse on its source code.
> 
> I've downloaded the source of sparse from its git repository, and compiled
> it successfully.
> 
> I've read the little documentation furnished with the code, but i didn't
> manage to apply sparse on the sources of git.
> 
> I've basically tried "sparse file.c", but it always returns with an error
> like :
> "git-compat-util.h:140:11: error: unable to open 'openssl/ssl.h'"
> or
> "builtin/blame.c:7:10: error: unable to open 'cache.h'"
> 
> I don't know how to resolve it...

These errors occur because you haven't supplied the full compiler
command-line that Git supplies in its build process, which includes
flags for include paths.

The script "cgcc", provided with sparse, provides the most convenient
way to integrate Sparse into an existing build system with minimal work.
Once you've done a "make install" of Sparse into a directory on your
$PATH (or just put the Sparse source directory on your $PATH), just do
"make CC=cgcc".

- Josh Triplett

Re: help for using sparse

[bonneta]

On Wed, 9 Jun 2010 09:10:59 -0700, Josh Triplett <josh@joshtriplett.org>
wrote:
> On Wed, Jun 09, 2010 at 05:09:54PM +0200, bonneta wrote:
>> I am working on git, and i would like to apply sparse on its source
code.
>> 
>> I've downloaded the source of sparse from its git repository, and
>> compiled
>> it successfully.
>> 
>> I've read the little documentation furnished with the code, but i
didn't
>> manage to apply sparse on the sources of git.
>> 
>> I've basically tried "sparse file.c", but it always returns with an
error
>> like :
>> "git-compat-util.h:140:11: error: unable to open 'openssl/ssl.h'"
>> or
>> "builtin/blame.c:7:10: error: unable to open 'cache.h'"
>> 
>> I don't know how to resolve it...
> 
> These errors occur because you haven't supplied the full compiler
> command-line that Git supplies in its build process, which includes
> flags for include paths.
> 
> The script "cgcc", provided with sparse, provides the most convenient
> way to integrate Sparse into an existing build system with minimal work.
> Once you've done a "make install" of Sparse into a directory on your
> $PATH (or just put the Sparse source directory on your $PATH), just do
> "make CC=cgcc".

Thank you all, it works fine.
Does sparse look for all the errors with this method?

I saw in the sparse man page that a "Wsparse-all" option exists. 
Is it used by default? Otherwise how to use it in the "make" command line?

Axel Bonnet

> 
> - Josh Triplett
> --
> To unsubscribe from this list: send the line "unsubscribe linux-sparse"
in
> the body of a message to majordomo@vger.kernel.org
> More majordomo info at  http://vger.kernel.org/majordomo-info.html

Re: help for using sparse

[Dan Carpenter]

On Wed, Jun 09, 2010 at 06:35:31PM +0200, bonneta wrote:
> Thank you all, it works fine.
> Does sparse look for all the errors with this method?

Don't know the defaults.

> 
> I saw in the sparse man page that a "Wsparse-all" option exists. 
> Is it used by default? Otherwise how to use it in the "make" command line?
> 

CHECK="~/path/to/sparse --params" make CC=~/path/to/cgcc

regards,
dan carpenter

Re: help for using sparse

[Sam Ravnborg]

On Wed, Jun 09, 2010 at 05:09:54PM +0200, bonneta wrote:
> Hello,
> 
> I am working on git, and i would like to apply sparse on its source code.
> 
> I've downloaded the source of sparse from its git repository, and compiled
> it successfully.
> 
> I've read the little documentation furnished with the code, but i didn't
> manage to apply sparse on the sources of git.

It looks like git already supports sparse.

Try "make check"

Try to search for "sparse" in the makefile of git.

	Sam