granicus.if.org Git - strace/blob - gen_bpf_attr_check.sh

   1 #!/bin/sh -efu
   2 # Copyright (c) 2018 Dmitry V. Levin <ldv@altlinux.org>
   3 # All rights reserved.
   4 #
   5 # Redistribution and use in source and binary forms, with or without
   6 # modification, are permitted provided that the following conditions
   7 # are met:
   8 # 1. Redistributions of source code must retain the above copyright
   9 #    notice, this list of conditions and the following disclaimer.
  10 # 2. Redistributions in binary form must reproduce the above copyright
  11 #    notice, this list of conditions and the following disclaimer in the
  12 #    documentation and/or other materials provided with the distribution.
  13 # 3. The name of the author may not be used to endorse or promote products
  14 #    derived from this software without specific prior written permission.
  15 #
  16 # THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
  17 # IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
  18 # OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
  19 # IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
  20 # INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
  21 # NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  22 # DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  23 # THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  24 # (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
  25 # THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  26
  27 input="$1"
  28 shift
  29
  30 cat <<EOF
  31 /* Generated by $0 from $input; do not edit. */
  32 #include "defs.h"
  33 #ifdef HAVE_LINUX_BPF_H
  34 # include <linux/bpf.h>
  35 # include "bpf_attr.h"
  36 # include "static_assert.h"
  37
  38 # define SoM(type_, member_) (sizeof(((type_ *)0)->member_))
  39 EOF
  40
  41 for struct in $(sed -n 's/^struct \(BPF_[^[:space:]]\+_struct\) .*/\1/p' < "$input"); do
  42         enum="$(sed -n 's/^struct '"$struct"' \/\* \([^[:space:]]\+\) \*\/ {.*/\1/p' < "$input")"
  43         ENUM="$(printf %s "$enum" |tr '[:lower:]' '[:upper:]')"
  44         enum="$enum${enum:+.}"
  45         ENUM="$ENUM${ENUM:+_}"
  46         sed -n '/^struct '"$struct"' [^{]*{/,/^};$/p' < "$input" |
  47         sed -n 's/^[[:space:]]\+[^][;]*[[:space:]]\([^][[:space:];]\+\)\(\[[^;]*\]\)\?;$/\1/p' |
  48         while read field; do
  49                 FIELD="$(printf %s "$field" |tr '[:lower:]' '[:upper:]')"
  50                 cat <<EOF
  51
  52 # ifdef HAVE_UNION_BPF_ATTR_$ENUM$FIELD
  53         static_assert(SoM(struct $struct, $field) == SoM(union bpf_attr, $enum$field),
  54                       "$struct.$field size mismatch");
  55         static_assert(offsetof(struct $struct, $field) == offsetof(union bpf_attr, $enum$field),
  56                       "$struct.$field offset mismatch");
  57 # endif /* HAVE_UNION_BPF_ATTR_$ENUM$FIELD */
  58 EOF
  59         done
  60                 cat <<EOF
  61
  62 static_assert(${struct}_size == expected_${struct}_size,
  63               "${struct}_size mismatch");
  64 EOF
  65
  66 done
  67
  68 cat <<'EOF'
  69
  70 #endif /* HAVE_LINUX_BPF_H */
  71 EOF