/*

	$ i686-pc-linux-gnu-gcc-4.9.0 test.c
	i686-pc-linux-gnu-gcc-4.9.0: internal compiler error: Segmentation fault (program cc1)
	0x8053b4e execute
		../../../../../gcc/gcc/gcc.c:2824
	0x8053e1a do_spec_1
		../../../../../gcc/gcc/gcc.c:4616
	0x80565bd process_brace_body
		../../../../../gcc/gcc/gcc.c:5873
	0x80565bd handle_braces
		../../../../../gcc/gcc/gcc.c:5787
	0x8054a2a do_spec_1
		../../../../../gcc/gcc/gcc.c:5270
	0x80565bd process_brace_body
		../../../../../gcc/gcc/gcc.c:5873
	0x80565bd handle_braces
		../../../../../gcc/gcc/gcc.c:5787
	0x8054a2a do_spec_1
		../../../../../gcc/gcc/gcc.c:5270
	0x805414e do_spec_1
		../../../../../gcc/gcc/gcc.c:5375
	0x80565bd process_brace_body
		../../../../../gcc/gcc/gcc.c:5873
	0x80565bd handle_braces
		../../../../../gcc/gcc/gcc.c:5787
	0x8054a2a do_spec_1
		../../../../../gcc/gcc/gcc.c:5270
	0x80565bd process_brace_body
		../../../../../gcc/gcc/gcc.c:5873
	0x80565bd handle_braces
		../../../../../gcc/gcc/gcc.c:5787
	0x8054a2a do_spec_1
		../../../../../gcc/gcc/gcc.c:5270
	0x80565bd process_brace_body
		../../../../../gcc/gcc/gcc.c:5873
	0x80565bd handle_braces
		../../../../../gcc/gcc/gcc.c:5787
	0x8054a2a do_spec_1
		../../../../../gcc/gcc/gcc.c:5270
	0x80565bd process_brace_body
		../../../../../gcc/gcc/gcc.c:5873
	0x80565bd handle_braces
		../../../../../gcc/gcc/gcc.c:5787
	Please submit a full bug report,
	with preprocessed source if appropriate.
	Please include the complete backtrace with any bug report.
	See <http://gcc.gnu.org/bugs.html> for instructions.
	
	$ i686-pc-linux-gnu-gcc-4.9.0 -v
	Using built-in specs.
	COLLECT_GCC=i686-pc-linux-gnu-gcc-4.9.0
	COLLECT_LTO_WRAPPER=/usr/local/i686-tools/gcc-4.9.0/libexec/gcc/i686-pc-linux-gnu/4.9.0/lto-wrapper
	Target: i686-pc-linux-gnu
	Configured with: ../../../../gcc/configure --prefix=/usr/local/i686-tools/gcc-4.9.0/ --with-gmp=/usr/local/gmp-5.1.1/ --with-mpfr=/usr/local/mpfr-3.1.2/ --with-mpc=/usr/local/mpc-1.0.1/ --disable-multilib --disable-nls --enable-languages=c
	Thread model: posix
	gcc version 4.9.0 20130805 (experimental) (GCC) 


*/

#include <stdio.h>
#define OK()  printf("@OK@\n")
#define NG(fmt,val)  printf("@NG@ (test = " fmt ")\n",val)

int main (void)
{
	int x139 = 0;
	int t16 = 1;

	t16 = ((int)127|((int)128&((int)2*x139)));
	
	if (t16 == 127) { OK(); } else { NG("%d", t16); }
	
	return 0;
}