From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from casper.infradead.org ([85.118.1.10]:50635 "EHLO casper.infradead.org" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1750978AbaJUJrW (ORCPT ); Tue, 21 Oct 2014 05:47:22 -0400 Date: Tue, 21 Oct 2014 11:47:14 +0200 From: Peter Zijlstra Subject: Re: [RFC PATCH] UBSan: run-time undefined behavior sanity checker Message-ID: <20141021094714.GR23531@worktop.programming.kicks-ass.net> References: <1413802499-17928-1-git-send-email-a.ryabinin@samsung.com> <1413802499-17928-2-git-send-email-a.ryabinin@samsung.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1413802499-17928-2-git-send-email-a.ryabinin@samsung.com> Sender: linux-kbuild-owner@vger.kernel.org List-ID: To: Andrey Ryabinin Cc: Andrew Morton , Thomas Gleixner , Ingo Molnar , "H. Peter Anvin" , Michal Marek , Sasha Levin , x86@kernel.org, linux-kbuild@vger.kernel.org, linux-kernel@vger.kernel.org, Theodore Ts'o , Andreas Dilger , Dmitry Vyukov , Konstantin Khlebnikov On Mon, Oct 20, 2014 at 02:54:59PM +0400, Andrey Ryabinin wrote: > > UBSan uses compile-time instrumentation to catch undefined behavior (UB). > Compiler inserts code that perform certain kinds of > checks before operations that could cause UB. > If check fails (i.e. UB detected) __ubsan_handle_* function called. > to print error message. > > So the most of the work is done by compiler. > This patch just implements ubsan handlers printing errors. > > GCC supports this since 4.9, however upcoming GCC 5.0 has > more checkers implemented. It might be useful if you've got a link to the relevant GCC documentation of this new shiny stuf.