Received-SPF: pass (google.com: domain of linux-kernel+bounces-129517-linux.lists.archive=gmail.com@vger.kernel.org designates 2604:1380:45e3:2400::1 as permitted sender) client-ip=2604:1380:45e3:2400::1;
Message-ID: <4bc04c7e-683c-4f33-b65e-6cf088e837b7@intel.com>
Date: Wed, 3 Apr 2024 12:12:31 +0200
User-Agent: Mozilla Thunderbird
Subject: Re: include/linux/build_bug.h:78:41: error: static assertion failed:
 "struct bpf_fib_lookup size check"
To: Anton Protopopov <aspsk@isovalent.com>
CC: Arnd Bergmann <arnd@arndb.de>, Naresh Kamboju <naresh.kamboju@linaro.org>,
	open list <linux-kernel@vger.kernel.org>, <lkft-triage@lists.linaro.org>,
	Linux Regressions <regressions@lists.linux.dev>, Anders Roxell
	<anders.roxell@linaro.org>, Dan Carpenter <dan.carpenter@linaro.org>, "Daniel
 Borkmann" <daniel@iogearbox.net>, David Ahern <dsahern@kernel.org>, "Alexei
 Starovoitov" <ast@kernel.org>, Russell King <rmk+kernel@armlinux.org.uk>,
	"Ard Biesheuvel" <ardb@kernel.org>, Linus Walleij <linus.walleij@linaro.org>
References: <CA+G9fYtsoP51f-oP_Sp5MOq-Ffv8La2RztNpwvE6+R1VtFiLrw@mail.gmail.com>
 <CAPyNcWeu+bzyQg9S3wDb43jbfk95Su5XcSRFPzUbS2ofZ=+5Fg@mail.gmail.com>
 <347bb21e-98db-4bd5-9ca1-550eac5be9f8@app.fastmail.com>
 <277decf7-d9cb-451c-a105-6ecc998f9f46@intel.com>
 <CAPyNcWeXpidnVsXgt4XpwXiA0CRFdZYFN9O2ys5oq9FQKXNxsw@mail.gmail.com>
 <CAPyNcWdPJYOtDbun-qUJApm9ndsVkEj-sHDfbMWK2yCT6FOwdA@mail.gmail.com>
