Searched refs:flag_random_seed (Results 1 – 6 of 6) sorted by relevance
293 extern const char *flag_random_seed;
250 const char *flag_random_seed; variable469 if (!flag_random_seed) in randomize()493 flag_random_seed = random_seed; in randomize()
1275 flag_random_seed = NULL; in common_handle_option()1279 flag_random_seed = arg; in common_handle_option()
6135 crc32_string (0, flag_random_seed)); in get_file_function_name()
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.
253 fprintf (repo_file, " '-frandom-seed=%s'", flag_random_seed); in finish_repo()