{
name = data_out_pool (value, dict_get_encoding (old_dict),
var_get_write_format (flip->new_names_var),
{
name = data_out_pool (value, dict_get_encoding (old_dict),
var_get_write_format (flip->new_names_var),
/* Use the mangled name, if it is available, or add numeric
extensions until we find one that is. */
/* Use the mangled name, if it is available, or add numeric
extensions until we find one that is. */
- if (!dict_create_var (dict, name, 0))
+ if (!id_is_plausible (name, false) || !dict_create_var (dict, name, 0))
- if (dict_create_var (dict, n, 0))
+ if (id_is_plausible (n, false) && dict_create_var (dict, n, 0))
c = case_create (casereader_get_proto (reader));
data_in (ss_cstr (flip->old_names.names[flip->cases_read]), flip->encoding,
c = case_create (casereader_get_proto (reader));
data_in (ss_cstr (flip->old_names.names[flip->cases_read]), flip->encoding,
- FMT_A, case_data_rw_idx (c, 0), 8, flip->encoding);
+ FMT_A, settings_get_fmt_settings (), case_data_rw_idx (c, 0),
+ 8, flip->encoding);
Returns true if successful read, false if an I/O occurred
during destruction or previously. */
static void
Returns true if successful read, false if an I/O occurred
during destruction or previously. */
static void