[splint.git] / test / compoundstmt.c

/* GCC extension: http://gcc.gnu.org/onlinedocs/gcc-3.0.3/gcc_5.html#SEC68 */

extern void fvoid (void) ;

int main (int argc, char **argv) {
  int i, j;
  j = 1;
  i = ({ int __tmp; __tmp=(5); __tmp; });
  j = ({ int __tmp; __tmp=(5); fvoid (); });
  printf("%d\n", i);
  return 1;
}
Commit	Line	Data
abd7f895	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	}