| lists.openwall.net | lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC | |
|
Open Source and information security mailing list archives
| ||
|
Message-ID: <20220214000500.4ao6vrh4l33donqz@master>
Date: Mon, 14 Feb 2022 00:05:00 +0000
From: Wei Yang <richard.weiyang@...il.com>
To: kernel test robot <lkp@...el.com>
Cc: Wei Yang <richard.weiyang@...il.com>, kbuild-all@...ts.01.org,
linux-kernel@...r.kernel.org,
"Matthew Wilcox (Oracle)" <willy@...radead.org>,
Andrew Morton <akpm@...ux-foundation.org>,
Linux Memory Management List <linux-mm@...ck.org>
Subject: Re: include/linux/build_bug.h:78:41: error: static assertion failed:
"offsetof(struct page, mapping) == offsetof(struct folio, mapping)"
On Sun, Feb 13, 2022 at 07:51:34PM +0800, kernel test robot wrote:
>tree: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git master
>head: b81b1829e7e39f6cebdf6e4d5484eacbceda8554
>commit: 536f4217ced62b671bd759f6b549621a5654a70f mm: page->mapping folio->mapping should have the same offset
>date: 2 weeks ago
>config: parisc-randconfig-r004-20220213 (https://download.01.org/0day-ci/archive/20220213/202202131932.diaqTbxo-lkp@intel.com/config)
>compiler: hppa64-linux-gcc (GCC) 11.2.0
>reproduce (this is a W=1 build):
> wget https://raw.githubusercontent.com/intel/lkp-tests/master/sbin/make.cross -O ~/bin/make.cross
> chmod +x ~/bin/make.cross
> # https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=536f4217ced62b671bd759f6b549621a5654a70f
> git remote add linus https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git
> git fetch --no-tags linus master
> git checkout 536f4217ced62b671bd759f6b549621a5654a70f
> # save the config file to linux build tree
> mkdir build_dir
> COMPILER_INSTALL_PATH=$HOME/0day COMPILER=gcc-11.2.0 make.cross O=build_dir ARCH=parisc prepare
>
>If you fix the issue, kindly add following tag as appropriate
>Reported-by: kernel test robot <lkp@...el.com>
>
>All errors (new ones prefixed by >>):
>
> 18 | if (!(word & (~0ul << 32))) {
> | ^~
> include/asm-generic/bitops/__fls.h:20:22: warning: left shift count >= width of type [-Wshift-count-overflow]
> 20 | word <<= 32;
> | ^~~
> include/asm-generic/bitops/__fls.h:23:28: warning: left shift count >= width of type [-Wshift-count-overflow]
> 23 | if (!(word & (~0ul << (BITS_PER_LONG-16)))) {
> | ^~
> include/asm-generic/bitops/__fls.h:27:28: warning: left shift count >= width of type [-Wshift-count-overflow]
> 27 | if (!(word & (~0ul << (BITS_PER_LONG-8)))) {
> | ^~
> include/asm-generic/bitops/__fls.h:31:28: warning: left shift count >= width of type [-Wshift-count-overflow]
> 31 | if (!(word & (~0ul << (BITS_PER_LONG-4)))) {
> | ^~
> include/asm-generic/bitops/__fls.h:35:28: warning: left shift count >= width of type [-Wshift-count-overflow]
> 35 | if (!(word & (~0ul << (BITS_PER_LONG-2)))) {
> | ^~
> include/asm-generic/bitops/__fls.h:39:28: warning: left shift count >= width of type [-Wshift-count-overflow]
> 39 | if (!(word & (~0ul << (BITS_PER_LONG-1))))
> | ^~
> In file included from arch/parisc/include/asm/bitops.h:201,
> from include/linux/bitops.h:33,
> from include/linux/kernel.h:22,
> from arch/parisc/include/asm/bug.h:5,
> from include/linux/bug.h:5,
> from include/linux/thread_info.h:13,
> from include/asm-generic/preempt.h:5,
> from ./arch/parisc/include/generated/asm/preempt.h:1,
> from include/linux/preempt.h:78,
> from include/linux/rcupdate.h:27,
> from include/linux/rculist.h:11,
> from include/linux/pid.h:5,
> from include/linux/sched.h:14,
> from arch/parisc/kernel/asm-offsets.c:18:
> include/asm-generic/bitops/__fls.h: In function '__fls':
> include/asm-generic/bitops/__fls.h:18:28: warning: left shift count >= width of type [-Wshift-count-overflow]
> 18 | if (!(word & (~0ul << 32))) {
> | ^~
> include/asm-generic/bitops/__fls.h:20:22: warning: left shift count >= width of type [-Wshift-count-overflow]
> 20 | word <<= 32;
> | ^~~
> include/asm-generic/bitops/__fls.h:23:28: warning: left shift count >= width of type [-Wshift-count-overflow]
> 23 | if (!(word & (~0ul << (BITS_PER_LONG-16)))) {
> | ^~
> include/asm-generic/bitops/__fls.h:27:28: warning: left shift count >= width of type [-Wshift-count-overflow]
> 27 | if (!(word & (~0ul << (BITS_PER_LONG-8)))) {
> | ^~
> include/asm-generic/bitops/__fls.h:31:28: warning: left shift count >= width of type [-Wshift-count-overflow]
> 31 | if (!(word & (~0ul << (BITS_PER_LONG-4)))) {
> | ^~
> include/asm-generic/bitops/__fls.h:35:28: warning: left shift count >= width of type [-Wshift-count-overflow]
> 35 | if (!(word & (~0ul << (BITS_PER_LONG-2)))) {
> | ^~
> include/asm-generic/bitops/__fls.h:39:28: warning: left shift count >= width of type [-Wshift-count-overflow]
> 39 | if (!(word & (~0ul << (BITS_PER_LONG-1))))
> | ^~
> In file included from arch/parisc/include/asm/processor.h:18,
> from arch/parisc/include/asm/thread_info.h:6,
> from include/linux/thread_info.h:60,
> from include/asm-generic/preempt.h:5,
> from ./arch/parisc/include/generated/asm/preempt.h:1,
> from include/linux/preempt.h:78,
> from include/linux/rcupdate.h:27,
> from include/linux/rculist.h:11,
> from include/linux/pid.h:5,
> from include/linux/sched.h:14,
> from arch/parisc/kernel/asm-offsets.c:18:
> arch/parisc/include/asm/pdc.h: At top level:
> arch/parisc/include/asm/pdc.h:77:24: warning: 'struct pdc_memory_table' declared inside parameter list will not be visible outside of this definition or declaration
> 77 | struct pdc_memory_table *tbl, unsigned long entries);
> | ^~~~~~~~~~~~~~~~
> arch/parisc/include/asm/pdc.h:76:30: warning: 'struct pdc_memory_table_raddr' declared inside parameter list will not be visible outside of this definition or declaration
> 76 | int pdc_mem_mem_table(struct pdc_memory_table_raddr *r_addr,
> | ^~~~~~~~~~~~~~~~~~~~~~
> In file included from include/linux/compiler_types.h:65,
> from <command-line>:
> include/linux/smp.h:34:33: error: requested alignment '20' is not a positive power of 2
> 34 | __aligned(sizeof(struct __call_single_data));
> | ^~~~~~~~~~~~~~~~~~
> include/linux/compiler_attributes.h:33:68: note: in definition of macro '__aligned'
> 33 | #define __aligned(x) __attribute__((__aligned__(x)))
> | ^
> In file included from include/linux/container_of.h:5,
> from include/linux/list.h:5,
> from include/linux/rculist.h:10,
> from include/linux/pid.h:5,
> from include/linux/sched.h:14,
> from arch/parisc/kernel/asm-offsets.c:18:
> include/linux/build_bug.h:78:41: error: static assertion failed: "offsetof(struct page, lru) == offsetof(struct folio, lru)"
> 78 | #define __static_assert(expr, msg, ...) _Static_assert(expr, msg)
> | ^~~~~~~~~~~~~~
> include/linux/build_bug.h:77:34: note: in expansion of macro '__static_assert'
> 77 | #define static_assert(expr, ...) __static_assert(expr, ##__VA_ARGS__, #expr)
> | ^~~~~~~~~~~~~~~
> include/linux/mm_types.h:261:9: note: in expansion of macro 'static_assert'
> 261 | static_assert(offsetof(struct page, pg) == offsetof(struct folio, fl))
> | ^~~~~~~~~~~~~
> include/linux/mm_types.h:263:1: note: in expansion of macro 'FOLIO_MATCH'
> 263 | FOLIO_MATCH(lru, lru);
Sounds each FOLIO_MATCH() gets an compile error?
Compile on my machine looks good to me. How this happens?
> | ^~~~~~~~~~~
>>> include/linux/build_bug.h:78:41: error: static assertion failed: "offsetof(struct page, mapping) == offsetof(struct folio, mapping)"
> 78 | #define __static_assert(expr, msg, ...) _Static_assert(expr, msg)
> | ^~~~~~~~~~~~~~
> include/linux/build_bug.h:77:34: note: in expansion of macro '__static_assert'
> 77 | #define static_assert(expr, ...) __static_assert(expr, ##__VA_ARGS__, #expr)
> | ^~~~~~~~~~~~~~~
> include/linux/mm_types.h:261:9: note: in expansion of macro 'static_assert'
> 261 | static_assert(offsetof(struct page, pg) == offsetof(struct folio, fl))
> | ^~~~~~~~~~~~~
> include/linux/mm_types.h:264:1: note: in expansion of macro 'FOLIO_MATCH'
> 264 | FOLIO_MATCH(mapping, mapping);
> | ^~~~~~~~~~~
> include/linux/build_bug.h:78:41: error: static assertion failed: "offsetof(struct page, compound_head) == offsetof(struct folio, lru)"
> 78 | #define __static_assert(expr, msg, ...) _Static_assert(expr, msg)
> | ^~~~~~~~~~~~~~
> include/linux/build_bug.h:77:34: note: in expansion of macro '__static_assert'
> 77 | #define static_assert(expr, ...) __static_assert(expr, ##__VA_ARGS__, #expr)
> | ^~~~~~~~~~~~~~~
> include/linux/mm_types.h:261:9: note: in expansion of macro 'static_assert'
> 261 | static_assert(offsetof(struct page, pg) == offsetof(struct folio, fl))
> | ^~~~~~~~~~~~~
> include/linux/mm_types.h:265:1: note: in expansion of macro 'FOLIO_MATCH'
> 265 | FOLIO_MATCH(compound_head, lru);
> | ^~~~~~~~~~~
> include/linux/build_bug.h:78:41: error: static assertion failed: "offsetof(struct page, index) == offsetof(struct folio, index)"
> 78 | #define __static_assert(expr, msg, ...) _Static_assert(expr, msg)
> | ^~~~~~~~~~~~~~
> include/linux/build_bug.h:77:34: note: in expansion of macro '__static_assert'
> 77 | #define static_assert(expr, ...) __static_assert(expr, ##__VA_ARGS__, #expr)
> | ^~~~~~~~~~~~~~~
> include/linux/mm_types.h:261:9: note: in expansion of macro 'static_assert'
> 261 | static_assert(offsetof(struct page, pg) == offsetof(struct folio, fl))
> | ^~~~~~~~~~~~~
> include/linux/mm_types.h:266:1: note: in expansion of macro 'FOLIO_MATCH'
> 266 | FOLIO_MATCH(index, index);
> | ^~~~~~~~~~~
> include/linux/build_bug.h:78:41: error: static assertion failed: "offsetof(struct page, private) == offsetof(struct folio, private)"
> 78 | #define __static_assert(expr, msg, ...) _Static_assert(expr, msg)
> | ^~~~~~~~~~~~~~
> include/linux/build_bug.h:77:34: note: in expansion of macro '__static_assert'
> 77 | #define static_assert(expr, ...) __static_assert(expr, ##__VA_ARGS__, #expr)
> | ^~~~~~~~~~~~~~~
> include/linux/mm_types.h:261:9: note: in expansion of macro 'static_assert'
> 261 | static_assert(offsetof(struct page, pg) == offsetof(struct folio, fl))
> | ^~~~~~~~~~~~~
> include/linux/mm_types.h:267:1: note: in expansion of macro 'FOLIO_MATCH'
> 267 | FOLIO_MATCH(private, private);
> | ^~~~~~~~~~~
> include/linux/build_bug.h:78:41: error: static assertion failed: "offsetof(struct page, _mapcount) == offsetof(struct folio, _mapcount)"
> 78 | #define __static_assert(expr, msg, ...) _Static_assert(expr, msg)
> | ^~~~~~~~~~~~~~
> include/linux/build_bug.h:77:34: note: in expansion of macro '__static_assert'
> 77 | #define static_assert(expr, ...) __static_assert(expr, ##__VA_ARGS__, #expr)
> | ^~~~~~~~~~~~~~~
> include/linux/mm_types.h:261:9: note: in expansion of macro 'static_assert'
> 261 | static_assert(offsetof(struct page, pg) == offsetof(struct folio, fl))
> | ^~~~~~~~~~~~~
> include/linux/mm_types.h:268:1: note: in expansion of macro 'FOLIO_MATCH'
> 268 | FOLIO_MATCH(_mapcount, _mapcount);
> | ^~~~~~~~~~~
> include/linux/build_bug.h:78:41: error: static assertion failed: "offsetof(struct page, _refcount) == offsetof(struct folio, _refcount)"
> 78 | #define __static_assert(expr, msg, ...) _Static_assert(expr, msg)
> | ^~~~~~~~~~~~~~
> include/linux/build_bug.h:77:34: note: in expansion of macro '__static_assert'
> 77 | #define static_assert(expr, ...) __static_assert(expr, ##__VA_ARGS__, #expr)
> | ^~~~~~~~~~~~~~~
> include/linux/mm_types.h:261:9: note: in expansion of macro 'static_assert'
> 261 | static_assert(offsetof(struct page, pg) == offsetof(struct folio, fl))
> | ^~~~~~~~~~~~~
> include/linux/mm_types.h:269:1: note: in expansion of macro 'FOLIO_MATCH'
> 269 | FOLIO_MATCH(_refcount, _refcount);
> | ^~~~~~~~~~~
> include/linux/build_bug.h:78:41: error: static assertion failed: "offsetof(struct page, memcg_data) == offsetof(struct folio, memcg_data)"
> 78 | #define __static_assert(expr, msg, ...) _Static_assert(expr, msg)
> | ^~~~~~~~~~~~~~
> include/linux/build_bug.h:77:34: note: in expansion of macro '__static_assert'
> 77 | #define static_assert(expr, ...) __static_assert(expr, ##__VA_ARGS__, #expr)
> | ^~~~~~~~~~~~~~~
> include/linux/mm_types.h:261:9: note: in expansion of macro 'static_assert'
> 261 | static_assert(offsetof(struct page, pg) == offsetof(struct folio, fl))
> | ^~~~~~~~~~~~~
> include/linux/mm_types.h:271:1: note: in expansion of macro 'FOLIO_MATCH'
> 271 | FOLIO_MATCH(memcg_data, memcg_data);
> | ^~~~~~~~~~~
> In file included from include/linux/mm.h:33,
> from include/linux/pid_namespace.h:7,
> from include/linux/ptrace.h:10,
> from arch/parisc/kernel/asm-offsets.c:20:
> include/linux/pgtable.h: In function 'pud_index':
> include/linux/pgtable.h:77:25: warning: right shift count >= width of type [-Wshift-count-overflow]
> 77 | return (address >> PUD_SHIFT) & (PTRS_PER_PUD - 1);
> | ^~
> include/linux/pgtable.h: In function 'pgd_offset_pgd':
> include/linux/pgtable.h:84:29: warning: right shift count >= width of type [-Wshift-count-overflow]
> 84 | #define pgd_index(a) (((a) >> PGDIR_SHIFT) & (PTRS_PER_PGD - 1))
> | ^~
> include/linux/pgtable.h:124:23: note: in expansion of macro 'pgd_index'
> 124 | return (pgd + pgd_index(address));
> | ^~~~~~~~~
> In file included from include/linux/stringhash.h:7,
> from include/linux/dcache.h:15,
>
>
>vim +78 include/linux/build_bug.h
>
>bc6245e5efd70c Ian Abbott 2017-07-10 60
>6bab69c65013be Rasmus Villemoes 2019-03-07 61 /**
>6bab69c65013be Rasmus Villemoes 2019-03-07 62 * static_assert - check integer constant expression at build time
>6bab69c65013be Rasmus Villemoes 2019-03-07 63 *
>6bab69c65013be Rasmus Villemoes 2019-03-07 64 * static_assert() is a wrapper for the C11 _Static_assert, with a
>6bab69c65013be Rasmus Villemoes 2019-03-07 65 * little macro magic to make the message optional (defaulting to the
>6bab69c65013be Rasmus Villemoes 2019-03-07 66 * stringification of the tested expression).
>6bab69c65013be Rasmus Villemoes 2019-03-07 67 *
>6bab69c65013be Rasmus Villemoes 2019-03-07 68 * Contrary to BUILD_BUG_ON(), static_assert() can be used at global
>6bab69c65013be Rasmus Villemoes 2019-03-07 69 * scope, but requires the expression to be an integer constant
>6bab69c65013be Rasmus Villemoes 2019-03-07 70 * expression (i.e., it is not enough that __builtin_constant_p() is
>6bab69c65013be Rasmus Villemoes 2019-03-07 71 * true for expr).
>6bab69c65013be Rasmus Villemoes 2019-03-07 72 *
>6bab69c65013be Rasmus Villemoes 2019-03-07 73 * Also note that BUILD_BUG_ON() fails the build if the condition is
>6bab69c65013be Rasmus Villemoes 2019-03-07 74 * true, while static_assert() fails the build if the expression is
>6bab69c65013be Rasmus Villemoes 2019-03-07 75 * false.
>6bab69c65013be Rasmus Villemoes 2019-03-07 76 */
>6bab69c65013be Rasmus Villemoes 2019-03-07 77 #define static_assert(expr, ...) __static_assert(expr, ##__VA_ARGS__, #expr)
>6bab69c65013be Rasmus Villemoes 2019-03-07 @78 #define __static_assert(expr, msg, ...) _Static_assert(expr, msg)
>6bab69c65013be Rasmus Villemoes 2019-03-07 79
>
>:::::: The code at line 78 was first introduced by commit
>:::::: 6bab69c65013bed5fce9f101a64a84d0385b3946 build_bug.h: add wrapper for _Static_assert
>
>:::::: TO: Rasmus Villemoes <linux@...musvillemoes.dk>
>:::::: CC: Linus Torvalds <torvalds@...ux-foundation.org>
>
>---
>0-DAY CI Kernel Test Service, Intel Corporation
>https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org
--
Wei Yang
Help you, Help me
Powered by blists - more mailing lists