Re: Sparse release v0.5.1-rc1

[Ramsay Jones <ramsay@ramsayjones.plus.com>]

On 13/06/17 17:05, Luc Van Oostenryck wrote:
> On Tue, Jun 13, 2017 at 04:08:23PM +0100, Ramsay Jones wrote:
>> Luc, I have not actually tested these patches (I was waiting for
>> something I could git-fetch). I have no doubt they are good, but
> 
> This -rc1 is in fact the parent of the mem-max-count mini-series,
> so you tested it already a bit :)

Err, ... I don't see those patches as part of the sparse-0.5.1-rc1
branch (or v0.5.1-rc1/master, ...).

>> it just occurred to me that a patch may be missing. I don't recall
>> seeing a change to cgcc to filter-out the new, sparse only, options.
>> ie. they need to be added to the check_only_option subroutine (#102).
> 
> Indeed, it's really great that you thought about it
> because since I don't use cgcc myself, I would never
> have thought about updated it.

I use it all the time (it's really the main front-end to sparse!)
with '-no-compile'. In this case, since it doesn't call gcc, the
lack of this 'options filter' does not matter. However, I'm aware
that many people use cgcc as a proxy for gcc (which is the _intent_,
after all), so this needs to be fixed. (So that 'make CC=cgcc ...'
continues to works).

> I'll add what is needed and check if anything else is
> missing there.

Yeah, it is not just _these_ new options; I think there have been
several 'sparse only' options added 'recently' which have not been
filtered out in cgcc. (again only 'sparse only' options need to be
added to the regex in the check_only_option subroutine).

ATB,
Ramsay Jones