diff options
| author | Caolán McNamara <caolanm@redhat.com> | 2014-11-05 10:15:38 +0000 |
|---|---|---|
| committer | Caolán McNamara <caolanm@redhat.com> | 2014-11-05 14:58:00 +0000 |
| commit | 12bcfec04fcbe6425e327109ad47cd2b2b80d2bd (patch) | |
| tree | b57ac6784ce892defa6d06fd5974318c8ffb6972 /sal | |
| parent | ea272d9fe4bf2dc7419f76e2ddee707d768ccd50 (diff) | |
markup with event type not checker type
Change-Id: I14c0c5d90b67000cb4fe9e6be647854abfe784da
Diffstat (limited to 'sal')
| -rw-r--r-- | sal/qa/osl/process/osl_process_child.cxx | 3 | ||||
| -rw-r--r-- | sal/rtl/alloc_arena.cxx | 1 | ||||
| -rw-r--r-- | sal/rtl/alloc_cache.cxx | 3 |
3 files changed, 7 insertions, 0 deletions
diff --git a/sal/qa/osl/process/osl_process_child.cxx b/sal/qa/osl/process/osl_process_child.cxx index ca9adb3441c7..ee5ecf5bb2c9 100644 --- a/sal/qa/osl/process/osl_process_child.cxx +++ b/sal/qa/osl/process/osl_process_child.cxx @@ -94,7 +94,10 @@ int main(int argc, char* argv[]) if (argc > 2) { if (0 == strcmp("-join", argv[1])) + { + // coverity[tainted_data] - this is a build-time only test tool wait_for_seconds(argv[2]); + } else if (0 == strcmp("-env", argv[1])) dump_env(argv[2]); } diff --git a/sal/rtl/alloc_arena.cxx b/sal/rtl/alloc_arena.cxx index c49f147c4ba2..b826f1347571 100644 --- a/sal/rtl/alloc_arena.cxx +++ b/sal/rtl/alloc_arena.cxx @@ -309,6 +309,7 @@ rtl_arena_hash_rescale ( rtl_arena_segment_type * next = curr->m_fnext; rtl_arena_segment_type ** head; + // coverity[negative_shift] head = &(arena->m_hash_table[RTL_ARENA_HASH_INDEX(arena, curr->m_addr)]); curr->m_fnext = (*head); (*head) = curr; diff --git a/sal/rtl/alloc_cache.cxx b/sal/rtl/alloc_cache.cxx index be6cd4dadbaa..a8db5c23ed59 100644 --- a/sal/rtl/alloc_cache.cxx +++ b/sal/rtl/alloc_cache.cxx @@ -138,6 +138,7 @@ rtl_cache_hash_rescale ( rtl_cache_bufctl_type * next = curr->m_next; rtl_cache_bufctl_type ** head; + // coverity[negative_shift] head = &(cache->m_hash_table[RTL_CACHE_HASH_INDEX(cache, curr->m_addr)]); curr->m_next = (*head); (*head) = curr; @@ -208,6 +209,7 @@ rtl_cache_hash_remove ( if (!(cache->m_features & RTL_CACHE_FEATURE_RESCALE)) { sal_Size ave = nbuf >> cache->m_hash_shift; + // coverity[negative_shift] sal_Size new_size = cache->m_hash_size << (highbit(ave) - 1); cache->m_features |= RTL_CACHE_FEATURE_RESCALE; @@ -1438,6 +1440,7 @@ rtl_cache_depot_wsupdate ( RTL_MEMORY_LOCK_ACQUIRE(&(cache->m_depot_lock)); } } + // coverity[missing_unlock] } /** rtl_cache_wsupdate() |