Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 2620:137:e000::1:20 as permitted sender) client-ip=2620:137:e000::1:20;
Message-ID: <67508559-0bcd-46ff-b040-59bcb41b0a9a@intel.com>
Date:   Fri, 16 Jun 2023 16:03:21 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101
 Thunderbird/102.11.1
Subject: Re: lib/test_bitmap.c:920:2: error: call to
 '__compiletime_assert_239' declared with 'error' attribute: BUILD_BUG_ON
 failed: !__builtin_constant_p(res)
Content-Language: en-US
To:     Nick Desaulniers <ndesaulniers@google.com>,
        Andy Shevchenko <andriy.shevchenko@linux.intel.com>
CC:     kernel test robot <lkp@intel.com>,
        Alexander Lobakin <alexandr.lobakin@intel.com>,
        <llvm@lists.linux.dev>, <oe-kbuild-all@lists.linux.dev>,
        <linux-kernel@vger.kernel.org>, Yury Norov <yury.norov@gmail.com>
References: <202306151433.QKcn7ZNn-lkp@intel.com>
 <ZIr0hZV/jcpZkRq2@smile.fi.intel.com>
 <CAKwvOd=Fj51=m0EZznjOmkqeZy_5uDZ_Gyf-Pv=yd2=53Gb6Sw@mail.gmail.com>
 <CAKwvOd=uqfnyw2u=Nhm+Q0uGORjW9GB+pso6tb_HKGSU0rhZBQ@mail.gmail.com>
