diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2023-12-28 21:31:00 +0100 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-02-19 11:54:01 +0000 |
| commit | 31179bc75602cbe8f0421b44f19ff1b960039644 (patch) | |
| tree | 9804abe8e2ca0218da0e2c71b61a8b411f26e800 /sys/test/exec.txt | |
| parent | ed571339c6ff5ed764283737a0aa68451085e84d (diff) | |
prog: support conditional fields
pkg/compiler restructures conditional fields in structures into unions,
so we only have to implement the support for unions.
Semantics is as follows:
If a union has conditions, syzkaller picks the first field whose
condition matches. Since we require the last union field to have no
conditions, we can always construct an object.
Changes from this commit aim at ensuring that the selected union fields
always follow the rule above.
Diffstat (limited to 'sys/test/exec.txt')
| -rw-r--r-- | sys/test/exec.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sys/test/exec.txt b/sys/test/exec.txt index 913251a7d..67c0c70c0 100644 --- a/sys/test/exec.txt +++ b/sys/test/exec.txt @@ -51,6 +51,9 @@ compare_data [ overlay0 overlay0 overlay1 overlay1 overlay2 overlay2 + conditional conditional_struct + conditional2 condition_and_align + conditional3 condition_parent_align ] [varlen] flags_with_one_value = 0 |