Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18;
Subject: Re: Linux 5.9-rc1 (sparse? kernel/time/timekeeping.c)
To:     Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Cc:     Linus Torvalds <torvalds@linux-foundation.org>,
        Linux Kernel Mailing List <linux-kernel@vger.kernel.org>,
        Jeff Layton <jlayton@redhat.com>
References: <CAHk-=wiwfkKp93C+yLqKWAU0ChBdeBDUhgOk09_=UQ8gOKbV3w@mail.gmail.com>
 <83b35552-d1a2-e4ce-9a41-2b5cf688ccf0@infradead.org>
 <20200817021518.q3petwc277m3uqxz@ltop.local>
From:   Randy Dunlap <rdunlap@infradead.org>
Message-ID: <b52f9b10-a5de-d33e-7c69-1a28cdf9b833@infradead.org>
Date:   Sun, 16 Aug 2020 19:17:56 -0700
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101
 Thunderbird/68.10.0
MIME-Version: 1.0
In-Reply-To: <20200817021518.q3petwc277m3uqxz@ltop.local>
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Sender: linux-kernel-owner@vger.kernel.org
Precedence: bulk

On 8/16/20 7:15 PM, Luc Van Oostenryck wrote:
> On Sun, Aug 16, 2020 at 06:35:26PM -0700, Randy Dunlap wrote:
>>
>> on x86_64, allmodconfig:
>>
>> $ gcc --version
>> gcc (SUSE Linux) 7.5.0
>>
>> $ sparse --version
>> 0.6.2
>>
>>
>> I seem to be having some problems with kernel/time/timekeeping.c,
>> including a segfault.
>>
>> a. Is it sparse that segfaults?
> 
> It's most probably the one fixed in:
>   eb6779f6f621 ("generic: fix missing inlining of generic expression")
> 
> On the main tree there is a branch with a few fixes since the last release:
>   git://git.kernel.org/pub/scm/devel/sparse/sparse.git maint-v0.6.2
>  
>> b. what prints this message?
>> make[3]: *** Deleting file 'kernel/time/timekeeping.o'
> 
> It seems like a typical message from make when a command fails.
>  
>> c. I would prefer to be able to tell the source of warning/error messages,
>> i.e., gcc or sparse. Especially when they are intermixed.
> 
> You can use the option -fdiagnostic-prefix[=PREFIX] for this. It will
> just prefix all messages from from sparse with the given PREFIX or
> 'sparse: ' if none is given. You can pass this option via 'make CF=...'.
> 
> It may be a good idea to directly add it to CHECKFLAGS.
> 
> Best regards,
> -- Luc

Thank you, Luc.  I'll get the latest and also use PREFIX.


-- 
~Randy