From 6ab5d8cd5d2eaa1f52b6ec6b17ae12ca645854d1 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Fri, 12 Jul 2019 07:40:03 +0200 Subject: [PATCH 1/1] [sonar] Preserve const qualifier with cast. --- src/mc/compare.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/mc/compare.cpp b/src/mc/compare.cpp index b8071a78c7..f302e81f87 100644 --- a/src/mc/compare.cpp +++ b/src/mc/compare.cpp @@ -489,8 +489,8 @@ static bool heap_area_differ_without_type(simgrid::mc::StateComparator& state, c 1) != 0) { int pointer_align = (i / sizeof(void *)) * sizeof(void *); - const void* addr_pointed1 = snapshot1.read(remote((void**)((const char*)real_area1 + pointer_align))); - const void* addr_pointed2 = snapshot2.read(remote((void**)((const char*)real_area2 + pointer_align))); + const void* addr_pointed1 = snapshot1.read(remote((void* const*)((const char*)real_area1 + pointer_align))); + const void* addr_pointed2 = snapshot2.read(remote((void* const*)((const char*)real_area2 + pointer_align))); if (process.in_maestro_stack(remote(addr_pointed1)) && process.in_maestro_stack(remote(addr_pointed2))) { i = pointer_align + sizeof(void *); @@ -1091,8 +1091,8 @@ static bool areas_differ_with_type(simgrid::mc::StateComparator& state, const vo } for (i = 0; i < type->element_count; i++) { size_t off = i * elm_size; - if (areas_differ_with_type(state, (char*)real_area1 + off, snapshot1, region1, (char*)real_area2 + off, - snapshot2, region2, type->subtype, pointer_level)) + if (areas_differ_with_type(state, (const char*)real_area1 + off, snapshot1, region1, + (const char*)real_area2 + off, snapshot2, region2, type->subtype, pointer_level)) return true; } break; -- 2.20.1