repo.or.cz
/
splint-patched.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Some consistency changes to library & headers flags.
[splint-patched.git]
/
test
/
compoundstmt.c
blob
9962777d17c2e675befd400b868b82f5397a8385
1
/* GCC extension: http://gcc.gnu.org/onlinedocs/gcc-3.0.3/gcc_5.html#SEC68 */
2
3
extern
void
fvoid
(
void
) ;
4
5
int
main
(
int
argc
,
char
**
argv
) {
6
int
i
,
j
;
7
j
=
1
;
8
i
= ({
int
__tmp
;
__tmp
=(
5
);
__tmp
; });
9
j
= ({
int
__tmp
;
__tmp
=(
5
);
fvoid
(); });
10
printf
(
"%d
\n
"
,
i
);
11
return
1
;
12
}