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
Implement x86-64 support in cgcc.
[smatch.git]
/
validation
/
choose_expr.c
blob
55bfa0ccaeaf7799c92b9ffbbda1a17a22a2ac6e
1
static int
x
=
__builtin_choose_expr
(
0
,(
char
*)
0
,(
void
)
0
);
2
static int
y
=
__builtin_choose_expr
(
1
,(
char
*)
0
,(
void
)
0
);
3
static char
s
[
42
];
4
static int
z
=
1
/(
sizeof
(
__builtin_choose_expr
(
1
,
s
,
0
)) -
42
);