vim-patch:9.1.0638: E1510 may happen when formatting a message for smsg() (#29907)

Problem:  E1510 may happen when formatting a message
          (after 9.1.0181).
Solution: Only give E1510 when using typval. (zeertzjq)

closes: vim/vim#15391

0dff31576a
(cherry picked from commit d131c48c82)
This commit is contained in:
zeertzjq
2024-07-30 06:26:09 +08:00
committed by github-actions[bot]
parent c2625b6fad
commit a0a95edb2d
2 changed files with 55 additions and 37 deletions

View File

@ -1002,7 +1002,7 @@ static void format_overflow_error(const char *pstart)
enum { MAX_ALLOWED_STRING_WIDTH = 6400, }; enum { MAX_ALLOWED_STRING_WIDTH = 6400, };
static int get_unsigned_int(const char *pstart, const char **p, unsigned *uj) static int get_unsigned_int(const char *pstart, const char **p, unsigned *uj, bool overflow_err)
{ {
*uj = (unsigned)(**p - '0'); *uj = (unsigned)(**p - '0');
(*p)++; (*p)++;
@ -1013,8 +1013,12 @@ static int get_unsigned_int(const char *pstart, const char **p, unsigned *uj)
} }
if (*uj > MAX_ALLOWED_STRING_WIDTH) { if (*uj > MAX_ALLOWED_STRING_WIDTH) {
format_overflow_error(pstart); if (overflow_err) {
return FAIL; format_overflow_error(pstart);
return FAIL;
} else {
*uj = MAX_ALLOWED_STRING_WIDTH;
}
} }
return OK; return OK;
@ -1075,7 +1079,7 @@ static int parse_fmt_types(const char ***ap_types, int *num_posarg, const char *
// Positional argument // Positional argument
unsigned uj; unsigned uj;
if (get_unsigned_int(pstart, &p, &uj) == FAIL) { if (get_unsigned_int(pstart, &p, &uj, tvs != NULL) == FAIL) {
goto error; goto error;
} }
@ -1118,7 +1122,7 @@ static int parse_fmt_types(const char ***ap_types, int *num_posarg, const char *
// Positional argument field width // Positional argument field width
unsigned uj; unsigned uj;
if (get_unsigned_int(arg + 1, &p, &uj) == FAIL) { if (get_unsigned_int(arg + 1, &p, &uj, tvs != NULL) == FAIL) {
goto error; goto error;
} }
@ -1144,7 +1148,7 @@ static int parse_fmt_types(const char ***ap_types, int *num_posarg, const char *
const char *digstart = p; const char *digstart = p;
unsigned uj; unsigned uj;
if (get_unsigned_int(digstart, &p, &uj) == FAIL) { if (get_unsigned_int(digstart, &p, &uj, tvs != NULL) == FAIL) {
goto error; goto error;
} }
@ -1165,7 +1169,7 @@ static int parse_fmt_types(const char ***ap_types, int *num_posarg, const char *
// Parse precision // Parse precision
unsigned uj; unsigned uj;
if (get_unsigned_int(arg + 1, &p, &uj) == FAIL) { if (get_unsigned_int(arg + 1, &p, &uj, tvs != NULL) == FAIL) {
goto error; goto error;
} }
@ -1192,7 +1196,7 @@ static int parse_fmt_types(const char ***ap_types, int *num_posarg, const char *
const char *digstart = p; const char *digstart = p;
unsigned uj; unsigned uj;
if (get_unsigned_int(digstart, &p, &uj) == FAIL) { if (get_unsigned_int(digstart, &p, &uj, tvs != NULL) == FAIL) {
goto error; goto error;
} }
@ -1488,7 +1492,7 @@ int vim_vsnprintf_typval(char *str, size_t str_m, const char *fmt, va_list ap_st
const char *digstart = p; const char *digstart = p;
unsigned uj; unsigned uj;
if (get_unsigned_int(digstart, &p, &uj) == FAIL) { if (get_unsigned_int(digstart, &p, &uj, tvs != NULL) == FAIL) {
goto error; goto error;
} }
@ -1530,7 +1534,7 @@ int vim_vsnprintf_typval(char *str, size_t str_m, const char *fmt, va_list ap_st
// Positional argument field width // Positional argument field width
unsigned uj; unsigned uj;
if (get_unsigned_int(digstart, &p, &uj) == FAIL) { if (get_unsigned_int(digstart, &p, &uj, tvs != NULL) == FAIL) {
goto error; goto error;
} }
@ -1539,15 +1543,19 @@ int vim_vsnprintf_typval(char *str, size_t str_m, const char *fmt, va_list ap_st
p++; p++;
} }
const int j = (tvs int j = (tvs
? (int)tv_nr(tvs, &arg_idx) ? (int)tv_nr(tvs, &arg_idx)
: (skip_to_arg(ap_types, ap_start, &ap, &arg_idx, : (skip_to_arg(ap_types, ap_start, &ap, &arg_idx,
&arg_cur, fmt), &arg_cur, fmt),
va_arg(ap, int))); va_arg(ap, int)));
if (j > MAX_ALLOWED_STRING_WIDTH) { if (j > MAX_ALLOWED_STRING_WIDTH) {
format_overflow_error(digstart); if (tvs != NULL) {
goto error; format_overflow_error(digstart);
goto error;
} else {
j = MAX_ALLOWED_STRING_WIDTH;
}
} }
if (j >= 0) { if (j >= 0) {
@ -1562,12 +1570,7 @@ int vim_vsnprintf_typval(char *str, size_t str_m, const char *fmt, va_list ap_st
const char *digstart = p; const char *digstart = p;
unsigned uj; unsigned uj;
if (get_unsigned_int(digstart, &p, &uj) == FAIL) { if (get_unsigned_int(digstart, &p, &uj, tvs != NULL) == FAIL) {
goto error;
}
if (uj > MAX_ALLOWED_STRING_WIDTH) {
format_overflow_error(digstart);
goto error; goto error;
} }
@ -1585,12 +1588,7 @@ int vim_vsnprintf_typval(char *str, size_t str_m, const char *fmt, va_list ap_st
const char *digstart = p; const char *digstart = p;
unsigned uj; unsigned uj;
if (get_unsigned_int(digstart, &p, &uj) == FAIL) { if (get_unsigned_int(digstart, &p, &uj, tvs != NULL) == FAIL) {
goto error;
}
if (uj > MAX_ALLOWED_STRING_WIDTH) {
format_overflow_error(digstart);
goto error; goto error;
} }
@ -1604,7 +1602,7 @@ int vim_vsnprintf_typval(char *str, size_t str_m, const char *fmt, va_list ap_st
// positional argument // positional argument
unsigned uj; unsigned uj;
if (get_unsigned_int(digstart, &p, &uj) == FAIL) { if (get_unsigned_int(digstart, &p, &uj, tvs != NULL) == FAIL) {
goto error; goto error;
} }
@ -1613,15 +1611,19 @@ int vim_vsnprintf_typval(char *str, size_t str_m, const char *fmt, va_list ap_st
p++; p++;
} }
const int j = (tvs int j = (tvs
? (int)tv_nr(tvs, &arg_idx) ? (int)tv_nr(tvs, &arg_idx)
: (skip_to_arg(ap_types, ap_start, &ap, &arg_idx, : (skip_to_arg(ap_types, ap_start, &ap, &arg_idx,
&arg_cur, fmt), &arg_cur, fmt),
va_arg(ap, int))); va_arg(ap, int)));
if (j > MAX_ALLOWED_STRING_WIDTH) { if (j > MAX_ALLOWED_STRING_WIDTH) {
format_overflow_error(digstart); if (tvs != NULL) {
goto error; format_overflow_error(digstart);
goto error;
} else {
j = MAX_ALLOWED_STRING_WIDTH;
}
} }
if (j >= 0) { if (j >= 0) {

View File

@ -757,6 +757,22 @@ func Test_spell_add_word()
%bw! %bw!
endfunc endfunc
func Test_spell_add_long_word()
set spell spellfile=./Xspellfile.add spelllang=en
let word = repeat('a', 9000)
let v:errmsg = ''
" Spell checking doesn't really work for such a long word,
" but this should not cause an E1510 error.
exe 'spellgood ' .. word
call assert_equal('', v:errmsg)
call assert_equal([word], readfile('./Xspellfile.add'))
set spell& spellfile= spelllang& encoding=utf-8
call delete('./Xspellfile.add')
call delete('./Xspellfile.add.spl')
endfunc
func Test_spellfile_verbose() func Test_spellfile_verbose()
call writefile(['1', 'one'], 'XtestVerbose.dic') call writefile(['1', 'one'], 'XtestVerbose.dic')
call writefile([], 'XtestVerbose.aff') call writefile([], 'XtestVerbose.aff')