From: Alexander Lobakin <aleksander.lobakin@intel.com>
Content-Language: en-US
In-Reply-To: <CAPyNcWdPJYOtDbun-qUJApm9ndsVkEj-sHDfbMWK2yCT6FOwdA@mail.gmail.com>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 8bit
Precedence: bulk
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?QVhtdjg3QklRa3M2bnJsbnhGcTFIVktMdE96aWhnMWZaM204akhqcCswQU1Q?=
 =?utf-8?B?SjdHUml1dFExeGZlTm1pdmFmZ25PeDQxZVE4N1J2c3VFNDZBVG5xdkJZeG1H?=
 =?utf-8?B?eUxMNTE5Mzk4aVoyTXpNM1VWbnBqZVBPRnFsVWpKbTBHVFlOTmpGZzBJL0NY?=
 =?utf-8?B?TENyVlZQcWZiM0gzNlEyMFFzVXNGZ3VPcDIrT0d0V21iTWE0blpFdEhnVERT?=
 =?utf-8?B?TjhDcFlyVGdWNk44SXlYS0N3dldUVlFsRnFyejdReHdOQnBpcFBOZ2R3ckgy?=
 =?utf-8?B?d24xQ3NzeEl1aE1GaTBPVGpSUFp3WVBPSVdDSjF5WmxreW1vVFVVSE5HS3po?=
 =?utf-8?B?dGZ6dUE2cXA3MFJpSXk3NFVFU0ZGNmprWGt2YmlMV1dWb1p0RVp4bncvNy8v?=
 =?utf-8?B?eWh3QUVQSDM5dUFuUHVDdUlWeWhFNkJxSTFEZnp5TWt2c1lpcTJOVUVqQUZY?=
 =?utf-8?B?RmFIdkRZOW03MWN1a0J6QjBVWkFDN0EwNy9keUkvN2RDeDYwck04d0F1MUFt?=
 =?utf-8?B?MHVaZnJKVmpqa1pXZTRjdzVRVDJXdkhvMU5VckNrNTlsOHd2T0lXSmxXRHdS?=
 =?utf-8?B?WjlPazZmNC9uaXUvRWdVYTExeTBJTUtHYittWk9XeENVSlRGcCt3SEtzR0dK?=
 =?utf-8?B?MHI5NkgwS280T1QvUm9sRnpoZlNYNkc0dGJQazNVUXNrWnVVOVlaczhiWHVm?=
 =?utf-8?B?OHU0UmY2ZnRoNkVXMXU4Ky9ObjkrbnRuWTYzVkF2WHgyS0o4ak5FMnQyVVpx?=
 =?utf-8?B?TVpmS0gyWkRMRWR4dUkrcjZXc3lkbDJhTTlZTzZXL25rT0V0eVdJUnEzTHNu?=
 =?utf-8?B?Um5CUTRyOHErSzU4eDUzRVNyanRzazZ6TDZuRC8yQlJNWElmWlZKZjE2bk5n?=
 =?utf-8?B?SjRQN1J5ZkVKME5RdXVSamMyc1AwUlVMNk5UbmVWZWdJdTBXQVliSFZVMUNL?=
 =?utf-8?B?MjRJMlU3eFJWL01MVjN6eTg2SW5Eb0ZmMXdJeTRZT3RlUS96NS95aEJFZUx2?=
 =?utf-8?B?QUNkN2lpcGtuQmdpc2JyQSt5M3ZxZEhHdXg5ZkdmMzN1V3NJMncydEg5dmlI?=
 =?utf-8?B?ZHZid0xUYzloN1FFdldCeHJQTytCYTIyOWtaWXBmY3U3Zi8zam9takhITFVW?=
 =?utf-8?B?RjBVRDdSZ3MxUEU4TDYyMlo2YUN1RXcwSkRKaTBGV1ZoMlByNnZ3TGY4emc4?=
 =?utf-8?B?aloyZHdDTloxeEljL0lYczNOc1U1RHF0VGhzY2l5bTBjcTl6WUQwWFRORGlF?=
 =?utf-8?B?N0NybE1GVWNFVktCOXFZT3ZjMnpVMEwyUVpjUEV2aXN3OXhFb25XTTA2MFZr?=
 =?utf-8?B?TXJLWWRxRW92MXNOTklmTzUzb3FXN3VmN1BWRG9SZnphUDhCQzVQMDJ2MmhT?=
 =?utf-8?B?TEg3KzB6R2tpNnBZTE9OczZsVXZBYThDQUwzNVJTVXVVSnQ0ZFc1cGs2dDJG?=
 =?utf-8?B?ZWVyN2ZienoxMU9taXNBc2FEdjVDMjQzNFNjT2s5d0hYRUtMZ1dNRnlDZUtH?=
 =?utf-8?B?T1hucXdhQVJJQTU4UHhoRU8rZ0xxNEdCak1yTmc1M1dqZmcxUjBEc090VHFi?=
 =?utf-8?B?Mmt3aTZhT1BHN3F2MkVSZTJaampwalZJSFg2aG9YWkFrZmRhRExaenJUcGdH?=
 =?utf-8?B?U2RLRjlhcGdlUVFhcEVQZFFRL3c2MnlYL3dmNG5qMys0clNicFdTZ0dNYUh5?=
 =?utf-8?B?cGVpbW1LZWNJTVVhclVIdE5qZ1haQVFhUXQwSUdYQ0YxTVpaaTBPMmhQMCt4?=
 =?utf-8?B?aE50NGhjbXNIYzdheW9hVlpPK1dyaHUvaENab2RCY0JpdW9LditkNndLVkZa?=
 =?utf-8?B?NlJTbVRHQUNhcS8rQ05TYUFrZm9RdWI1VkwzU2xTWDJTLzZwY1NLcTJsYzZW?=
 =?utf-8?B?N1lTOGZ5MVFmRlp0eGVpeFVBZXA1SlQvUm1SQzk3blJvVnJMc0pCMkxNV2ph?=
 =?utf-8?B?dGVWWXhtbmlHUkp1L1dKV0dmcGhCemVzUGpSSFpxRUl6cDdqeXl4R0dpcHRx?=
 =?utf-8?B?T2pYUWVicmE3SDNHOHFyTnBzR1Q2Myt3R3BBcXd5NEJ5VGIrQWU5NTJsRjAy?=
 =?utf-8?B?Z0lYc3RUTk5BbS93Q01XeU1vZmdOL3F0YitVYjJaVC9kMmxWUXJtWmhqQTYy?=
 =?utf-8?B?TjhqZnZISXFjT0t1L2d3cUFXb3hPZ1I0N0JyUURnbVpIVDFsVnBTTndjSWVi?=
 =?utf-8?Q?oOCm/hv5ey7G5dIl2Z6vibo=3D?=
