Testcase #3 for emscripten issue 131

int64validity_reduced.c

#include <inttypes.h>
#include <stdio.h>

typedef uint32_t UINT32;
typedef uint64_t UINT64;

int main() {
	volatile UINT32 testu32a = 2375724032U;
	UINT32 bigu32 = 0xffffffffU;
	volatile UINT64 testu64a = 14746250828952703000U;
	
	while ((UINT64)testu32a * (UINT64)bigu32 < testu64a)
		testu64a /= 2;

	printf("testu64a is %llu\n", testu64a);
	return 0;
}