Searched refs:flag_random_seed (Results 1 – 3 of 3) sorted by relevance
135 static const char *flag_random_seed; variable244 if (!flag_random_seed) in init_local_tick()293 flag_random_seed = val; in set_random_seed()294 if (flag_random_seed) in set_random_seed()299 random_seed = strtoul (flag_random_seed, &endp, 0); in set_random_seed()300 if (!(endp > flag_random_seed && *endp == 0)) in set_random_seed()301 random_seed = crc32_string (0, flag_random_seed); in set_random_seed()
15373 * tree.c (flag_random_seed, default_flag_random_seed): Move to15376 * toplev.c (flag_random_seed): Define here. Set local_tick.26951 * tree.c (flag_random_seed): Define.26953 (append_random_chars): Use flag_random_seed rather than trying26960 * flags.h (flag_random_seed): Declare.
25776 * flags.h (flag_random_seed): Remove declaration, in favor of...