X-MS-Exchange-CrossTenant-Network-Message-Id: a65f5818-a3ae-47e6-5177-08dc53c6bcbf
X-MS-Exchange-CrossTenant-AuthSource: DS0PR11MB8718.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 03 Apr 2024 10:13:41.6114
 (UTC)
X-MS-Exchange-CrossTenant-FromEntityHeader: Hosted
X-MS-Exchange-CrossTenant-Id: 46c98d88-e344-4ed4-8496-4ed7712e255d
X-MS-Exchange-CrossTenant-MailboxType: HOSTED
X-MS-Exchange-CrossTenant-UserPrincipalName: 4yify9/2bn8J0UsslPjSQO/YzhRRruGK0QJSxXlzd5w4ZeByX81/Y/XzeopM3rpBq+cdpdFm3P23erV7QJVox/wsbB4ohPZlELRkfs25Xkw=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: PH7PR11MB7479
X-OriginatorOrg: intel.com

From: Anton Protopopov <aspsk@isovalent.com>
Date: Wed, 3 Apr 2024 12:09:29 +0200

> On Wed, Apr 3, 2024 at 11:57 AM Anton Protopopov <aspsk@isovalent.com> wrote:
>>
>> On Wed, Apr 3, 2024 at 11:39 AM Alexander Lobakin
>> <aleksander.lobakin@intel.com> wrote:
>>>
>>> From: Arnd Bergmann <arnd@arndb.de>
>>> Date: Wed, 03 Apr 2024 10:45:36 +0200
>>>
>>>> On Wed, Apr 3, 2024, at 10:10, Anton Protopopov wrote:
>>>>> On Wed, Apr 3, 2024 at 10:03 AM Naresh Kamboju
>>>>> <naresh.kamboju@linaro.org> wrote:
>>>>>>
>>>>>> The arm footbridge_defconfig failed with gcc-13 and gcc-8 on Linux next
>>>>>> starting from next-20240328..next-20240402.
>>>>>>
>>>>>> arm:
>>>>>>   build:
>>>>>>     * gcc-8-footbridge_defconfig - Failed
>>>>>>     * gcc-13-footbridge_defconfig - Failed
>>>>>>
>>>>>> Reported-by: Linux Kernel Functional Testing <lkft@linaro.org>
>>>>>>
>>>>>> In file included from include/linux/bitfield.h:10,
>>>>>>                  from arch/arm/include/asm/ptrace.h:13,
>>>>>>                  from arch/arm/include/asm/processor.h:14,
>>>>>>                  from include/linux/prefetch.h:15,
>>>>>>                  from arch/arm/include/asm/atomic.h:12,
>>>>>>                  from include/linux/atomic.h:7,
>>>>>>                  from net/core/filter.c:20:
>>>>>> include/linux/build_bug.h:78:41: error: static assertion failed:
>>>>>> "struct bpf_fib_lookup size check"
>>>>>>    78 | #define __static_assert(expr, msg, ...) _Static_assert(expr, msg)
>>>>>>       |                                         ^~~~~~~~~~~~~~
>>>>>
>>>>> Thanks, I will take a look today
>>>
>>> Naresh,
>>>
>>> Could you please remove that static_assert() and dump bpf_bif_lookup
>>> layout from pahole?
>>>
>>> Anton unionized { smac, dmac } with __u32 mark. On x86_64, the offset of
>>> smac was 52 (aligned to 4) already, so I don't really get what AEABI
>>> does here. IIRC it aligns every structure to 8 bytes?
>>>
>>> Maybe we could just add __attribute__((__packed__))
>>> __attribute__((__aligned__(4))) to that anonymous union at the end.
>>
>> Yeah, I am sending a patch for this right now. Better not to depend on
>> compiler options
> 
> One __packed__ was not enough though. The problem was also with the
> union of two __u16's which is padded to be 32 bits when AEABI=n and
> the whole structure is packed (so total size is 66 in this case).

Hmm, on my setup it's 64 bytes. Since it's UAPI, it always must be of
the same size. There's probably a padding somewhere in the middle.

Also, don't forget to always set __aligned__(4 or 8) together with
__packed__, otherwise the compilers generate terrible code (they assume
the structure alignment is 1 and access to every field can be unaligned).

Thanks,
Olek