[Tinycc-devel] bug

[lrt]

Find a bug!

#include <stdio.h>

#include <math.h>

#include <time.h>

int main(int argc, char **argv)

{

printf("Hello!\n");

printf("%lld\n", 641*6700417);

return 0;

}

output:

Hello!

7035757726269441

Right is :

Hello!

4294967297