PVS-Studio Analysis Results


Date:Tue Oct 27 17:06:25 2020
PVS-Studio Version:7.09.42228.74
Command Line:plog-converter PVS-studio.log --srcRoot . --excludedCodes V011 --renderTypes fullhtml --output PVS-studio.html.d
Total Warnings (GA):91
Group Location Level Code Message
General Analysis stddef.h:62 Medium V677 Custom declaration of a standard 'size_t' type. The declaration from system header files should be used instead.
General Analysis stdarg.h:30 Medium V677 Custom declaration of a standard 'va_list' type. The declaration from system header files should be used instead.
General Analysis stddef.h:90 Medium V677 Custom declaration of a standard 'wchar_t' type. The declaration from system header files should be used instead.
General Analysis stddef.h:51 Medium V677 Custom declaration of a standard 'ptrdiff_t' type. The declaration from system header files should be used instead.
General Analysis typval_encode.c.h:393 Medium V785 Constant expression in switch statement.
General Analysis buffer.c:3088 Medium V681 The language standard does not define an order in which the 'bt_dontwrite' functions will be called during evaluation of arguments.
General Analysis stddef.h:132 Medium V677 Custom declaration of a standard 'wint_t' type. The declaration from system header files should be used instead.
General Analysis eval.c:5594 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis eval.c:5848 High V576 Incorrect format. Consider checking the fourth actual argument of the 'vim_snprintf' function. The memsize type argument is expected.
General Analysis eval.c:5848 High V576 Incorrect format. Consider checking the fifth actual argument of the 'vim_snprintf' function. The memsize type argument is expected.
General Analysis eval.c:6179 Medium V1051 Consider checking for misprints. It's possible that the 'trans_name' should be checked here.
General Analysis typval_encode.c.h:283 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis typval_encode.c.h:326 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis typval_encode.c.h:326 High V576 Incorrect format. Consider checking the fourth actual argument of the 'vim_snprintf' function. The memsize type argument is expected.
General Analysis typval_encode.c.h:330 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis typval_encode.c.h:489 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis typval_encode.c.h:489 High V576 Incorrect format. Consider checking the fourth actual argument of the 'vim_snprintf' function. The memsize type argument is expected.
General Analysis typval_encode.c.h:497 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis typval_encode.c.h:487 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis typval_encode.c.h:487 High V576 Incorrect format. Consider checking the fourth actual argument of the 'vim_snprintf' function. The memsize type argument is expected.
General Analysis funcs.c:1781 High V547 Expression is always true.
General Analysis funcs.c:3722 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis funcs.c:8109 Medium V560 A part of conditional expression is always true.
General Analysis typval.c:2659 High V547 Expression is always true.
General Analysis userfunc.c:3390 Medium V560 A part of conditional expression is always false: abort.
General Analysis userfunc.c:3420 Medium V560 A part of conditional expression is always false: abort.
General Analysis userfunc.c:3428 Medium V560 A part of conditional expression is always false: abort.
General Analysis ex_cmds.c:3573 High V1051 Consider checking for misprints. It's possible that the 'current_match.start.lnum' should be checked here.
General Analysis ex_cmds2.c:3115 Medium V507 Pointer to local array 'sourcing_name_buf' is stored outside the scope of this array. Such a pointer will become invalid.
General Analysis extmark.c:899 Medium V560 A part of conditional expression is always true: item.
General Analysis extmark.c:968 Medium V560 A part of conditional expression is always true: item.
General Analysis fileio.c:4614 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis fileio.c:7552 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis fold.c:2837 Medium V560 A part of conditional expression is always true: (gap)->ga_len > 0.
General Analysis fold.c:2841 Medium V560 A part of conditional expression is always true: (gap)->ga_len > 0.
General Analysis fold.c:2860 Medium V560 A part of conditional expression is always true: (gap)->ga_len > 0.
General Analysis highlight.c:428 Medium V1051 Consider checking for misprints. It's possible that the 'cattrs.rgb_fg_color' should be checked here.
General Analysis highlight.c:446 Medium V1051 Consider checking for misprints. It's possible that the 'cattrs.rgb_fg_color' should be checked here.
General Analysis if_cscope.c:1934 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis keymap.c:671 Medium V1051 Consider checking for misprints. It's possible that the 'key' should be checked here.
General Analysis executor.c:572 Medium V547 Expression '!lstate' is always false.
General Analysis executor.c:1424 Medium V560 A part of conditional expression is always true: arg->vval.v_dict->lua_table_ref != (- 2).
General Analysis executor.c:1427 Medium V560 A part of conditional expression is always true: arg->vval.v_list->lua_table_ref != (- 2).
General Analysis marktree.c:167 High V512 A call of the 'memcpy' function will lead to underflow of the buffer 'z->key'.
General Analysis marktree.c:330 High V547 Expression 'adjustment == 1' is always false.
General Analysis marktree.c:438 High V547 Expression 'adjustment == 1' is always false.
General Analysis marktree.c:472 High V1028 Possible overflow. Consider casting operands of the 'y->n + 1' operator to the 'size_t' type, not the result.
General Analysis marktree.c:494 High V1028 Possible overflow. Consider casting operands of the 'y->n + 1' operator to the 'size_t' type, not the result.
General Analysis memline.c:1017 Medium V1048 The 'buf->b_ml.ml_stack_top' variable was assigned the same value.
General Analysis memline.c:1019 Medium V1048 The 'buf->b_ml.ml_stack_size' variable was assigned the same value.
General Analysis normal.c:3152 High V781 The value of the 'col' index is checked after it was used. Perhaps there is a mistake in program logic.
General Analysis ops.c:2745 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis ops.c:4985 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis ops.c:4987 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis ops.c:4989 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis ops.c:4991 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis option.c:4239 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis option.c:4241 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis option.c:4243 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis option.c:4639 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis option.c:4640 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis option.c:4641 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis option.c:4676 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis input.c:436 Medium V1044 Loop break conditions do not depend on the number of iterations.
General Analysis quickfix.c:2754 Medium V560 A part of conditional expression is always false: old_qf_curlist != qi->qf_curlist.
General Analysis quickfix.c:2755 Medium V560 A part of conditional expression is always false: old_changetick != qfl->qf_changedtick.
General Analysis quickfix.c:2858 Medium V560 A part of conditional expression is always false: old_changetick != qfl->qf_changedtick.
General Analysis regexp_nfa.c:6168 High V1051 Consider checking for misprints. It's possible that the 'pim->result' should be checked here.
General Analysis screen.c:1727 Medium V560 A part of conditional expression is always false: wp->w_wcol == old_wcol.
General Analysis screen.c:1729 Medium V560 A part of conditional expression is always true: old_topline == wp->w_topline.
General Analysis screen.c:2845 Medium V1051 Consider checking for misprints. It's possible that the 'vcol_sbr' should be checked here.
General Analysis screen.c:2898 High V512 A call of the 'memset' function will lead to underflow of the buffer 'buf_fold'.
General Analysis screen.c:3791 Medium V560 A part of conditional expression is always true: eol_hl_off == 0.
General Analysis screen.c:4542 Medium V1051 Consider checking for misprints. It's possible that the 'redraw_next' should be checked here.
General Analysis screen.c:5012 Medium V512 A call of the 'strcpy' function will lead to overflow of the buffer '(char *)(p + len)'.
General Analysis screen.c:6800 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis sha256.c:7 High V1042 This file is marked with copyleft license, which requires you to open the derived source code.
General Analysis shada.c:4100 High V1063 The modulo by 1 operation is meaningless. The result will always be zero.
General Analysis spell.c:449 Medium V557 Array underrun is possible. The value of 'mi.mi_fwordlen - 1' index could reach -1.
General Analysis spell.c:6040 High V781 The value of the 'i' index is checked after it was used. Perhaps there is a mistake in program logic.
General Analysis syntax.c:3363 Medium V1051 Consider checking for misprints. It's possible that the 'arg_end' should be checked here.
General Analysis syntax.c:3548 Medium V1051 Consider checking for misprints. It's possible that the 'arg_end' should be checked here.
General Analysis tag.c:1185 Medium V560 A part of conditional expression is always true: rettv.vval.v_special == kSpecialVarNull.
General Analysis input.c:540 Medium V1044 Loop break conditions do not depend on the number of iterations.
General Analysis input.c:552 Medium V1044 Loop break conditions do not depend on the number of iterations.
General Analysis tui.c:1125 Medium V751 Parameter 'cols' is not used inside function body.
General Analysis tui.c:1840 Medium V1051 Consider checking for misprints. It's possible that the 'data->unibi_ext.set_cursor_style' should be checked here.
General Analysis tui.c:1867 Medium V1051 Consider checking for misprints. It's possible that the 'data->unibi_ext.set_cursor_style' should be checked here.
General Analysis tui.c:1885 Medium V1051 Consider checking for misprints. It's possible that the 'data->unibi_ext.set_cursor_style' should be checked here.
General Analysis rbuffer.c:10 Medium V1044 Loop break conditions do not depend on the number of iterations.
General Analysis rbuffer.c:18 Medium V1044 Loop break conditions do not depend on the number of iterations.