From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:59815) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VCtye-0000Ji-S6 for qemu-devel@nongnu.org; Fri, 23 Aug 2013 12:12:47 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VCtyb-0002PT-Q9 for qemu-devel@nongnu.org; Fri, 23 Aug 2013 12:12:44 -0400 Received: from 1.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.0.d.1.0.0.b.8.0.1.0.0.2.ip6.arpa ([2001:8b0:1d0::1]:59441 helo=mnementh.archaic.org.uk) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VCtyb-0002P6-JN for qemu-devel@nongnu.org; Fri, 23 Aug 2013 12:12:41 -0400 From: Peter Maydell Date: Fri, 23 Aug 2013 17:12:37 +0100 Message-Id: <1377274359-8707-1-git-send-email-peter.maydell@linaro.org> Subject: [Qemu-devel] [PATCH 0/2] target-arm: Avoid clang sanitizer warnings List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: qemu-devel@nongnu.org Cc: patches@linaro.org These patches avoid some clang sanitizer warnings triggered on target-arm code which inadvertently shifts into the sign bit of a signed integer (which is undefined behaviour in C). (For more info on the sanitizer see http://blog.regehr.org/archives/963 ; the basic approach is to install clang 3.3 and then configure QEMU with --cc=clang --extra-cflags='-fsanitize=undefined' ; the resulting QEMU will print warnings at runtime for various kinds of integer undefined behaviour.) Peter Maydell (2): target-arm: Use sextract32() in branch decode target-arm: Avoid "1 << 31" undefined behaviour target-arm/cpu.h | 2 +- target-arm/helper.c | 4 ++-- target-arm/translate.c | 5 +++-- 3 files changed, 6 insertions(+), 5 deletions(-) -- 1.7.9.5