Searched refs:deterministic_seed (Results 1 – 1 of 1) sorted by relevance
89 static unsigned HOST_WIDE_INT deterministic_seed; variable96 if (deterministic_seed) { in get_random_const()97 unsigned HOST_WIDE_INT w = deterministic_seed; in get_random_const()101 deterministic_seed = w; in get_random_const()102 return deterministic_seed; in get_random_const()584 deterministic_seed = get_random_seed(true); in plugin_init()