repo.or.cz
/
smatch.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
slice: remove unneeded nr_nrbits from EXPR_SLICE
[smatch.git]
/
validation
/
char-unsigned-native.c
blob
b86458427da2768af599088b6f118862c4d7af12
1
#define MASK ((1 << __CHAR_BIT__) - 1)
2
3
void
foo
(
void
)
4
{
5
_Static_assert
((
char
) -
1
== (-
1
&
MASK
),
"plain char is not unsigned"
);
6
}
7
8
/*
9
* check-name: char-unsigned-native
10
* check-command: sparse --arch=arm -Wno-decl $file
11
*/