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
sparse, llvm: simplify function generation
[smatch.git]
/
validation
/
comma.c
blob
374948efbc14a7252ad3ffaadb089aa0114b18a9
1
static char
a
[
sizeof
(
char
*) +
1
];
2
static char
b
[
1
/(
sizeof
(
a
) -
sizeof
(
0
,
a
))];
3
static void
f
(
void
)
4
{
5
int
c
[
42
];
6
typeof
((
void
)
0
,
c
)
d
;
7
d
=
c
;
8
}
9
/*
10
* check-name: Comma and array decay
11
* check-description: arguments of comma should degenerate
12
*/