From 31179bc75602cbe8f0421b44f19ff1b960039644 Mon Sep 17 00:00:00 2001 From: Aleksandr Nogikh Date: Thu, 28 Dec 2023 21:31:00 +0100 Subject: 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. --- sys/test/exec.txt | 3 +++ 1 file changed, 3 insertions(+) (limited to 'sys/test/exec.txt') 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 -- cgit mrf-deployment