Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18;
Date:   Mon, 13 Sep 2021 16:02:46 -0300
From:   Jason Gunthorpe <jgg@nvidia.com>
To:     Nathan Chancellor <nathan@kernel.org>
Cc:     Nick Desaulniers <ndesaulniers@google.com>,
        kernel test robot <lkp@intel.com>, llvm@lists.linux.dev,
        kbuild-all@lists.01.org, linux-kernel@vger.kernel.org,
        clang-built-linux@googlegroups.com
Subject: Re: drivers/infiniband/hw/qib/qib_sysfs.c:413:1: error:
 static_assert expression is not an integral constant expression
Message-ID: <20210913190246.GA4065468@nvidia.com>
References: <202109112002.NZceUwiC-lkp@intel.com>
 <20210913165317.GX2505917@nvidia.com>
 <CAKwvOdnGaVb1XGwYpNK_3zAEyZ0JC1SDjC1UzzFEH=d_Mdi7Fw@mail.gmail.com>
 <20210913183813.GY2505917@nvidia.com>
 <YT+eJY4JoobVsKWu@archlinux-ax161>
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <YT+eJY4JoobVsKWu@archlinux-ax161>
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?us-ascii?Q?aD2HHpRDPJvfq0XN4fIAUZs3Ybb57V4rZLNRMeqRsonDhnCA2fMbRMgZsKED?=
 =?us-ascii?Q?4hfGOMyLii+4yqBk/cYW/7D1Xv4xCGZ9yJEfyB9GcY4YYJZIEzect6cQd7xO?=
 =?us-ascii?Q?MsftH1qFVS2ypYtBT7aaIvJKPE57C4B33rAQwe/FdyrYADKr0UjJf9Jqy9T6?=
 =?us-ascii?Q?LStwT/vAdeM0AOEqWzcsDbK3KjODYbYxC8ecshYEBEkpwaaLmsLM5LSVcHMK?=
 =?us-ascii?Q?UXER1JEczHoiEGnOd/Qce2aK2dmCCBEi7MLVggL8XQbQBFqD3v2PgCr6zj6D?=
 =?us-ascii?Q?bhH18KO0XtYjRpMZdaJ6Vwa6t2lX51lIOg6YVwMil0JU75Q+mpwGAqr2zYPy?=
 =?us-ascii?Q?9tdq9A00zPyqmEjWJG3+losiTd11TAFbd8wqrKzC/FH5iysaGrg7QH+H5SVU?=
 =?us-ascii?Q?r+SOFFqLceuvkRyT7cwH4X+g49/97uN6XqRZEzSbl85wRwiARGTCoNRfjuDt?=
 =?us-ascii?Q?YcG5MZODSqoeNfVN5GOwhlSvncnejAPFlxICBPtamtv70BvuGxbxIebodGsw?=
 =?us-ascii?Q?ABdCX5YQNF7kXUDz4kBDQHY082U42Hp+mrdEusQ4IxSuNtPtssfuzMCql/3S?=
 =?us-ascii?Q?/5ykD7Qer2dqpJvlYTjWr24+vir02ZBSfCQvekW5pJCO9hKgE/5t9xuuOlOF?=
 =?us-ascii?Q?cBGnWbWM0lUU9S2jzOrdDV90A9FJIqcBmGs+A+WX+hRVEsu6yuYTqkYiP7pJ?=
 =?us-ascii?Q?PEiS/+sdwpkYYQqZ+3EHqsA/k3rXzoFhl1BdgclXpdshAc8dpPDhm4uvyGwR?=
 =?us-ascii?Q?w02Vec3cML4jj+PqDqEmZx5uqf5w8XjkSqjx6VFuRasTiEhWW0CWXrwleWiu?=
 =?us-ascii?Q?/ZyvdcODU4tLmtqS8NK9RS2w1Xe18I+sDkc4dYIokVccbupfEDN2dWm9W108?=
 =?us-ascii?Q?r61Tf44a89DITycHPty+Cg8aKdXoKJm7t6+svFeA53w8U6doll03Ny+OBRMO?=
 =?us-ascii?Q?AJ1J02X5CqGutGP6SrWXlu5Zo8NxfgKEsuyOS+9ygzBSMJ+TWjcIRg+jHXCJ?=
 =?us-ascii?Q?65zAN6Ev+fZs5ow4Ghhqc9PIzIOZAhMVB6xWCb63XsWdOQaeSIlBJNTpuUMi?=
 =?us-ascii?Q?I4PLZU7shFgQe/zHuU7+Nln/ZyQgYngSMTtEgTnwNUOtxX94mA6hWnB936VH?=
 =?us-ascii?Q?v1o+Mw3mucgWvQw7BR8HU4l9oQD0uM/pUIZlduF9Z6yPBoVm14WibKaGFCMp?=
 =?us-ascii?Q?e7drXseuE8BdR/3MGZkOmSjfl5Td9jJcI/F+ze00bRQ84dG9SATAgFRvPlhx?=
 =?us-ascii?Q?0ZwmBD/6s9Eqzqt5V06JrZqI93sgkteOsQ9yu9FE7bHAkgTqlo0abERtEGzU?=
 =?us-ascii?Q?VqHuvUMuBDNmCYW8d8j0BqKi?=
X-OriginatorOrg: Nvidia.com
X-MS-Exchange-CrossTenant-Network-Message-Id: 9ea418e9-0c27-4417-87af-08d976e91346
X-MS-Exchange-CrossTenant-AuthSource: BL0PR12MB5506.namprd12.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 13 Sep 2021 19:02:47.3488
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 43083d15-7273-40c1-b7db-39efd9ccc17a
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: LP4fLt7+hxhY8WvbYMkV0UHlt0yk31Mm7ZSNbTphm6CRneQX6Vnc57plJakYQVGV
X-MS-Exchange-Transport-CrossTenantHeadersStamped: BL1PR12MB5318
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On Mon, Sep 13, 2021 at 11:53:25AM -0700, Nathan Chancellor wrote:
> On Mon, Sep 13, 2021 at 03:38:13PM -0300, Jason Gunthorpe wrote:
> > On Mon, Sep 13, 2021 at 10:00:02AM -0700, Nick Desaulniers wrote:
> > 
> > > > This macro would like to know that the passed in member name has a u64
> > > > type, all the things I've come up with fail on clang - but many work
> > > > fine on gcc. Frankly I think this case is a clang bug myself..
> > > 
> > > Perhaps, though this assertion looks a bit like offsetof() to me. I
> > > wonder if that can help here?
> > 
> > The assertion would logically like to be this:
> > 
> >          static_assert(typecheck(((struct qib_port *)0)->N, u64))
> 
> This works for me with both GCC and clang, if that is acceptable to you?
> It fails if you change one of the variables to 'u32'.

Yes, thanks. Can't say I've even heard of __same_type before :\ would
be nice if this was in typecheck.h along with the other variations of
the same idea. Presumably it is a little bit different from those
somehow?

Jason