Searched refs:deterministic_seed (Results 1 – 1 of 1) sorted by relevance
89 static unsigned HOST_WIDE_INT deterministic_seed; variable 96 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()