diff options
author | 2020-04-02 10:44:09 -0400 | |
---|---|---|
committer | 2020-08-13 10:39:40 +0000 | |
commit | fd24cea65c07fa404ebb480943fe9601939f14e8 (patch) | |
tree | ce4416fabf60ded561c7e3f5df1b80d1a861cb0d /src/svm/svm.c | |
parent | 3c3d43b950778277a6733efedef39970bacf5c24 (diff) |
misc: fix static analysis warnings
One actual bugfix.
Type: fix
Ticket: VPP-1837
Signed-off-by: Dave Barach <dave@barachs.net>
Change-Id: Icef25167f97a70cc795c0a481174de319ed79ad5
(cherry picked from commit c35f3e835b4078fedabc1ff5013bc4727f533e16)
Diffstat (limited to 'src/svm/svm.c')
-rw-r--r-- | src/svm/svm.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/svm/svm.c b/src/svm/svm.c index 421121957f0..a74b50f2baa 100644 --- a/src/svm/svm.c +++ b/src/svm/svm.c @@ -103,7 +103,7 @@ region_lock (svm_region_t * rp, int tag) rp->mutex_owner_pid = getpid (); rp->mutex_owner_tag = tag; #endif - ASSERT (nheld < MAXLOCK); + ASSERT (nheld < MAXLOCK); //NOSONAR /* * Keep score of held mutexes so we can try to exit * cleanly if the world comes to an end at the worst possible @@ -770,7 +770,7 @@ svm_map_region (svm_map_region_args_t * a) return ((void *) rp); } - return 0; /* NOTREACHED */ + return 0; /* NOTREACHED *///NOSONAR } static void @@ -779,7 +779,7 @@ svm_mutex_cleanup (void) int i; for (i = 0; i < nheld; i++) { - pthread_mutex_unlock (mutexes_held[i]); + pthread_mutex_unlock (mutexes_held[i]); //NOSONAR } } |