From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
        id S1754952AbdEIQrs (ORCPT <rfc822;w@1wt.eu>);
        Tue, 9 May 2017 12:47:48 -0400
Received: from merlin.infradead.org ([205.233.59.134]:47770 "EHLO
        merlin.infradead.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S1751956AbdEIQro (ORCPT
        <rfc822;linux-kernel@vger.kernel.org>);
        Tue, 9 May 2017 12:47:44 -0400
To: linux-kbuild <linux-kbuild@vger.kernel.org>
From: Randy Dunlap <rdunlap@infradead.org>
Subject: sparse on scripts/kconfig/*.c
Cc: Dan Carpenter <dan.carpenter@oracle.com>,
        LKML <linux-kernel@vger.kernel.org>
Message-ID: <fa98e27a-c08d-170f-68d1-2ab2918ef5d1@infradead.org>
Date: Tue, 9 May 2017 09:47:41 -0700
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.1.0
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Language: en-US
Content-Transfer-Encoding: 7bit
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

Hi,

I've been attempting to run sparse on the kconfig/ C files -- without success.

The kbuild files don't try to support CHECK in scripts/kconfig/ AFAICT,
and just running sparse on the C files has issues with not being able to
find header files.

Has anyone done this?  Any clues about how to do it?

thanks,
-- 
~Randy