diff options
| author | Aleksandr Nogikh <nogikh@google.com> | 2024-01-17 11:37:02 +0100 |
|---|---|---|
| committer | Aleksandr Nogikh <nogikh@google.com> | 2024-02-19 11:54:01 +0000 |
| commit | 0936819b9f980bde731cb6191677f9aa2cbfd9aa (patch) | |
| tree | b74c312a9583de951ca05cd7d29cf95eecdc6eeb | |
| parent | 6a0e921ff20bf0952f7d8364d7af3552dd5f7598 (diff) | |
prog: test len calculation of structs with conditions
| -rw-r--r-- | prog/size_test.go | 8 | ||||
| -rw-r--r-- | sys/test/test.txt | 12 |
2 files changed, 20 insertions, 0 deletions
diff --git a/prog/size_test.go b/prog/size_test.go index 2f7dc9ce2..7db32442f 100644 --- a/prog/size_test.go +++ b/prog/size_test.go @@ -178,5 +178,13 @@ test$length30(&(0x7f0000000000)=ANY=[@ANYBLOB="11"], 0x42, &(0x7f0000000000)=0x4 In: "test$length34(&(0x7f0000000000)={[0x0, 0x0, 0x0, 0x0], &(0x7f0000000040)=@u1=0x0})", Out: "test$length34(&(0x7f0000000000)={[0x0, 0x0, 0x0, 0x0], &(0x7f0000000040)=@u1=0x4})", }, + { + In: "test$length35(&(0x7f0000000000)={0x0, {0x5, @void}})", + Out: "test$length35(&(0x7f0000000000)={0x4, {0x5}})", + }, + { + In: "test$length35(&(0x7f0000000000)={0x0, {0x1, @value=0x5}})", + Out: "test$length35(&(0x7f0000000000)={0x8, {0x1, @value=0x5}})", + }, }) } diff --git a/sys/test/test.txt b/sys/test/test.txt index 788eb8484..c59b9d3d3 100644 --- a/sys/test/test.txt +++ b/sys/test/test.txt @@ -517,6 +517,18 @@ parent_union [ test$length34(a0 ptr[in, parent_union_struct]) +struct_with_condition { + f1 int32 + f2 int32 (if[value[f1] == 0x1]) +} [packed] + +len_of_cond_struct { + f1 len[f2, int32] + f2 struct_with_condition +} + +test$length35(a0 ptr[in, len_of_cond_struct]) + # Big endian test$end0(a0 ptr[in, syz_end_int_struct]) |