Searched refs:prod (Results 1 – 1 of 1) sorted by relevance
43 int64_t prod; in nextRandomInteger() local45 __builtin_mul_overflow(mSeed, (int64_t)6364136223846793005, &prod); in nextRandomInteger()46 __builtin_add_overflow(prod, (int64_t)1442695040888963407, &mSeed); in nextRandomInteger()