From:   Alexander Lobakin <aleksander.lobakin@intel.com>
In-Reply-To: <CAKwvOd=uqfnyw2u=Nhm+Q0uGORjW9GB+pso6tb_HKGSU0rhZBQ@mail.gmail.com>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: 8bit
MIME-Version: 1.0
X-MS-Exchange-AntiSpam-MessageData-ChunkCount: 1
X-MS-Exchange-AntiSpam-MessageData-0: =?utf-8?B?clRrdXpSdHlpbFp6NEI0YkU3QWROUE9RSnRwQnNXa2J5UkJkSi9OTlRxTHZm?=
 =?utf-8?B?bUl1ZWQ3bHQ4emV5dUFUM2ZYcHkxam1wcEtSVkxWc25velQ1YW9wU1lJTlBK?=
 =?utf-8?B?U2RLOXpyeGNKaXpUOTNsTlVub0RiL1FmMnNmelNIZjF0b2hib25iVXdrQTRQ?=
 =?utf-8?B?bnVFaDg5OEo2dUV0eVZCZmNhU2htQXA5K2QyQWw2d3hobjZROGtmUVRwUVVX?=
 =?utf-8?B?Rmw0d09MZnFqemxsdjVrQWVrSThwK2tES1NITExzVjdhNDMrSmgxWjAxTm03?=
 =?utf-8?B?MGNMeHNydTFPYzRCZW8rbDN3eDI3TzlmcnZSVTNsdGZDSGJ2VEhqNXR0SUFP?=
 =?utf-8?B?L21qUGsweEhUcXRxSVRmTU9RUFV6YTRKQ1hFL1c1R2FPSm00Z0VvR2lHcEp5?=
 =?utf-8?B?dWExdnNVSnlKZXJzbkVublRWNGdYTUI4RFduUU56U1ZoWTlSMy82NW10UVB5?=
 =?utf-8?B?Y1llNUdTbGFtZ050WWtCVEpRL3RmZHF4YXBZVVRTL3V6RDFDdHBUU3Y2WGh0?=
 =?utf-8?B?aHVPL2IxWktxOXA1aEFFQkpmRE9SMm1UZTdXcDdzcXdsanlKeVpGaDVqb01Z?=
 =?utf-8?B?akpKcC9MS0xrQ0dhYWpPWnp4MDdOcW5PRDg3UzJ0aDhJMnBNYnZGb0plZTh0?=
 =?utf-8?B?SFl2QVlheXpSQlYycVdUT0tJZjNvWlFydVlUQTFxaWk0MG8vd0w1VmNVZXhL?=
 =?utf-8?B?RE41UUJFTGV0T0tJeEgrWmJRMkNXci9CU1QxZTRjSmZYT05ESi93M3Q2Vzdh?=
 =?utf-8?B?Sm9wbHBGa2FpdzQ0UmdOMzZ6ZFVMYk1qY3luYWROczVjMkc3bSsxeldYaXIr?=
 =?utf-8?B?NHMrOVRwQ1pUV1ZZWm1SNTl2SmhMVHROTkQwM3VkY1NlcXVoUUpDaG12dXVW?=
 =?utf-8?B?bFVFVVdnaVlhK0tiSXJFOXFpUGIrU2FKRDc0bEFOcWYvRjdBSUFGOVhYL1JY?=
 =?utf-8?B?cWVGcW9MTGxIVFlRbzgrTnJ5V0h6dmMreHBYQllPdGNhaUF3MTgyNi9KL3VF?=
 =?utf-8?B?RDBBWnp0amZGSUtFN1RmZ0lYTm5VRDFSN3Y4akpyTDFsdEtJR0JCUDFaTGxz?=
 =?utf-8?B?K0V0bHJKa0JSSGdwQUlDT0taSEtndUJ3ZDBzaTlxL3dEQnJrZjRXS25pbFpJ?=
 =?utf-8?B?aTVBWDFTT0swK3QxejcyMExCQVRrODhNalVRdzJrQzB1TGdKWk1kTTMvK0ZL?=
 =?utf-8?B?V3N6OXVneHRudmZJTkRVUmxyTEVmV2RFczBZNnVlcksvR2lLNnJncXZoZG1s?=
 =?utf-8?B?WmVYekxHQzdGU2pVUm80ZXVpYWM0b3JaaEp2ODBnOUlNNzgrT1RGL3lqenBU?=
 =?utf-8?B?Zm15blhaSWlvVFlUWDdVcHppcEZyUkVFUDlXSE1hNlhMVjBpVUVRdnlqY1Y3?=
 =?utf-8?B?dWVBNnRPSTBUdi90ekFPWDFjc1U1Y2h4SzhWNUIrSG83L3lRaGtoM1QwdXZB?=
 =?utf-8?B?VHJkZzV6NHB1VDhvekZZZGcyd0tNRHBTSEd5RG5oV0ZRUEg0WHBWUU1pblBz?=
 =?utf-8?B?Zy93WTZoOEdkVjF5cjRrcVZCc1RGYlhNVkFXbk9xKzlkeWlQRkdyMlhnazRM?=
 =?utf-8?B?Q2R0THFacVpQT01YWW1zYk9HYVEydlpkekNZRVZwRHBZNDVkaGtqRHJXaXRV?=
 =?utf-8?B?UzFRTkRIM01mS3p5a21CSUxyOGMxdHdMWFlSenJQTnplZHR6eWtxSVVKTUhG?=
 =?utf-8?B?cGVpMWtxUjUxUTQ3ZC9FbGd0M3RVL2pmSVdBVWJpeklQTUVmRjUxYmx5VEVt?=
 =?utf-8?B?aFJ2OUI1SWcvNVZUMGZQeUpGQ0YxZDhES3UzM0RYR0tTOEk0LzRhLy9DNVpx?=
 =?utf-8?B?NHZ2dkd0NUpZZE44cDFmcGpwRFdLRFpER1E2ZGd2V2xUOWF5R1BmTWl4YmxV?=
 =?utf-8?B?SHg0YjFqZHdQanJ6OEVrclpGYUlWZFRXZE5teElmVVFmcEI2SG9iZHU3aE56?=
 =?utf-8?B?UnlLcmdQak82NTVQQXFWVk1lYXJSbmtIQmNRZDB6OGZFWEVUQm1STW5YVmds?=
 =?utf-8?B?SW1LTzBWRG52UWZ0USs2bG11bThvWG85S0dyVGowbTB3MXNvWGROWkFnYnBI?=
 =?utf-8?B?T2txeEFRK3F3SHBkbXZCZGpINUFuYWVNWXlDb1h3L2VpbkpGUnN3Y0tNU2pD?=
 =?utf-8?B?a1o3dU1rMnZ6OEYvRlR4UzhUREl0d2ZKMTM2UmlPNkJqK0ZKQ3p1WGhQV3B2?=
 =?utf-8?B?WlE9PQ==?=
