From 6371a022a209c56be6442c83aa80a267fa4632d7 Mon Sep 17 00:00:00 2001 From: Tom Cornebize Date: Wed, 5 Apr 2017 17:05:16 +0200 Subject: [PATCH 1/1] Add some assertions. --- src/smpi/smpi_shared.cpp | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/smpi/smpi_shared.cpp b/src/smpi/smpi_shared.cpp index 23e5b45824..c5208ce31c 100644 --- a/src/smpi/smpi_shared.cpp +++ b/src/smpi/smpi_shared.cpp @@ -237,6 +237,9 @@ void *smpi_shared_malloc_global__(size_t size, const char *file, int line, int * for(int i_block = 0; i_block < nb_shared_blocks; i_block ++) { int start_offset = shared_block_offsets[2*i_block]; int stop_offset = shared_block_offsets[2*i_block+1]; + xbt_assert(0 <= start_offset, "start_offset (%d) should be greater than 0", start_offset); + xbt_assert(start_offset < stop_offset, "start_offset (%d) should be lower than stop offset (%d)", start_offset, stop_offset); + xbt_assert(stop_offset <= size, "stop_offset (%d) should be lower than size (%lu)", stop_offset, size); // fprintf(stderr, "shared block 0x%x - 0x%x\n", start_offset, stop_offset); int start_block_offset = ALIGN_UP(start_offset, smpi_shared_malloc_blocksize); int stop_block_offset = ALIGN_DOWN(stop_offset, smpi_shared_malloc_blocksize); -- 2.20.1