From patchwork Fri Nov 15 01:13:48 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Luc Van Oostenryck X-Patchwork-Id: 11244671 Return-Path: Received: from mail.kernel.org (pdx-korg-mail-1.web.codeaurora.org [172.30.200.123]) by pdx-korg-patchwork-2.web.codeaurora.org (Postfix) with ESMTP id B243613BD for ; Fri, 15 Nov 2019 01:14:02 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id 92C7820709 for ; Fri, 15 Nov 2019 01:14:02 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="RffddZXy" Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1726996AbfKOBOC (ORCPT ); Thu, 14 Nov 2019 20:14:02 -0500 Received: from mail-wr1-f66.google.com ([209.85.221.66]:33904 "EHLO mail-wr1-f66.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727080AbfKOBOC (ORCPT ); Thu, 14 Nov 2019 20:14:02 -0500 Received: by mail-wr1-f66.google.com with SMTP id e6so9153284wrw.1 for ; Thu, 14 Nov 2019 17:14:00 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=Xuu9XKhLbPM+oQ0XQ9V4Jsei7mntlWfDn8S5g5MPrQM=; b=RffddZXyklbU5Lw8Jm3FDxBo7bpaQv6p/nLj21oCg7qjW1Ut+7jiN6gWz7wmLQQORY AuMPymcq5dmzu04TGeOCP9WfuObw3vEAEVZ8Bdxn4duMHLCCKOqSgkqrmf4CUcPU4zEL lLKZxy+8CA2+4BjK+HiWKEJKmpxQ/J2LHx2sJuXhJ8/IJ/7oZ0PgDYDoo7y5pSEAkWNk kb6ALJvUPxCW+BhPqV2Or6OwQliRCJ6YngCoJAjgWNzUxEzKzAAhCVs61sbZFMabSxXT gmz+38WFWGqGavWOHi5TPUtRp3w/DbPVDrT8UKLjanaiKh/D4aemzV99HBfuLBofLmRG iEug== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=Xuu9XKhLbPM+oQ0XQ9V4Jsei7mntlWfDn8S5g5MPrQM=; b=e6P3x9PnKlOoGfqJqxbk+aPTlU9Xt5KAdO0Hv9vUvDpQPblspyDFcfUugIFeYimWeV NF7NGvlPHE6QP1pSA5HvPOGUUxpMp2135NW7UW+rTh3pep+vuRqNATKtnd9qGwEqqHtW O6j1gozuwTU0SzRmgZZ1pfqZqUathzi6FGmZrR54j4e5s0Cq0nZa5qDh7bIHh6g2//by ZgDVqvqIMLAmUtAYUM3x3W/lzENQbMV657XvDHIK26MTNrRzS0OJqEONakeCeIZgTsST q/srZdI+DkEZg4lZymBwqaYnMYcJp4XngjbnPFmUbFajz6rW3xXRjD8ZrlH5dmEkrGok stoA== X-Gm-Message-State: APjAAAWtdCAEgM5v+Z/rw/lnz7n1G7x+C4x1dQQLXh3BcnJm2Np0yVdC qoa7Q1zwNjUmh+dCqHLIOLRQL/sc X-Google-Smtp-Source: APXvYqxyzY963qDJyHna88R0ZIKJ9LW03InZISPsIEIUEIhBVFfzep5X8JJ5HDy+3OJT1W00y+Dk5Q== X-Received: by 2002:a5d:5404:: with SMTP id g4mr8757591wrv.359.1573780439706; Thu, 14 Nov 2019 17:13:59 -0800 (PST) Received: from localhost.localdomain ([2a02:a03f:40e1:9900:b41c:b7ad:6b56:89fb]) by smtp.gmail.com with ESMTPSA id l4sm7918792wml.33.2019.11.14.17.13.58 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 14 Nov 2019 17:13:59 -0800 (PST) From: Luc Van Oostenryck To: linux-sparse@vger.kernel.org Cc: Luc Van Oostenryck Subject: [PATCH 1/8] arch: fix the signedness of plain chars Date: Fri, 15 Nov 2019 02:13:48 +0100 Message-Id: <20191115011355.53495-2-luc.vanoostenryck@gmail.com> X-Mailer: git-send-email 2.24.0 In-Reply-To: <20191115011355.53495-1-luc.vanoostenryck@gmail.com> References: <20191115011355.53495-1-luc.vanoostenryck@gmail.com> MIME-Version: 1.0 Sender: linux-sparse-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-sparse@vger.kernel.org Some architectures, like ARM or PPC, use 'unsigned' for plain chars while others, like the Intel's, use signed ones. Sparse understands -funsigned-char but by default uses the native signedness. Fix this by setting the proper signedness of plain chars for the archs that Sparse know about. Signed-off-by: Luc Van Oostenryck --- lib.c | 2 +- machine.h | 6 ------ target.c | 18 ++++++++++++++++++ validation/char-signed-native.c | 9 +++++++++ validation/char-unsigned-native.c | 11 +++++++++++ validation/char-unsigned.c | 2 +- 6 files changed, 40 insertions(+), 8 deletions(-) create mode 100644 validation/char-signed-native.c create mode 100644 validation/char-unsigned-native.c diff --git a/lib.c b/lib.c index 332eebebb..350d881a9 100644 --- a/lib.c +++ b/lib.c @@ -313,7 +313,7 @@ unsigned long long fmemcpy_max_count = 100000; unsigned long fpasses = ~0UL; int fpic = 0; int fpie = 0; -int funsigned_char = UNSIGNED_CHAR; +int funsigned_char = -1; int preprocess_only; diff --git a/machine.h b/machine.h index e24822a7f..22b05d91a 100644 --- a/machine.h +++ b/machine.h @@ -70,10 +70,4 @@ enum machine { #define MACH_NATIVE MACH_UNKNOWN #endif -#if defined(__CHAR_UNSIGNED__) -#define UNSIGNED_CHAR 1 -#else -#define UNSIGNED_CHAR 0 -#endif - #endif diff --git a/target.c b/target.c index 90097818f..497ecdc5e 100644 --- a/target.c +++ b/target.c @@ -137,6 +137,24 @@ void init_target(void) break; } + switch (arch_mach) { + case MACH_ARM: + case MACH_ARM64: + case MACH_PPC32: + case MACH_PPC64: + case MACH_RISCV32: + case MACH_RISCV64: + case MACH_S390: + case MACH_S390X: + if (funsigned_char == -1) + funsigned_char = 1; + break; + default: + if (funsigned_char == -1) + funsigned_char = 0; + break; + } + switch (arch_m64) { case ARCH_X32: max_int_alignment = 8; diff --git a/validation/char-signed-native.c b/validation/char-signed-native.c new file mode 100644 index 000000000..5185fce9e --- /dev/null +++ b/validation/char-signed-native.c @@ -0,0 +1,9 @@ +void foo(void) +{ + _Static_assert((char) -1 == -1, "plain char is not signed"); +} + +/* + * check-name: char-signed-native + * check-command: sparse --arch=i386 -Wno-decl $file + */ diff --git a/validation/char-unsigned-native.c b/validation/char-unsigned-native.c new file mode 100644 index 000000000..b86458427 --- /dev/null +++ b/validation/char-unsigned-native.c @@ -0,0 +1,11 @@ +#define MASK ((1 << __CHAR_BIT__) - 1) + +void foo(void) +{ + _Static_assert((char) -1 == (-1 & MASK), "plain char is not unsigned"); +} + +/* + * check-name: char-unsigned-native + * check-command: sparse --arch=arm -Wno-decl $file + */ diff --git a/validation/char-unsigned.c b/validation/char-unsigned.c index 19cadbda3..354aa40d6 100644 --- a/validation/char-unsigned.c +++ b/validation/char-unsigned.c @@ -6,6 +6,6 @@ void foo(void) } /* - * check-name: fsigned-char + * check-name: funsigned-char * check-command: sparse -funsigned-char -Wno-decl $file */ From patchwork Fri Nov 15 01:13:49 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Luc Van Oostenryck X-Patchwork-Id: 11244675 Return-Path: Received: from mail.kernel.org (pdx-korg-mail-1.web.codeaurora.org [172.30.200.123]) by pdx-korg-patchwork-2.web.codeaurora.org (Postfix) with ESMTP id 979641393 for ; Fri, 15 Nov 2019 01:14:05 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id 7890320709 for ; Fri, 15 Nov 2019 01:14:05 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="h7WnyWhn" Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727080AbfKOBOF (ORCPT ); Thu, 14 Nov 2019 20:14:05 -0500 Received: from mail-wr1-f67.google.com ([209.85.221.67]:36623 "EHLO mail-wr1-f67.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727112AbfKOBOE (ORCPT ); Thu, 14 Nov 2019 20:14:04 -0500 Received: by mail-wr1-f67.google.com with SMTP id r10so9134511wrx.3 for ; Thu, 14 Nov 2019 17:14:02 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=P/n/ZTGiSL9N9IC4C9QtqL2Ayd2vcAT6LxmnHYfV00M=; b=h7WnyWhnYyjfRN+JVsLDRFyISsYeGq1+samSzP8yAuPcSg6LuPKmHQGYvma0v8PXLK tzBdFeYkHEGYsoEHFh4nMYHl0sz19F646+ZAvnJ+wUy4Y1M1Bjxwia5Vf8gyxJT8TpsR zW4TJxX2QIqa65JBYB0o/Y1pfgdIUqTHdDB+GnVWGZjOcYRiqNuNlHlQytJ1FITd3Mi0 VClc3FI0CtrdlWGREdV+ngOiFXrKSxXhB80Ie7UpIfMLUA5W4hnSTo2pfw9h0Jak4bVr WvAHwb4swiMAx4YjotZDTPMXqVvKUhPzXI0q+SoYcjmIlWLB3Yjpwi+s5dQY8EQuk+Xl VA0Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=P/n/ZTGiSL9N9IC4C9QtqL2Ayd2vcAT6LxmnHYfV00M=; b=oqKNPdwViNQ50AbX12tSvmA2ewjUE1KcFFrluGJvb3PLJQei4LrMYBV3pWvVLYUW0I IQSPyRl2bBvafaO5cf1SvV2L0t1Lws1UkdqExza+EWQsQDglGYvMUpj+wLOnegbgWWlT EnbFjQX0nkHs0HQnI2aMbjoXJD/Iqf6/Q3caV5oiOjZghSem6b8yWpGhrMdk0VkDoPii kEDF7QAznq56J9T4hwU5+Bf/+iQGdnGoO/X5SN8kINjfcDyh6oNp1XrrnU2P3IfPmf9O kvHMeS6Ck/jTM7X+q5yjIbdt8wQ3LZJgWWLlZm7gIL4cpYYSVDpOHQvIKz3qdnSm5u6i b+fQ== X-Gm-Message-State: APjAAAUs731kjgGKo91fmOqFvRDZrn6mbWoMAYBhslqdiKc40IfKy/Vg Yd3Hm6ZcB1bJAKvo40qhCO7XHDfL X-Google-Smtp-Source: APXvYqwDFPjEvS5YymaNIInPGg66nuaGnNVErr1W3R+eM/kUmlyFTeKtMmdnJ+QOUzaWz4SLN6Gm4A== X-Received: by 2002:adf:d4d0:: with SMTP id w16mr12836985wrk.184.1573780441226; Thu, 14 Nov 2019 17:14:01 -0800 (PST) Received: from localhost.localdomain ([2a02:a03f:40e1:9900:b41c:b7ad:6b56:89fb]) by smtp.gmail.com with ESMTPSA id l4sm7918792wml.33.2019.11.14.17.13.59 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 14 Nov 2019 17:14:00 -0800 (PST) From: Luc Van Oostenryck To: linux-sparse@vger.kernel.org Cc: Luc Van Oostenryck Subject: [PATCH 2/8] arch: simplify i386/x86-64 specifics Date: Fri, 15 Nov 2019 02:13:49 +0100 Message-Id: <20191115011355.53495-3-luc.vanoostenryck@gmail.com> X-Mailer: git-send-email 2.24.0 In-Reply-To: <20191115011355.53495-1-luc.vanoostenryck@gmail.com> References: <20191115011355.53495-1-luc.vanoostenryck@gmail.com> MIME-Version: 1.0 Sender: linux-sparse-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-sparse@vger.kernel.org The current test for setting wchar on i386 uses a conditional break and a fallthrough on the x86-64 case. This is not needed and can be simplified by reversing the order of the i386 & x86-64 cases. Signed-off-by: Luc Van Oostenryck --- target.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/target.c b/target.c index 497ecdc5e..acafbd929 100644 --- a/target.c +++ b/target.c @@ -79,11 +79,11 @@ void init_target(void) } switch (arch_mach) { - case MACH_X86_64: - if (arch_m64 == ARCH_LP64) - break; - /* fall through */ case MACH_I386: + wchar_ctype = &long_ctype; + /* fall through */ + case MACH_X86_64: + break; case MACH_M68K: case MACH_SPARC32: case MACH_PPC32: From patchwork Fri Nov 15 01:13:50 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Luc Van Oostenryck X-Patchwork-Id: 11244673 Return-Path: Received: from mail.kernel.org (pdx-korg-mail-1.web.codeaurora.org [172.30.200.123]) by pdx-korg-patchwork-2.web.codeaurora.org (Postfix) with ESMTP id 6510A13BD for ; Fri, 15 Nov 2019 01:14:05 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id 45A9A20709 for ; Fri, 15 Nov 2019 01:14:05 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="EF+fe3EV" Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727290AbfKOBOF (ORCPT ); Thu, 14 Nov 2019 20:14:05 -0500 Received: from mail-wr1-f68.google.com ([209.85.221.68]:33553 "EHLO mail-wr1-f68.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727080AbfKOBOE (ORCPT ); Thu, 14 Nov 2019 20:14:04 -0500 Received: by mail-wr1-f68.google.com with SMTP id w9so9154792wrr.0 for ; Thu, 14 Nov 2019 17:14:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=qI5NPQjggpjqH6pEyh1Af2hX2N+sfC4lbzjMsTezSow=; b=EF+fe3EVTAWQMxcP95EZxwq7IjrjKUxsM7qG+AmfN61TG7lXgkG37SeSPICF2ooi/F Lq4fTYGd106IJQ2FCTMbKDlH9TSFEY2NY1W2Dzc4c2mKs+yigDLqq0YqR05EfV77hadB P5G6QY0TtwaPfWsMXqANWQVsQh5DHvzuXQjtcpkWw6QlK+Fa8xe1Z0U4LyPpLcHsCMpZ RusW+srGnvOmBd7nYlf7OnEoQm5OtfGQQ5jlZL0NyvOJ1l7qlAfOzNn2VpGwFyHm4BKx /cge9NrY6xw66WRRbmzIN0Hu/RGRH1W2JAaaUuONWaROGYRtQQMz1hC+qz5LdFXS+tG2 A94A== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=qI5NPQjggpjqH6pEyh1Af2hX2N+sfC4lbzjMsTezSow=; b=kdetro4bwD3JzRAganhdl3jSU0YrXJb7xBzjPVThTu33KuPnkmakjicc+ahvi2o0tA BJiFSNqkqv0XCFdlCe+FLJjrBxJa8icbsHeH14IWHjnmZLa//vVchcSaThFw6oM0hd9n SsmlT9RThsnY+RaUabBKLo90rt0ei3QVY1tHiPP+qe30P48K+145OD6oKGC9NwgVIJj3 sBAkkiHXH0LePQ+ScqZxo5XI1fiWBPQ9CpWBl4Um+RhBdxVhXTseXkctgas7eQpie0sE udIzEAfFNgcJ2jYLoHe281uXd6MN/fFnaeQUfSy3EmK2AeLEYQ32OnFxnhI3hJXDQSAw W7VA== X-Gm-Message-State: APjAAAVr0Tye/AXQ4aqU9OPwYG3KXfP/C5D12DA+/OaNh9Lb6iQ8cyTT Y3wZ3ytdNmuiVSadiXYVLXPs5PXd X-Google-Smtp-Source: APXvYqzwV7bw1MNmSbj9bCKU1/wzfDdCO8wfsb0j1B53WPTP9ZnvzmbZAnUsbkC3zqshZOlVYz/dyg== X-Received: by 2002:adf:f9c4:: with SMTP id w4mr12011424wrr.88.1573780442583; Thu, 14 Nov 2019 17:14:02 -0800 (PST) Received: from localhost.localdomain ([2a02:a03f:40e1:9900:b41c:b7ad:6b56:89fb]) by smtp.gmail.com with ESMTPSA id l4sm7918792wml.33.2019.11.14.17.14.01 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 14 Nov 2019 17:14:02 -0800 (PST) From: Luc Van Oostenryck To: linux-sparse@vger.kernel.org Cc: Luc Van Oostenryck Subject: [PATCH 3/8] arch: keep BSD & Darwin specifics with i386/x86-64 specifics Date: Fri, 15 Nov 2019 02:13:50 +0100 Message-Id: <20191115011355.53495-4-luc.vanoostenryck@gmail.com> X-Mailer: git-send-email 2.24.0 In-Reply-To: <20191115011355.53495-1-luc.vanoostenryck@gmail.com> References: <20191115011355.53495-1-luc.vanoostenryck@gmail.com> MIME-Version: 1.0 Sender: linux-sparse-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-sparse@vger.kernel.org Without more testing, the specific types for wint_t & int64_t on FreeBSD & Darwin are only valid for i386/x86-64. Signed-off-by: Luc Van Oostenryck --- target.c | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/target.c b/target.c index acafbd929..647817a22 100644 --- a/target.c +++ b/target.c @@ -83,6 +83,13 @@ void init_target(void) wchar_ctype = &long_ctype; /* fall through */ case MACH_X86_64: +#if defined(__APPLE__) + int64_ctype = &llong_ctype; + uint64_ctype = &ullong_ctype; +#endif +#if defined(__FreeBSD__) || defined(__APPLE__) + wint_ctype = &int_ctype; +#endif break; case MACH_M68K: case MACH_SPARC32: @@ -193,11 +200,4 @@ void init_target(void) #if defined(__CYGWIN__) wchar_ctype = &ushort_ctype; #endif -#if defined(__FreeBSD__) || defined(__APPLE__) - wint_ctype = &int_ctype; -#endif -#if defined(__APPLE__) - int64_ctype = &llong_ctype; - uint64_ctype = &ullong_ctype; -#endif } From patchwork Fri Nov 15 01:13:51 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Luc Van Oostenryck X-Patchwork-Id: 11244677 Return-Path: Received: from mail.kernel.org (pdx-korg-mail-1.web.codeaurora.org [172.30.200.123]) by pdx-korg-patchwork-2.web.codeaurora.org (Postfix) with ESMTP id EEC0B17E8 for ; Fri, 15 Nov 2019 01:14:05 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id C53EF20709 for ; Fri, 15 Nov 2019 01:14:05 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="cwhQLtMn" Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727112AbfKOBOF (ORCPT ); Thu, 14 Nov 2019 20:14:05 -0500 Received: from mail-wr1-f67.google.com ([209.85.221.67]:37252 "EHLO mail-wr1-f67.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727121AbfKOBOF (ORCPT ); Thu, 14 Nov 2019 20:14:05 -0500 Received: by mail-wr1-f67.google.com with SMTP id t1so9134398wrv.4 for ; Thu, 14 Nov 2019 17:14:04 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=+w7kb1cXBLQbRGiw72b2ab1XiHXySDxCH77HPaF+Ogw=; b=cwhQLtMnXJSRYOJxFHTk90TF1/rt2TWHnGgsNs99O/m7s8oHffGP0015+f6X5u4rgx fI2/3O35Yf14QldHbyQVoQQ7eLd/SNrMmv4twwrWxhUCZ8pIjlUeqsGLnDUEwMTfrl1s l3v4hIUy/A+/O+id7N6ZD535ZOQkKI5yO90p4tVY3hnWctRFY9tEidaG1Lu6PLQTKHBc fSJnPPOPZMd/HpC9hcU/+My1PgCpvh7TPGHsMFZbn73n1pGfIKQoC777WVJ7aDofv6fD aWRWZzFYILnweTCCGDtQaNFzvGQ3/o/mz1/Pt0TPJFqV81Xw9KRRqqJ0ECeOw/Z/gN6I Iqvw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=+w7kb1cXBLQbRGiw72b2ab1XiHXySDxCH77HPaF+Ogw=; b=DrOvxk1Trb0WOkWNIgPw5fHyPLkLzwfyPOhUp/CfCM/G2ztbsbqk+g/5dDMpzFoEBg KDCYBcCigEkYu4pwlDjIK/KS8AN8duXN5zoCL8uXJ8rQzgjKQB7uX2lkrWcxHykwVrC7 kvGb3CtKMudn8zjl4BpYOjWTrpTiWM9yrTBSlJ6ZEAavxEJI0Hp0WE/cBGY2n8jhAgUw 4+UNzSSNHQhl0jqryaMcRnvXetk6dqbi2WqOUXkjUdx5BGh6W2Z1l4tlMzwrMV0HqKH+ YDUaAA6GV4sx4yY91Sffc23DNhAeIYS6fhkVx6tPX48N6j4AXm36bWr9981XXMPk+30w 5AUQ== X-Gm-Message-State: APjAAAUzfpCzDXAZ5M9wTcgZnFGx5JTkF+o3xeLNHmYfDwTwyCz6HYhv 6TkV6kyjCjBvJDz68m8K6VuBtqwq X-Google-Smtp-Source: APXvYqwO/Z/WS32eJATBen6tgGHaOlrM2odPfydisPoADXGOSHjdxVWT8sdk4ZZ2qmJaBS3Fm05NiQ== X-Received: by 2002:adf:c413:: with SMTP id v19mr2124512wrf.208.1573780443346; Thu, 14 Nov 2019 17:14:03 -0800 (PST) Received: from localhost.localdomain ([2a02:a03f:40e1:9900:b41c:b7ad:6b56:89fb]) by smtp.gmail.com with ESMTPSA id l4sm7918792wml.33.2019.11.14.17.14.02 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 14 Nov 2019 17:14:02 -0800 (PST) From: Luc Van Oostenryck To: linux-sparse@vger.kernel.org Cc: Luc Van Oostenryck Subject: [PATCH 4/8] arch: do not needlessly set bitness on 32-bit archs Date: Fri, 15 Nov 2019 02:13:51 +0100 Message-Id: <20191115011355.53495-5-luc.vanoostenryck@gmail.com> X-Mailer: git-send-email 2.24.0 In-Reply-To: <20191115011355.53495-1-luc.vanoostenryck@gmail.com> References: <20191115011355.53495-1-luc.vanoostenryck@gmail.com> MIME-Version: 1.0 Sender: linux-sparse-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-sparse@vger.kernel.org The code at the start of init_target() already take care of making the arch variants match their bitness. There is no need to redo that while setting the type of [u]int32. Signed-off-by: Luc Van Oostenryck --- target.c | 1 - 1 file changed, 1 deletion(-) diff --git a/target.c b/target.c index 647817a22..bdda7ec7f 100644 --- a/target.c +++ b/target.c @@ -114,7 +114,6 @@ void init_target(void) case MACH_PPC32: case MACH_MIPS32: case MACH_RISCV32: - arch_m64 = ARCH_LP32; int32_ctype = &long_ctype; uint32_ctype = &ulong_ctype; break; From patchwork Fri Nov 15 01:13:52 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Luc Van Oostenryck X-Patchwork-Id: 11244685 Return-Path: Received: from mail.kernel.org (pdx-korg-mail-1.web.codeaurora.org [172.30.200.123]) by pdx-korg-patchwork-2.web.codeaurora.org (Postfix) with ESMTP id 82A2613BD for ; Fri, 15 Nov 2019 01:14:10 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id 6383C20709 for ; Fri, 15 Nov 2019 01:14:10 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="JebyXhJR" Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727319AbfKOBOK (ORCPT ); Thu, 14 Nov 2019 20:14:10 -0500 Received: from mail-wm1-f68.google.com ([209.85.128.68]:38854 "EHLO mail-wm1-f68.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727121AbfKOBOK (ORCPT ); Thu, 14 Nov 2019 20:14:10 -0500 Received: by mail-wm1-f68.google.com with SMTP id z19so8583953wmk.3 for ; Thu, 14 Nov 2019 17:14:05 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=GaLz94TSXFs920zrC/G9AmzAcwYsfqfaSasZyapJQ+8=; b=JebyXhJRuGscmulg0Hvz+vao7LG9XfLRnm5GGJ9EEKiDWROM5xJ5dLYk3St/b1ITXw AMRbRFLlAybbJLfPniXL1WpAmnvTdXMySEmLXd0qXb8GneW8bYEWcCLzWNfqHzNc6l4v LUi/OYg9+7LG0RDvGRAZW2loNNWggD4vFnX7J6hMNrk7RjMf2r+rkNL89OM9l5FRXHQV VrtxQF62XsLioHexP8Kor06lnNgzFMgpoI7rBB+VPwiE7WJfJlJqtut1NBdAFGqJexuY 6Ho2x3mu6i77cJWaa89GZkld+/9JuBDL4+14mitr9vJR74u/PAaM/48ZK8NEvlu8uTRM 5RJg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=GaLz94TSXFs920zrC/G9AmzAcwYsfqfaSasZyapJQ+8=; b=lQ7WQKNKKzPOwNlVapjS86EUYgBiD2j1+DAqFzMNbSXllSWjq9g8AGpy/H/uPOzLWV x8YUUjieldp5LfE3Gf+ipt0cex09QaY1wVmCubtUwT0PJV80Qshr7bn43AogwyvorXK8 uc1SIRxPeN1zDVkaaqX1s1V5KKNrRNAqGtV3p8+hTpzfHghIrVUcoM2rdvgT4jwoG7ST ABTxVH8XzYT4hz2CirPeJtmuD0vomAXCpXCEtR/v6kT9n5CRv6vjQ1gQudRxzNfyawqM flciAfgoThj1uACPwsvm6Cw73dFxSrd2Qx/cZx6OE52lXI0iLStqQVHIktEsK0PnHnYI 0mOA== X-Gm-Message-State: APjAAAW8s1Hgcth63XZJjcCeQtvRwYbKD5UGE8k+0GtGZ0Ed31k8XAkF W3laH5QSXm/zNkVqurNVOsN2dkmn X-Google-Smtp-Source: APXvYqwIn/rSCaYtBBqoRpEICYLPQRVi0rzln3w9auh4FCuGAWOxZN/8TzLUW/Mr/hVfdGxd+kqitw== X-Received: by 2002:a1c:e08a:: with SMTP id x132mr12277170wmg.146.1573780444430; Thu, 14 Nov 2019 17:14:04 -0800 (PST) Received: from localhost.localdomain ([2a02:a03f:40e1:9900:b41c:b7ad:6b56:89fb]) by smtp.gmail.com with ESMTPSA id l4sm7918792wml.33.2019.11.14.17.14.03 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 14 Nov 2019 17:14:03 -0800 (PST) From: Luc Van Oostenryck To: linux-sparse@vger.kernel.org Cc: Luc Van Oostenryck Subject: [PATCH 5/8] arch: remove impossible cases with 64-bit arch not being lp64 Date: Fri, 15 Nov 2019 02:13:52 +0100 Message-Id: <20191115011355.53495-6-luc.vanoostenryck@gmail.com> X-Mailer: git-send-email 2.24.0 In-Reply-To: <20191115011355.53495-1-luc.vanoostenryck@gmail.com> References: <20191115011355.53495-1-luc.vanoostenryck@gmail.com> MIME-Version: 1.0 Sender: linux-sparse-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-sparse@vger.kernel.org The code at the start of init_target() already take care of making the arch variants match their bitness. It's thus not possible, when setting the type of [u]int32, to have mips64, ppc64, riscv64 or sparc64 with arch_m64 different than ARCH_LP64. So, remove the unneeded checks. Signed-off-by: Luc Van Oostenryck --- lib.c | 23 +++++++++-------------- target.c | 4 ---- 2 files changed, 9 insertions(+), 18 deletions(-) diff --git a/lib.c b/lib.c index 350d881a9..57d2738bf 100644 --- a/lib.c +++ b/lib.c @@ -1494,8 +1494,7 @@ static void predefined_macros(void) predefine("__m68k__", 1, "1"); break; case MACH_MIPS64: - if (arch_m64 == ARCH_LP64) - predefine("__mips64", 1, "64"); + predefine("__mips64", 1, "64"); /* fall-through */ case MACH_MIPS32: predefine("__mips__", 1, "1"); @@ -1505,11 +1504,9 @@ static void predefined_macros(void) predefine("_MIPS_SZPTR", 1, "%d", ptr_ctype.bit_size); break; case MACH_PPC64: - if (arch_m64 == ARCH_LP64) { - predefine("__powerpc64__", 1, "1"); - predefine("__ppc64__", 1, "1"); - predefine("__PPC64__", 1, "1"); - } + predefine("__powerpc64__", 1, "1"); + predefine("__ppc64__", 1, "1"); + predefine("__PPC64__", 1, "1"); /* fall-through */ case MACH_PPC32: predefine("__powerpc__", 1, "1"); @@ -1531,13 +1528,11 @@ static void predefined_macros(void) predefine("__s390__", 1, "1"); break; case MACH_SPARC64: - if (arch_m64 == ARCH_LP64) { - predefine("__sparc_v9__", 1, "1"); - predefine("__sparcv9__", 1, "1"); - predefine("__sparcv9", 1, "1"); - predefine("__sparc64__", 1, "1"); - predefine("__arch64__", 1, "1"); - } + predefine("__sparc_v9__", 1, "1"); + predefine("__sparcv9__", 1, "1"); + predefine("__sparcv9", 1, "1"); + predefine("__sparc64__", 1, "1"); + predefine("__arch64__", 1, "1"); /* fall-through */ case MACH_SPARC32: predefine("__sparc__", 1, "1"); diff --git a/target.c b/target.c index bdda7ec7f..146c4125d 100644 --- a/target.c +++ b/target.c @@ -105,10 +105,6 @@ void init_target(void) } switch (arch_mach) { - case MACH_MIPS64: - if (arch_m64 == ARCH_LP64) - break; - /* fall through */ case MACH_M68K: case MACH_SPARC32: case MACH_PPC32: From patchwork Fri Nov 15 01:13:53 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Luc Van Oostenryck X-Patchwork-Id: 11244679 Return-Path: Received: from mail.kernel.org (pdx-korg-mail-1.web.codeaurora.org [172.30.200.123]) by pdx-korg-patchwork-2.web.codeaurora.org (Postfix) with ESMTP id 4DE841393 for ; Fri, 15 Nov 2019 01:14:08 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id 23D0B20709 for ; Fri, 15 Nov 2019 01:14:08 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="c866hfqY" Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727315AbfKOBOH (ORCPT ); Thu, 14 Nov 2019 20:14:07 -0500 Received: from mail-wr1-f68.google.com ([209.85.221.68]:37257 "EHLO mail-wr1-f68.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727121AbfKOBOH (ORCPT ); Thu, 14 Nov 2019 20:14:07 -0500 Received: by mail-wr1-f68.google.com with SMTP id t1so9134448wrv.4 for ; Thu, 14 Nov 2019 17:14:06 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=lVXP/1JHAne9ltDeFrxETvhhww25mpKpPVizRh4mj3E=; b=c866hfqYZAmf+AtvTiYN+woZCmLGXz6+Lw9haOg9SmWlHDk9cFPs5b+ei2H0mI8JVm Y7eJX+j9+TKs147gMHYD9mkTGP0BnAv3wegKzUILUjys6KHs6VS0x0XCmTXyKUyRr4DB YGZIodVLlzA/NIAoFamflid+JZ5FK9hYv78h90zMkjuEgn8kDLTEQgDBn0yfnjGC6+l7 KJlwUpnNoSbm/OQBbRSISgrWXdcfeXAcStXfcUuGU8oYt++YgxvBSv5pDEuARfPMZaZy UFuv8OCEtcvILHd4Rl13M5aHiHei8Eqp6F4GLuBECyjgG09yt6k6OsgWRHoGuWY6OusO Ewlw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=lVXP/1JHAne9ltDeFrxETvhhww25mpKpPVizRh4mj3E=; b=M8V9XI5dapMqCtz7B8DPofxAz0Y/BQ3AB/tqVZzqmmPqS66XaKPxF0IkoTSLgi8Ch4 QluwpOBZN9mbCYLWYWsRk01dtdTiVo/epQqY5l+3GD7n/5KoC9eLe0Km0XuzWBq+U9wz hoOfVKoARulnYGwS+BYHZiTYKHAug1/f138KoP4QNjZ63PO12TEmFvPcQBulE4Yg819A QtP37jGtRVPOzLjch9fPKHa55oV5Dmx+p66FDy7GUm5F+XmBs3V0P7hw9Ode+V8joXj8 d6962EXE4QRRdr9csJoqIzzOCsXq8H2wkbgMN4fHZtKgLiXOHQk8t9JKMZ0S3/+ED4bA 9C0g== X-Gm-Message-State: APjAAAVNnIxc2Isg2G4mI6XeWocc0cT/cTXB2Zsp/IB3PdXS2sDCnqkb QJskzF8gE9//GGauv6EEtBOa16Oy X-Google-Smtp-Source: APXvYqxSwLN2R7sqQzVEhUSWbJ1EEyvuadYyqgO1SF+gdfIGOPq1gKMbLKPL/u887BCJWGUR46Hq7A== X-Received: by 2002:adf:e286:: with SMTP id v6mr12804355wri.241.1573780445332; Thu, 14 Nov 2019 17:14:05 -0800 (PST) Received: from localhost.localdomain ([2a02:a03f:40e1:9900:b41c:b7ad:6b56:89fb]) by smtp.gmail.com with ESMTPSA id l4sm7918792wml.33.2019.11.14.17.14.04 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 14 Nov 2019 17:14:04 -0800 (PST) From: Luc Van Oostenryck To: linux-sparse@vger.kernel.org Cc: Luc Van Oostenryck Subject: [PATCH 6/8] arch: ppc32 has 64-bit long double Date: Fri, 15 Nov 2019 02:13:53 +0100 Message-Id: <20191115011355.53495-7-luc.vanoostenryck@gmail.com> X-Mailer: git-send-email 2.24.0 In-Reply-To: <20191115011355.53495-1-luc.vanoostenryck@gmail.com> References: <20191115011355.53495-1-luc.vanoostenryck@gmail.com> MIME-Version: 1.0 Sender: linux-sparse-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-sparse@vger.kernel.org The arch ppc32 had long doubles incorrectly set as having 128 bits. Fix this by using the correct 64 bits size for them. Signed-off-by: Luc Van Oostenryck --- target.c | 1 + 1 file changed, 1 insertion(+) diff --git a/target.c b/target.c index 146c4125d..530970912 100644 --- a/target.c +++ b/target.c @@ -120,6 +120,7 @@ void init_target(void) switch (arch_mach) { case MACH_ARM: case MACH_MIPS32: + case MACH_PPC32: case MACH_S390: case MACH_S390X: case MACH_SPARC32: From patchwork Fri Nov 15 01:13:54 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Luc Van Oostenryck X-Patchwork-Id: 11244683 Return-Path: Received: from mail.kernel.org (pdx-korg-mail-1.web.codeaurora.org [172.30.200.123]) by pdx-korg-patchwork-2.web.codeaurora.org (Postfix) with ESMTP id D302313BD for ; Fri, 15 Nov 2019 01:14:09 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id B3F6D20709 for ; Fri, 15 Nov 2019 01:14:09 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="UnXbSJpi" Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727296AbfKOBOJ (ORCPT ); Thu, 14 Nov 2019 20:14:09 -0500 Received: from mail-wm1-f65.google.com ([209.85.128.65]:51451 "EHLO mail-wm1-f65.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727319AbfKOBOJ (ORCPT ); Thu, 14 Nov 2019 20:14:09 -0500 Received: by mail-wm1-f65.google.com with SMTP id q70so8011834wme.1 for ; Thu, 14 Nov 2019 17:14:07 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=e0tjfkLzNzsPVTIGar3vbQw7rHX5SC9svfyDY0VDAcY=; b=UnXbSJpihhTettFlGd5YInKSv92VUASHZGG/O19i848AKfYHM4uHE/oDhBQzN0km2R 6cQPcKDcZVGgQKBolF51yU18qtp6wAVVVyJBesKSU5k67MRxpyiRMJEVH092121iArGq CFubrNCGHzZEkEBJI6oBqVRd1dEq0uKLQqXDPXNjVDvbwXt0c3HRNPfOJm1RFbZ82oaC lNlOq91nUPs8f/Yr5IEst7AHQvynQhbKBt0HRd1H41UsXMPOzNm5Ooy6K+5vQ7wMAIiG 3TdThVF50b8MPxlzPM5uy8709zJ0bBhjghUybaY+U5lVZpFToPfxBfDMqAjWZJgGEdRa saJQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=e0tjfkLzNzsPVTIGar3vbQw7rHX5SC9svfyDY0VDAcY=; b=OmzupB8nRKqnnI4etGNVampXYC72mBuyaKw0StZ6a3TL3VYZtRl9dblfjuaBScMTRV szvtq4HPwdT90Fru8wzkz4GCK3/B9xvzIAdC7UJkdkE472q6uUw5xvt8UZ83hQGIDEd2 a61unYM6Te4g6nNT8fbdzJRamwvnd+5sGQQMo0l9+Ns864A7ihTp7w1ng4qHGvFa77Iz natU5Otip3WJqK+X5Fg6fLkqD5A95sOeSwsZ0NE1C5z2Mcuyy4cqqv38qcjbXVlznsjW Z85NtMOGKTVFwGCYzxCH2/LpiPFdJgF7uIdFFHruI2/dyOSn8OXthuZbwGeEMtXPT6hJ z4WQ== X-Gm-Message-State: APjAAAWRgboQfhv6b3yKLkBFVVlGi7PwgfXVSKzrlzEfue6JdNfFds48 ljGZLS74qAINvu+wCauCn1EilxGb X-Google-Smtp-Source: APXvYqzyOOiZhFdvPX3y0SsjpGz6K8VqK3sZpsunsX38o+ayERYI5rx4e0OQWH59VGwHKXCRkLpvAw== X-Received: by 2002:a1c:4606:: with SMTP id t6mr11434866wma.73.1573780446295; Thu, 14 Nov 2019 17:14:06 -0800 (PST) Received: from localhost.localdomain ([2a02:a03f:40e1:9900:b41c:b7ad:6b56:89fb]) by smtp.gmail.com with ESMTPSA id l4sm7918792wml.33.2019.11.14.17.14.05 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 14 Nov 2019 17:14:05 -0800 (PST) From: Luc Van Oostenryck To: linux-sparse@vger.kernel.org Cc: Luc Van Oostenryck Subject: [PATCH 7/8] arch: char32_t should be the same as uint32_t, not uint Date: Fri, 15 Nov 2019 02:13:54 +0100 Message-Id: <20191115011355.53495-8-luc.vanoostenryck@gmail.com> X-Mailer: git-send-email 2.24.0 In-Reply-To: <20191115011355.53495-1-luc.vanoostenryck@gmail.com> References: <20191115011355.53495-1-luc.vanoostenryck@gmail.com> MIME-Version: 1.0 Sender: linux-sparse-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-sparse@vger.kernel.org When the predefine for char32_t was added, it was made to correspond 'unsigned int' with the commit message saying some archs use 'unsigned long'. In fact, it appears that there char32_t is always uint32_t (on the archs & OSes I'm using to look at this). Signed-off-by: Luc Van Oostenryck --- lib.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib.c b/lib.c index 57d2738bf..f9e7caf4a 100644 --- a/lib.c +++ b/lib.c @@ -1418,7 +1418,7 @@ static void predefined_macros(void) predefined_ctype("WCHAR", wchar_ctype, PTYPE_ALL_T|PTYPE_MIN|PTYPE_TYPE); predefined_ctype("WINT", wint_ctype, PTYPE_ALL_T|PTYPE_MIN|PTYPE_TYPE); predefined_ctype("CHAR16", &ushort_ctype, PTYPE_TYPE); - predefined_ctype("CHAR32", &uint_ctype, PTYPE_TYPE); + predefined_ctype("CHAR32", uint32_ctype, PTYPE_TYPE); predefined_ctype("INT", &int_ctype, PTYPE_ALL); predefined_ctype("LONG", &long_ctype, PTYPE_ALL); From patchwork Fri Nov 15 01:13:55 2019 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Luc Van Oostenryck X-Patchwork-Id: 11244681 Return-Path: Received: from mail.kernel.org (pdx-korg-mail-1.web.codeaurora.org [172.30.200.123]) by pdx-korg-patchwork-2.web.codeaurora.org (Postfix) with ESMTP id ABB9B1393 for ; Fri, 15 Nov 2019 01:14:09 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id 81EA720709 for ; Fri, 15 Nov 2019 01:14:09 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (2048-bit key) header.d=gmail.com header.i=@gmail.com header.b="K5H8PLPk" Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1727323AbfKOBOJ (ORCPT ); Thu, 14 Nov 2019 20:14:09 -0500 Received: from mail-wr1-f65.google.com ([209.85.221.65]:44897 "EHLO mail-wr1-f65.google.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1727296AbfKOBOJ (ORCPT ); Thu, 14 Nov 2019 20:14:09 -0500 Received: by mail-wr1-f65.google.com with SMTP id f2so9114450wrs.11 for ; Thu, 14 Nov 2019 17:14:07 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=from:to:cc:subject:date:message-id:in-reply-to:references :mime-version:content-transfer-encoding; bh=3mQRYRVi2hk8/IOHhleHbRlef3p6lDukljskkek9V7g=; b=K5H8PLPkRxlX5QTuMLk3r4M2T/npw9hjBqlBrhLSRGuhQ5qkGgzpBEV5WNGldAuEHe MJibmRNQVfFREHrm2zfoP+NJjmhss9WagBGHeNYJxBdaCudYxU4d/a7LNTjR6xRpxI8z 2s08WWGs3E7LXAHd+ZI+YfejTmdIUNXYX8Jkags0jNm79cxVWMuqpyZnELDwBzLY0TOJ sZ36ekE4dJlROctga5NDQPrO3CgdP4EoSiHv20EFyYtuudU6z8yHc4ti8H/6MVGwUs5Y gnIpCn9pe12YBL/L6JGtXEDnpkobajBh/ZDi9O5DpbEdNyEREVsBct+TiTL3/DGe9MNB Qo5g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:from:to:cc:subject:date:message-id:in-reply-to :references:mime-version:content-transfer-encoding; bh=3mQRYRVi2hk8/IOHhleHbRlef3p6lDukljskkek9V7g=; b=rFFssBN1pkUbP9dEG1kcJfULOmmMmeaLlMVGgLCL5L9mSFpnRb6AU65ggRU0Onq2tu eFcvoRYgzKyFlF5mhK2oeG/ZaL5S2wXY3zJW+OAvUwe30IqrFAkD5O3ecwtpcuGVyBjB Z/rU38LJbAs6UOgJVPCt5ip39xKdUN4GLYrbYKxPTpzWyY8WT9jgbmwXcHwj0BlzJwyQ VtpWK68GSgSK7GHlF3QTuxOrem8iXkDfzFct5nRFyDarsZ0jqNEN5NhOPNq3xfpKmt34 2fLNdbjS+3vCiZNZMlzIJvpz6Wj0OCe8s3CIKrR3EoTqowTz7zGQTvJAUfJ2mURK9Jvc WFKQ== X-Gm-Message-State: APjAAAWrqSD4Th/8na8+ttZ01rILNLkuLR0IMayxQSrEwZAvEPeTN+m5 HTWacVlDnA1u3+yeZDH1uYZ58e/w X-Google-Smtp-Source: APXvYqxvH2gtrjprp7BhytUm8z4MsNi6n9BRZ5SvT6xSBiRs6gTbB877mUDRoC5jr59pkVsySTF6Ag== X-Received: by 2002:a5d:6a83:: with SMTP id s3mr11989542wru.159.1573780447024; Thu, 14 Nov 2019 17:14:07 -0800 (PST) Received: from localhost.localdomain ([2a02:a03f:40e1:9900:b41c:b7ad:6b56:89fb]) by smtp.gmail.com with ESMTPSA id l4sm7918792wml.33.2019.11.14.17.14.06 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 14 Nov 2019 17:14:06 -0800 (PST) From: Luc Van Oostenryck To: linux-sparse@vger.kernel.org Cc: Luc Van Oostenryck Subject: [PATCH 8/8] arch: arm uses long for int32_t Date: Fri, 15 Nov 2019 02:13:55 +0100 Message-Id: <20191115011355.53495-9-luc.vanoostenryck@gmail.com> X-Mailer: git-send-email 2.24.0 In-Reply-To: <20191115011355.53495-1-luc.vanoostenryck@gmail.com> References: <20191115011355.53495-1-luc.vanoostenryck@gmail.com> MIME-Version: 1.0 Sender: linux-sparse-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-sparse@vger.kernel.org It seems that ARM uses 'long' for its 'int32_t' type ('seems' because I can't make sense of GCC's source about this point). Signed-off-by: Luc Van Oostenryck --- target.c | 1 + 1 file changed, 1 insertion(+) diff --git a/target.c b/target.c index 530970912..eae88bd5d 100644 --- a/target.c +++ b/target.c @@ -105,6 +105,7 @@ void init_target(void) } switch (arch_mach) { + case MACH_ARM: case MACH_M68K: case MACH_SPARC32: case MACH_PPC32: