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
hooks: add a warning to detect unimplemented hooks
[smatch.git]
/
validation
/
enum-sign-extend.c
blob
d852c934e269a42b5b949ef48c8875beaf66479f
1
enum
num
{
2
a
=
0x80000000
,
3
b
= -
1
,
4
};
5
6
_Static_assert
([
typeof
(
b
)] == [
long
],
"type"
);
7
_Static_assert
(
b
== -
1L
,
"value"
);
8
9
/*
10
* check-name: enum-sign-extend
11
* check-command: sparse -m64 $file
12
*/