diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-01-23 14:07:01 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-01-23 15:05:21 +0100 |
| commit | 0e8428d26ffd80789aa83442676e6fb800e9c0ff (patch) | |
| tree | 5d110f7952fcdc8a64e0acb1f714d6d54505d3ff /sys/linux/dev_infiniband_rdma.txt | |
| parent | 9ab9b329d9c8d1477d5b2921671701d9a7a6d2cd (diff) | |
tools/syz-check: add limited checking of varlen structs
Stop at the fist varlen field, but check the preceeding ones.
Frequently the varlen array is the last field,
so we should get good checking for these cases.
Update #590
Diffstat (limited to 'sys/linux/dev_infiniband_rdma.txt')
| -rw-r--r-- | sys/linux/dev_infiniband_rdma.txt | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/sys/linux/dev_infiniband_rdma.txt b/sys/linux/dev_infiniband_rdma.txt index 38857a5c5..6853a28ce 100644 --- a/sys/linux/dev_infiniband_rdma.txt +++ b/sys/linux/dev_infiniband_rdma.txt @@ -1268,8 +1268,7 @@ ib_uverbs_flow_attr { size bytesize[flow_specs, int16] priority int16[0:7] num_of_specs len[flow_specs, int8] - reserved1 const[0x0, int8] - reserved2 const[0x0, int8] + reserved array[const[0x0, int8], 2] port int8 flags flags[ib_flow_flags, int32] flow_specs array[union_ib_flow_spec] |
