> -----Original Message-----
> From: Dan Carpenter [mailto:dan.carpen...@oracle.com]
> Sent: Thursday, July 19, 2018 4:11 PM
> To: Gu, Jinxiang/顾 金香 <g...@cn.fujitsu.com>
> Cc: linux-btrfs@vger.kernel.org
> Subject: [bug report] btrfs: Add type check when reading a chunk
> 
> Hello Gu Jinxiang,
> 
> The patch 72e75ed03c8d: "btrfs: Add type check when reading a chunk"
> from Jul 4, 2018, leads to the following static checker warning:
> 
>       fs/btrfs/volumes.c:6388 btrfs_check_chunk_valid()
>       warn: AND to zero '0x4 & 0x1'
> 
> fs/btrfs/volumes.c
>   6356          if (!is_power_of_2(stripe_len) || stripe_len != 
> BTRFS_STRIPE_LEN) {
>   6357                  btrfs_err(fs_info, "invalid chunk stripe length: 
> %llu",
>   6358                            stripe_len);
>   6359                  return -EIO;
>   6360          }
>   6361          if (~(BTRFS_BLOCK_GROUP_TYPE_MASK | 
> BTRFS_BLOCK_GROUP_PROFILE_MASK) &
>   6362              type) {
>   6363                  btrfs_err(fs_info, "unrecognized chunk type: %llu",
>   6364                            ~(BTRFS_BLOCK_GROUP_TYPE_MASK |
>   6365                              BTRFS_BLOCK_GROUP_PROFILE_MASK) &
>   6366                            btrfs_chunk_type(leaf, chunk));
>   6367                  return -EIO;
>   6368          }
>   6369
>   6370          if ((type & BTRFS_BLOCK_GROUP_TYPE_MASK) == 0) {
>   6371                  btrfs_err(fs_info, "missing chunk type flag: %llu", 
> type);
>   6372                  return -EIO;
>   6373          }
>   6374
>   6375          if ((type & BTRFS_BLOCK_GROUP_SYSTEM) &&
>   6376              (type & (BTRFS_BLOCK_GROUP_METADATA | 
> BTRFS_BLOCK_GROUP_DATA))) {
>   6377                  btrfs_err(fs_info,
>   6378                          "system chunk with data or metadata type: 
> %llu", type);
>   6379                  return -EIO;
>   6380          }
>   6381
>   6382          features = btrfs_super_incompat_flags(fs_info->super_copy);
>   6383          if (features & BTRFS_FEATURE_INCOMPAT_MIXED_GROUPS)
>   6384                  mixed = 1;
>   6385
>   6386          if (!mixed) {
>   6387                  if (type &
>   6388                      (BTRFS_BLOCK_GROUP_METADATA & 
> BTRFS_BLOCK_GROUP_DATA)) {
>                              
> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
> Was this supposed to be | or perhaps check that both are set?
Yes. It should be |.
Thank you, I'll send a patch to fix it.

> 
>   6389                          btrfs_err(fs_info,
>   6390                          "mixed chunk type in non-mixed mode: %llu", 
> type);
>   6391                          return -EIO;
>   6392                  }
>   6393          }
> 
> regards,
> dan carpenter
> 



Reply via email to