X-MS-Exchange-CrossTenant-Network-Message-Id: 0a365682-4506-46f2-437b-08db6e727a2b
X-MS-Exchange-CrossTenant-AuthSource: DM6PR11MB3625.namprd11.prod.outlook.com
X-MS-Exchange-CrossTenant-AuthAs: Internal
X-MS-Exchange-CrossTenant-OriginalArrivalTime: 16 Jun 2023 14:03:36.0851
 (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: T4lDwNfJyU1JEADrFv/Uwtjr+Ub1Xs2zF16crp2JhcTY4a1bqkCkW0VAYE4keycU0lZCvsL+C0m5B5jr73sedN5JWReQGW+/1Qsi1jq+pcY=
X-MS-Exchange-Transport-CrossTenantHeadersStamped: DM4PR11MB5360
X-OriginatorOrg: intel.com
X-Spam-Status: No, score=-4.5 required=5.0 tests=BAYES_00,DKIMWL_WL_HIGH,
        DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,DKIM_VALID_EF,NICE_REPLY_A,
        RCVD_IN_DNSWL_MED,SPF_HELO_NONE,SPF_NONE,T_SCC_BODY_TEXT_LINE,
        URIBL_BLOCKED autolearn=ham autolearn_force=no version=3.4.6
X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on
        lindbergh.monkeyblade.net
Precedence: bulk
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

From: Nick Desaulniers <ndesaulniers@google.com>
Date: Thu, 15 Jun 2023 16:48:22 -0400

> On Thu, Jun 15, 2023 at 3:52 PM Nick Desaulniers
> <ndesaulniers@google.com> wrote:
>>
>> On Thu, Jun 15, 2023 at 7:22 AM Andy Shevchenko
>> <andriy.shevchenko@linux.intel.com> wrote:

[...]

>>>>    896                bitmap_clear(bitmap, 0, BITS_PER_LONG);
>>>>    897        #if defined(__s390__) && defined(__clang__)
>>>>    898                if (!const_test_bit(7, bitmap))
>>>>    899        #else
>>>>    900                if (!test_bit(7, bitmap))
>>>>    901        #endif
>>>
>>> Hmm... Reveals the bug in clang/arm64?
>>
>> Seems related to the config.  ARCH=arm64 defconfig +
>> CONFIG_TEST_BITMAP=y doesn't trigger this for me, but the randconfig
>> does.  We'll bisect the config, and update the thread tracking this:
>> https://github.com/ClangBuiltLinux/linux/issues/1874
> 
> KASAN and GCOV together seem to be tickling this.

Thanks for root-causing this!
Should I prepare a patch which would work around KASAN + GCOV here or
you're digging the Clang sources for potential issues?

> 
>>
>>>
>>>>    919                res = !test_bit(18, &bitopvar);
>>>>  > 920                BUILD_BUG_ON(!__builtin_constant_p(res));
>>>>    921                BUILD_BUG_ON(!res);
>>>
>>>
>>> --
>>> With Best Regards,
>>> Andy Shevchenko
>>>
>>>
>>>
>>
>>
>> --
>> Thanks,
>> ~Nick Desaulniers
> 
> 
> 

Thanks,
Olek