/*

    $ x86_64-unknown-linux-gnu-gcc-4.9.0 test.c -o a.out -O3

    $ ./a.out
    @NG@ (test = 1)

    $ x86_64-unknown-linux-gnu-gcc-4.10.0 -v
    Using built-in specs.
    COLLECT_GCC=x86_64-unknown-linux-gnu-gcc-4.10.0
    COLLECT_LTO_WRAPPER=/usr/local/x86_64-tools/gcc-4.10.0/libexec/gcc/x86_64-unknown-linux-gnu/4.10.0/lto-wrapper
    Target: x86_64-unknown-linux-gnu
    Configured with: /home/hassy/gcc-master/configure
    --prefix=/usr/local/x86_64-tools/gcc-4.10.0/
    --with-gmp=/usr/local/gmp-5.1.1/ --with-mpfr=/usr/local/mpfr-3.1.2/
    --with-mpc=/usr/local/mpc-1.0.2/ --disable-multilib
    --disable-nls --enable-languages=c
    Thread model: posix
    gcc version 4.10.0 20140422 (experimental) (GCC)

*/

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

int main (void)
{
    volatile signed int x744 = 1;
    unsigned long long t81 = 1LLU;
    
    t81 = ((unsigned long long)18446744073709551615LLU*(x744*(unsigned long long)8589934591LLU));
    
    if (t81 == 18446744065119617025LLU) { OK(); } else { NG("%llu", t81); }
    
    return 0;
}