aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorJustin M. Keyes <justinkz@gmail.com>2017-03-05 22:14:03 +0100
committerJustin M. Keyes <justinkz@gmail.com>2017-03-05 22:17:15 +0100
commita568816253ca36746ba58de9b62e8a08cc4a7a93 (patch)
tree3b1aad8bb42cb083aa0fa693aecff423493634b5 /src
parenta314f6d79fc3ded8d7b82284257b97f7f375b73f (diff)
downloadrneovim-a568816253ca36746ba58de9b62e8a08cc4a7a93.tar.gz
rneovim-a568816253ca36746ba58de9b62e8a08cc4a7a93.tar.bz2
rneovim-a568816253ca36746ba58de9b62e8a08cc4a7a93.zip
lint
You cannot escape clint...
Diffstat (limited to 'src')
-rw-r--r--src/coverity-model.c71
1 files changed, 35 insertions, 36 deletions
diff --git a/src/coverity-model.c b/src/coverity-model.c
index e01afcf2dd..a01ea6d316 100644
--- a/src/coverity-model.c
+++ b/src/coverity-model.c
@@ -1,26 +1,25 @@
-/* Coverity Scan model
- *
- * This is a modeling file for Coverity Scan. Modeling helps to avoid false
- * positives.
- *
- * - A model file can't import any header files.
- * - Therefore only some built-in primitives like int, char and void are
- * available but not wchar_t, NULL etc.
- * - Modeling doesn't need full structs and typedefs. Rudimentary structs
- * and similar types are sufficient.
- * - An uninitialized local pointer is not an error. It signifies that the
- * variable could be either NULL or have some data.
- *
- * Coverity Scan doesn't pick up modifications automatically. The model file
- * must be uploaded by an admin in the analysis settings of
- * http://scan.coverity.com/projects/neovim-neovim
- */
-/*
- Issue 105985
+// Coverity Scan model
+//
+// This is a modeling file for Coverity Scan. Modeling helps to avoid false
+// positives.
+//
+// - A model file can't import any header files.
+// - Therefore only some built-in primitives like int, char and void are
+// available but not wchar_t, NULL etc.
+// - Modeling doesn't need full structs and typedefs. Rudimentary structs
+// and similar types are sufficient.
+// - An uninitialized local pointer is not an error. It signifies that the
+// variable could be either NULL or have some data.
+//
+// Coverity Scan doesn't pick up modifications automatically. The model file
+// must be uploaded by an admin in the analysis settings of
+// http://scan.coverity.com/projects/neovim-neovim
+//
- Teach coverity that uv_pipe_open saves fd on success (0 return value)
- and doesn't save it on failure (return value != 0).
-*/
+// Issue 105985
+//
+// Teach coverity that uv_pipe_open saves fd on success (0 return value)
+// and doesn't save it on failure (return value != 0).
struct uv_pipe_s {
int something;
@@ -35,34 +34,34 @@ int uv_pipe_open(struct uv_pipe_s *handle, int fd)
return result;
}
-/*
- Issue 2422
+// Issue 2422
+//
+// Teach coverity about jemalloc functions, so that it understands
+// they are equivalent to malloc ones.
- Teach coverity about jemalloc functions, so that it understands
- they are equivalent to malloc ones.
-*/
-
-void *je_malloc(size_t size) {
+void *je_malloc(size_t size)
+{
return __coverity_alloc__(size);
}
-void je_free(void *ptr) {
+void je_free(void *ptr)
+{
__coverity_free__(ptr);
}
-void *je_calloc(size_t count, size_t size) {
+void *je_calloc(size_t count, size_t size)
+{
return je_malloc(count * size);
}
-void *je_realloc(void *ptr, size_t size) {
+void *je_realloc(void *ptr, size_t size)
+{
je_free(ptr);
return je_malloc(size);
}
-/*
- * Hint Coverity that adding item to d avoids losing track
- * of the memory allocated for item.
- */
+// Hint Coverity that adding item to d avoids losing track
+// of the memory allocated for item.
typedef struct {} dictitem_T;
typedef struct {} dict_T;
int dict_add(dict_T *d, dictitem_T *item)