is_cmd_line_option
if (warn_file == NULL || is_cmd_line_option(attrib_num))
bool_t is_cmd_line_option(config_key a_num);