From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mgamail.intel.com (mgamail.intel.com [192.198.163.7]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id 622F41C17 for ; Sun, 14 Jan 2024 09:07:01 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=none dis=none) header.from=intel.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=intel.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (2048-bit key) header.d=intel.com header.i=@intel.com header.b="n/m4SvML" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=intel.com; i=@intel.com; q=dns/txt; s=Intel; t=1705223221; x=1736759221; h=date:from:to:cc:subject:message-id:mime-version; bh=H0DDNq7TtGbP+nLSsHbgr8LuyVK2MZnnMBykreumTIc=; b=n/m4SvMLSj/kJfkD4d99K5g6G6qx46iRMZzQ1DVNYmyk8cq+kZibh6+0 XH3T6ufarr5dKuGJh0GFepencQu+W2oPFsnBh0NjmmsKKbXFeQ/+pAtZO NNWxkLC0YtSv4G7y3JWc3pZfIpQhXwOPAuVgMRWx40/av4ezqDh99AY2i 8L7a5iwv3aWwMF684izr1Y+8RnvK1j+2uyVOtMOsye5/SZPCLF2bsScOG dUUVh+JyN6iDJFji3CsSgBjiQMl/tIT5Gf3u6wXRf2lf4QCJV/WdcxtLA ovsgWVN51n8uXQ6VgpgbQ55GF6WHXtn51k2SjvjyPiTHtSYn2BYTFINS+ g==; X-IronPort-AV: E=McAfee;i="6600,9927,10952"; a="20922309" X-IronPort-AV: E=Sophos;i="6.04,194,1695711600"; d="scan'208";a="20922309" Received: from fmsmga003.fm.intel.com ([10.253.24.29]) by fmvoesa101.fm.intel.com with ESMTP/TLS/ECDHE-RSA-AES256-GCM-SHA384; 14 Jan 2024 01:07:00 -0800 X-ExtLoop1: 1 X-IronPort-AV: E=McAfee;i="6600,9927,10952"; a="873804923" X-IronPort-AV: E=Sophos;i="6.04,194,1695711600"; d="scan'208";a="873804923" Received: from lkp-server02.sh.intel.com (HELO b07ab15da5fe) ([10.239.97.151]) by FMSMGA003.fm.intel.com with ESMTP; 14 Jan 2024 01:06:59 -0800 Received: from kbuild by b07ab15da5fe with local (Exim 4.96) (envelope-from ) id 1rOwSH-000BME-0W; Sun, 14 Jan 2024 09:06:57 +0000 Date: Sun, 14 Jan 2024 17:06:03 +0800 From: kernel test robot To: Kees Cook Cc: oe-kbuild-all@lists.linux.dev, linux-kernel@vger.kernel.org, Gwan-gyeong Mun Subject: lib/overflow_kunit.c:998:9: sparse: sparse: cast truncates bits from constant value (ffffff01 becomes 1) Message-ID: <202401141606.wxmwnSP7-lkp@intel.com> Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master head: 052d534373b7ed33712a63d5e17b2b6cdbce84fd commit: 4b21d25bf519c9487935a664886956bb18f04f6d overflow: Introduce overflows_type() and castable_to_type() date: 1 year, 2 months ago config: arm-randconfig-r122-20240105 (https://download.01.org/0day-ci/archive/20240114/202401141606.wxmwnSP7-lkp@intel.com/config) compiler: arm-linux-gnueabi-gcc (GCC) 13.2.0 reproduce: (https://download.01.org/0day-ci/archive/20240114/202401141606.wxmwnSP7-lkp@intel.com/reproduce) If you fix the issue in a separate patch/commit (i.e. not just a new version of the same patch/commit), kindly add following tags | Reported-by: kernel test robot | Closes: https://lore.kernel.org/oe-kbuild-all/202401141606.wxmwnSP7-lkp@intel.com/ sparse warnings: (new ones prefixed by >>) lib/overflow_kunit.c:300:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:300:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:300:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:300:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:300:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:300:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:300:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:300:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:301:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:301:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:301:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:301:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:301:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:301:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:301:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:301:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:301:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:301:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:302:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:302:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:302:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:302:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:302:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:302:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:302:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:302:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:302:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:302:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:303:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:303:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:303:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:303:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:303:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:303:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:303:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:303:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:303:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:303:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:304:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:304:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:304:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:304:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:304:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:304:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:304:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:304:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:304:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:304:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:313:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:313:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:313:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:313:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:313:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:313:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:313:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:313:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:313:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:313:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:319:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:319:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:319:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:319:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:319:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:319:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:319:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:319:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:319:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:319:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:326:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:326:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:326:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:326:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:326:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:326:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:326:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:326:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:326:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:326:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:333:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:333:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:333:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:333:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:333:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:333:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:333:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:333:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:333:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:333:1: sparse: sparse: self-comparison always evaluates to true lib/overflow_kunit.c:427:9: sparse: sparse: cast truncates bits from constant value (12c becomes 2c) lib/overflow_kunit.c:429:9: sparse: sparse: cast truncates bits from constant value (1112c becomes 112c) lib/overflow_kunit.c:431:9: sparse: sparse: cast truncates bits from constant value (10811112c becomes 811112c) lib/overflow_kunit.c:432:9: sparse: sparse: cast truncates bits from constant value (10811112c becomes 811112c) lib/overflow_kunit.c:449:9: sparse: sparse: cast truncates bits from constant value (12c becomes 2c) lib/overflow_kunit.c:451:9: sparse: sparse: cast truncates bits from constant value (1112c becomes 112c) lib/overflow_kunit.c:453:9: sparse: sparse: cast truncates bits from constant value (10811112c becomes 811112c) lib/overflow_kunit.c:454:9: sparse: sparse: cast truncates bits from constant value (10811112c becomes 811112c) lib/overflow_kunit.c:466:9: sparse: sparse: cast truncates bits from constant value (100 becomes 0) lib/overflow_kunit.c:468:9: sparse: sparse: cast truncates bits from constant value (10000 becomes 0) lib/overflow_kunit.c:470:9: sparse: sparse: cast truncates bits from constant value (100000000 becomes 0) lib/overflow_kunit.c:471:9: sparse: sparse: cast truncates bits from constant value (100000000 becomes 0) >> lib/overflow_kunit.c:998:9: sparse: sparse: cast truncates bits from constant value (ffffff01 becomes 1) >> lib/overflow_kunit.c:998:9: sparse: sparse: cast truncates bits from constant value (ffffff01 becomes 1) >> lib/overflow_kunit.c:998:9: sparse: sparse: cast truncates bits from constant value (ffffff01 becomes 1) >> lib/overflow_kunit.c:998:9: sparse: sparse: cast truncates bits from constant value (ffff0001 becomes 1) >> lib/overflow_kunit.c:998:9: sparse: sparse: cast truncates bits from constant value (ffffff01 becomes 1) >> lib/overflow_kunit.c:998:9: sparse: sparse: cast truncates bits from constant value (ffffff01 becomes 1) >> lib/overflow_kunit.c:998:9: sparse: sparse: cast truncates bits from constant value (ffffff01 becomes 1) >> lib/overflow_kunit.c:998:9: sparse: sparse: cast truncates bits from constant value (ffffff01 becomes 1) lib/overflow_kunit.c:999:9: sparse: sparse: cast truncates bits from constant value (ffff0001 becomes 1) lib/overflow_kunit.c:999:9: sparse: sparse: cast truncates bits from constant value (ffffff01 becomes 1) lib/overflow_kunit.c:999:9: sparse: sparse: cast truncates bits from constant value (ffff0001 becomes 1) lib/overflow_kunit.c:999:9: sparse: sparse: cast truncates bits from constant value (ffff0001 becomes 1) lib/overflow_kunit.c:999:9: sparse: sparse: cast truncates bits from constant value (ffff0001 becomes 1) lib/overflow_kunit.c:999:9: sparse: sparse: cast truncates bits from constant value (ffff0001 becomes 1) lib/overflow_kunit.c:999:9: sparse: sparse: cast truncates bits from constant value (ffff0001 becomes 1) lib/overflow_kunit.c:999:9: sparse: sparse: cast truncates bits from constant value (ffff0001 becomes 1) lib/overflow_kunit.c:1000:9: sparse: sparse: cast truncates bits from constant value (ffffff01 becomes 1) lib/overflow_kunit.c:1000:9: sparse: sparse: cast truncates bits from constant value (ffff0001 becomes 1) lib/overflow_kunit.c:1001:9: sparse: sparse: cast truncates bits from constant value (ffffff01 becomes 1) lib/overflow_kunit.c:1001:9: sparse: sparse: cast truncates bits from constant value (ffff0001 becomes 1) lib/overflow_kunit.c:1002:9: sparse: sparse: cast truncates bits from constant value (ffffff01 becomes 1) lib/overflow_kunit.c:1002:9: sparse: sparse: cast truncates bits from constant value (ffff0001 becomes 1) lib/overflow_kunit.c:1003:9: sparse: sparse: cast truncates bits from constant value (ffffff01 becomes 1) lib/overflow_kunit.c:1003:9: sparse: sparse: cast truncates bits from constant value (ffff0001 becomes 1) lib/overflow_kunit.c:1098:9: sparse: sparse: cast truncates bits from constant value (ffffff01 becomes 1) lib/overflow_kunit.c:1098:9: sparse: sparse: cast truncates bits from constant value (ffffff01 becomes 1) lib/overflow_kunit.c:1098:9: sparse: sparse: cast truncates bits from constant value (ffffff01 becomes 1) lib/overflow_kunit.c:1099:9: sparse: sparse: cast truncates bits from constant value (ffff0001 becomes 1) lib/overflow_kunit.c:1099:9: sparse: sparse: cast truncates bits from constant value (ffff0001 becomes 1) lib/overflow_kunit.c:1099:9: sparse: sparse: cast truncates bits from constant value (ffff0001 becomes 1) vim +998 lib/overflow_kunit.c 997 > 998 TEST_TYPE_SETS(u8, true, false, false, false, false, false, false, false); 999 TEST_TYPE_SETS(u16, false, true, false, false, false, false, false, false); 1000 TEST_TYPE_SETS(u32, false, false, true, false, false, false, false, false); 1001 TEST_TYPE_SETS(s8, false, false, false, true, false, false, false, false); 1002 TEST_TYPE_SETS(s16, false, false, false, false, true, false, false, false); 1003 TEST_TYPE_SETS(s32, false, false, false, false, false, true, false, false); 1004 #if BITS_PER_LONG == 64 1005 TEST_TYPE_SETS(u64, false, false, false, false, false, false, true, false); 1006 TEST_TYPE_SETS(s64, false, false, false, false, false, false, false, true); 1007 #endif 1008 1009 /* Check for macro side-effects. */ 1010 var = 4; 1011 KUNIT_EXPECT_EQ(test, var, 4); 1012 KUNIT_EXPECT_TRUE(test, __same_type(var++, int)); 1013 KUNIT_EXPECT_EQ(test, var, 4); 1014 KUNIT_EXPECT_TRUE(test, __same_type(int, var++)); 1015 KUNIT_EXPECT_EQ(test, var, 4); 1016 KUNIT_EXPECT_TRUE(test, __same_type(var++, var++)); 1017 KUNIT_EXPECT_EQ(test, var, 4); 1018 1019 kunit_info(test, "%d __same_type() tests finished\n", count); 1020 -- 0-DAY CI Kernel Test Service https://github.com/intel/lkp-tests/wiki