sys/linux: use nested flag definitions where sensible

All flags that are subset of other flags were identified with the
following Bash script [1]. Only a small set of flags identified by the
script were rewritten to use nested flag definitions, after manually
checking if it makes sense (based on syzkaller context and man pages).

For example, msgget_flags was rewritten as follows:

    -msgget_flags = IPC_CREAT, IPC_EXCL, S_IRUSR, S_IWUSR, S_IXUSR, S_IRGRP, S_IWGRP, S_IXGRP, S_IROTH, S_IWOTH, S_IXOTH
    +msgget_flags = IPC_CREAT, IPC_EXCL, open_mode

According to the msgget(2) man page:

    Upon creation, the least significant bits of the argument msgflg
    define the permissions of the message queue.  These permission bits
    have the same format and semantics as the permissions specified for
    the mode argument of open(2).

So it is correct to use open_mode directly in the definition of the
flags for msgget(2).

1 -

    #!/bin/bash

    regexp_flags="^(\w+)\s*=\s+([a-zA-Z\"][^=]*)$"

    is_subset() {
      local -n subset=$1
      local -n superset=$2
      for element in "${subset[@]}"; do
        if [[ ! " ${superset[@]} " =~ " $element " ]]; then
          return 1
        fi
      done
      return 0
    }

    declare -A parsed_lines

    while IFS= read -r line; do
      if [[ ! "$line" =~ $regexp_flags ]]; then
        continue
      fi
      list_name="${BASH_REMATCH[1]}"
      values="${BASH_REMATCH[2]}"
      IFS=',' read -r -a values_array <<< "$(echo "$values" | sed 's/ //g' | tr ',' '\n' | sort | tr '\n' ',')"

      # Skip flags with too few value.
      if [ "${#values_array[@]}" -lt 3 ]; then
        continue
      fi
      # Skip the syz0, syz1, etc. lists.
      if [ "${values_array[0]}" = "\"syz0\"" ]; then
        continue
      fi
      parsed_lines["${list_name}"]="${values_array[@]}"
    done

    for list_name in "${!parsed_lines[@]}"; do
      values_array=(${parsed_lines["$list_name"]})
      for other_list_name in "${!parsed_lines[@]}"; do
        other_values_array=(${parsed_lines["$other_list_name"]})
        if [ "$list_name" = "$other_list_name" ]; then
          continue
        fi

        if is_subset values_array other_values_array; then
          if [ "${#values_array[@]}" -eq "${#other_values_array[@]}" ]; then
            echo "$list_name EQUALS $other_list_name"
          else
            echo "$list_name is a SUBET of $other_list_name"
          fi
        fi
      done
    done

Signed-off-by: Paul Chaignon <paul.chaignon@gmail.com>

1 files changed, 2 insertions, 2 deletions

diff --git a/sys/linux/filesystem.txt b/sys/linux/filesystem.txt
index e6da1a46b..b2f7f3d5a 100644
--- a/sys/linux/filesystem.txt
+++ b/sys/linux/filesystem.txt
@@ -70,7 +70,7 @@ mount_attr {
 	userns_fd	align64[fd_userns]
 }
 
-mount_attr_flags = MOUNT_ATTR_RDONLY, MOUNT_ATTR_NOSUID, MOUNT_ATTR_NODEV, MOUNT_ATTR_NOEXEC, MOUNT_ATTR__ATIME, MOUNT_ATTR_NODIRATIME, MOUNT_ATTR_IDMAP
+mount_attr_flags = MOUNT_ATTR_IDMAP, fsmount_attr_flags
 mount_attr_propagation_flags = MS_UNBINDABLE, MS_PRIVATE, MS_SLAVE, MS_SHARED
 fsmount_flags = FSMOUNT_CLOEXEC
 fsopen_flags = FSOPEN_CLOEXEC
@@ -79,7 +79,7 @@ fsmount_attr_flags = MOUNT_ATTR_RDONLY, MOUNT_ATTR_NOSUID, MOUNT_ATTR_NODEV, MOU
 move_mount_flags = MOVE_MOUNT_F_SYMLINKS, MOVE_MOUNT_F_AUTOMOUNTS, MOVE_MOUNT_F_EMPTY_PATH, MOVE_MOUNT_T_SYMLINKS, MOVE_MOUNT_T_AUTOMOUNTS, MOVE_MOUNT_T_EMPTY_PATH, MOVE_MOUNT_SET_GROUP, MOVE_MOUNT_BENEATH
 fsconfig_flag_params = "dirsync", "lazytime", "mand", "posixacl", "ro", "sync", "async", "nolazytime", "nomand", "rw", "silent"
 
-filesystem = "sysfs", "rootfs", "ramfs", "tmpfs", "devtmpfs", "debugfs", "securityfs", "sockfs", "pipefs", "anon_inodefs", "devpts", "ext3", "ext2", "ext4", "hugetlbfs", "vfat", "ecryptfs", "fuseblk", "fuse", "rpc_pipefs", "nfs", "nfs4", "nfsd", "binfmt_misc", "autofs", "xfs", "jfs", "msdos", "ntfs", "ntfs3", "minix", "hfs", "hfsplus", "qnx4", "ufs", "btrfs", "configfs", "ncpfs", "qnx6", "exofs", "befs", "vxfs", "gfs2", "gfs2meta", "fusectl", "bfs", "nsfs", "efs", "cifs", "efivarfs", "affs", "tracefs", "bdev", "ocfs2", "ocfs2_dlmfs", "hpfs", "proc", "afs", "reiserfs", "jffs2", "romfs", "aio", "sysv", "v7", "udf", "ceph", "pstore", "adfs", "9p", "hostfs", "squashfs", "cramfs", "iso9660", "coda", "nilfs2", "logfs", "overlay", "f2fs", "omfs", "ubifs", "openpromfs", "bpf", "cgroup", "cgroup2", "cpuset", "mqueue", "aufs", "selinuxfs", "dax", "erofs", "virtiofs", "exfat", "binder", "zonefs", "pvfs2", "incremental-fs", "esdfs", "smb3", "gadgetfs"
+filesystem = "sysfs", "rootfs", "ramfs", "tmpfs", "devtmpfs", "debugfs", "securityfs", "sockfs", "pipefs", "anon_inodefs", "devpts", "hugetlbfs", "vfat", "ecryptfs", "fuseblk", "fuse", "rpc_pipefs", "nfs", "nfs4", "nfsd", "binfmt_misc", "autofs", "xfs", "jfs", "msdos", "ntfs", "ntfs3", "minix", "hfs", "hfsplus", "qnx4", "ufs", "btrfs", "configfs", "ncpfs", "qnx6", "exofs", "befs", "vxfs", "gfs2", "gfs2meta", "fusectl", "bfs", "nsfs", "efs", "cifs", "efivarfs", "affs", "tracefs", "bdev", "ocfs2", "ocfs2_dlmfs", "hpfs", "proc", "afs", "reiserfs", "jffs2", "romfs", "aio", "sysv", "v7", "udf", "ceph", "pstore", "adfs", "9p", "hostfs", "squashfs", "cramfs", "iso9660", "coda", "nilfs2", "logfs", "overlay", "f2fs", "omfs", "ubifs", "openpromfs", "bpf", "cgroup", "cgroup2", "cpuset", "mqueue", "aufs", "selinuxfs", "dax", "erofs", "virtiofs", "exfat", "binder", "zonefs", "pvfs2", "incremental-fs", "esdfs", "smb3", "gadgetfs", ext4_types
 
 blockdev_filename [
 	filename	filename