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 | |

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. |