diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2019-10-05 17:58:28 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2020-12-29 14:44:21 +0100 |
| commit | 2cf493d1f63f075e6fe0cccbcb7463b1aa773a74 (patch) | |
| tree | a673b2a8ad549a2631936ef54d141731859dc2e3 /validation | |
| parent | f07a1053a90039a2d88ed62f74add2ee131d67b7 (diff) | |
| download | sparse-dev-2cf493d1f63f075e6fe0cccbcb7463b1aa773a74.tar.gz | |
packed: add support for __packed struct
Now that the 'packed' attribute is parsed and propagated into
the type system, adapt the layout of structures.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/packed-bitfield0.c | 1 | ||||
| -rw-r--r-- | validation/packed-bitfield1.c | 1 | ||||
| -rw-r--r-- | validation/packed-bitfield2.c | 1 | ||||
| -rw-r--r-- | validation/packed-bitfield5.c | 1 | ||||
| -rw-r--r-- | validation/packed-deref0.c | 1 | ||||
| -rw-r--r-- | validation/packed-struct.c | 1 |
6 files changed, 0 insertions, 6 deletions
diff --git a/validation/packed-bitfield0.c b/validation/packed-bitfield0.c index f84e7b90..2e209161 100644 --- a/validation/packed-bitfield0.c +++ b/validation/packed-bitfield0.c @@ -55,5 +55,4 @@ int main(void) /* * check-name: packed-bitfield0 - * check-known-to-fail */ diff --git a/validation/packed-bitfield1.c b/validation/packed-bitfield1.c index 208a3dc5..b7b575ce 100644 --- a/validation/packed-bitfield1.c +++ b/validation/packed-bitfield1.c @@ -24,5 +24,4 @@ static int foo(struct s *ptr) /* * check-name: packed-bitfield1 - * check-known-to-fail */ diff --git a/validation/packed-bitfield2.c b/validation/packed-bitfield2.c index 4587ebec..244204c2 100644 --- a/validation/packed-bitfield2.c +++ b/validation/packed-bitfield2.c @@ -12,5 +12,4 @@ _Static_assert(sizeof(struct bf2) == 8); /* * check-name: packed-bitfield2 - * check-known-to-fail */ diff --git a/validation/packed-bitfield5.c b/validation/packed-bitfield5.c index 8f44d4c2..87dbf9c2 100644 --- a/validation/packed-bitfield5.c +++ b/validation/packed-bitfield5.c @@ -17,5 +17,4 @@ static int ld(struct s *s) /* * check-name: packed-bitfield5 * check-description: is check_access() OK with 'overlapping' packed bitfields? - * check-known-to-fail */ diff --git a/validation/packed-deref0.c b/validation/packed-deref0.c index 865ad68a..d48ad1ac 100644 --- a/validation/packed-deref0.c +++ b/validation/packed-deref0.c @@ -20,5 +20,4 @@ static void bar(obj_t o) /* * check-name: packed-deref0 - * check-known-to-fail */ diff --git a/validation/packed-struct.c b/validation/packed-struct.c index e21d1153..dad22791 100644 --- a/validation/packed-struct.c +++ b/validation/packed-struct.c @@ -29,5 +29,4 @@ _Static_assert( sizeof(struct c) == 6, "size struct"); /* * check-name: packed-struct - * check-known-to-fail */ |