aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/bitfield-store-loads.c
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-09-16 23:19:19 +0200
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2020-09-16 23:19:19 +0200
commit517177692e00fd36d89f1aac389348c9598bc426 (patch)
tree1b0825895125bac64012c7f1ee28a37712c7184b /validation/optim/bitfield-store-loads.c
parent24bdaac6682c36f5f7878321e8f9eb02c0993572 (diff)
downloadsparse-dev-517177692e00fd36d89f1aac389348c9598bc426.tar.gz
teach sparse about -funsigned-bitfields
Currently, Sparse treats 'plain' bitfields as unsigned. However, this is this is inconsistent with how non-bitfield integers are handled and with how GCC & clang handle bitfields. So, teach sparse about '-funsigned-bitfields' and by default treat these bitfields are signed, like done by GCC & clang and like done for non-bitfield integers. Also, avoid plain bitfields in IR related testcases. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim/bitfield-store-loads.c')
-rw-r--r--validation/optim/bitfield-store-loads.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/validation/optim/bitfield-store-loads.c b/validation/optim/bitfield-store-loads.c
index dc625131..f946715b 100644
--- a/validation/optim/bitfield-store-loads.c
+++ b/validation/optim/bitfield-store-loads.c
@@ -1,6 +1,6 @@
struct s {
- char :2;
- char f:3;
+ unsigned char :2;
+ unsigned char f:3;
};
int foo(struct s s, int a)