diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-02-21 17:22:51 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2021-03-09 22:17:01 +0100 |
| commit | d1239bab5bc931f14f4dc7c4c55aa66f34cc79b1 (patch) | |
| tree | c3a2a27734173889ef08d4fb0e013c55a861e11b /validation | |
| parent | e528e0755d46344f07e44bfbb3f90477747925cf (diff) | |
| download | sparse-dev-d1239bab5bc931f14f4dc7c4c55aa66f34cc79b1.tar.gz | |
ssa: avoid SSA conversion of packed bitfields
Packed bitfields are incompatible with the SSA conversion
which works on the assumption that memory operations are done
on the whole symbol.
So, directly exclude packed bitfields from the SSA conversion.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/mem2reg/packed-bitfield.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/validation/mem2reg/packed-bitfield.c b/validation/mem2reg/packed-bitfield.c index 4eaf0bef..f3ee259a 100644 --- a/validation/mem2reg/packed-bitfield.c +++ b/validation/mem2reg/packed-bitfield.c @@ -12,7 +12,6 @@ static void foo(struct s s) /* * check-name: packed-bitfield * check-command: test-linearize -fmem2reg $file - * check-known-to-fail * * check-output-contains: store.32 * check-output-contains: load.16 |