diff options
author | Eliseo Martínez <eliseomarmol@gmail.com> | 2014-11-15 23:09:58 +0100 |
---|---|---|
committer | Eliseo Martínez <eliseomarmol@gmail.com> | 2014-11-18 21:57:47 +0100 |
commit | c802869e99f8a56ba2eceea2f62d29c0cc673210 (patch) | |
tree | 4bf0f58cb8f2051760f8718125c99e5ad8cb58aa /src/nvim/api/vim.c | |
parent | b4ae878407223965cdee6c88e7a55caf08b2a130 (diff) | |
download | rneovim-c802869e99f8a56ba2eceea2f62d29c0cc673210.tar.gz rneovim-c802869e99f8a56ba2eceea2f62d29c0cc673210.tar.bz2 rneovim-c802869e99f8a56ba2eceea2f62d29c0cc673210.zip |
Fix warnings: window.c: win_rotate(): Np dereference: FP.
Problem : Dereference of null pointer @ 1268.
Diagnostic : False positive.
Rationale : Suggested error path implies current window's frame to be
the only child of its parent, which is ruled out by
`if (firstwin == lastwin) {` check at the beginning.
Resolution : Assert another child remains after removing current frame.
Strictly, assert is only needed in false branch of
conditional, but we add it the same in the true branch to
reduce reader surprise.
Several forms of a single assert after
`if (firstwin == lastwin) {` were tried, but analyzer
cannot follow implications that way.
Diffstat (limited to 'src/nvim/api/vim.c')
0 files changed, 0 insertions, 0 deletions