Received-SPF: pass (google.com: best guess record for domain of linux-kernel-owner@vger.kernel.org designates 209.132.180.67 as permitted sender) client-ip=209.132.180.67;
To:     LKML <linux-kernel@vger.kernel.org>,
        Coccinelle <cocci@systeme.lip6.fr>
From:   "Enrico Weigelt, metux IT consult" <lkml@metux.net>
Subject: NULL pointer constraints vs. compiler checks
Organization: metux IT consult
Message-ID: <732996cf-5813-22a3-ee69-d8dc353845f4@metux.net>
Date:   Fri, 12 Jul 2019 12:52:14 +0200
User-Agent: Mozilla/5.0 (X11; Linux i686 on x86_64; rv:60.0) Gecko/20100101
 Thunderbird/60.2.1
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
Precedence: bulk

Hello folks,


we recently have lots of patches for either adding missing NULL checks,
removing unneeded ones, etc. It seems that's an non-trivial terrain,
so I'm thinking about potential compiler support.

Does anybody know whether gcc has some way for not-null constraints ?


thx
--mtx

-- 
Enrico Weigelt, metux IT consult
Free software and Linux embedded engineering
info@metux.net -- +49-151-27565287