Branch data Line data Source code
1 : : #include "test_libmem_all.h"
2 : :
3 : : /**
4 : : * @brief Capture the negative resize case for a data descriptor with stale string metadata
5 : : *
6 : : * @return Return describing success or failure
7 : : */
8 : 1 : static Return capture_libmem_inconsistent_data_resize_cache(void)
9 : : {
10 : 1 : INITTEST;
11 : :
12 : 1 : unsigned char materialized_bytes[] = {1u,2u,3u,4u};
13 : 1 : memory invalid_descriptor = m_init(unsigned char,MEMORY_DATA);
14 : :
15 : 1 : invalid_descriptor.data = materialized_bytes;
16 : 1 : invalid_descriptor.length = sizeof(materialized_bytes);
17 : 1 : invalid_descriptor.actually_allocated_bytes = sizeof(materialized_bytes);
18 : 1 : invalid_descriptor.string_length = 2;
19 : 1 : invalid_descriptor.is_string = false;
20 : :
21 : 1 : ASSERT(FAILURE == m_resize(&invalid_descriptor,sizeof(materialized_bytes) + 4u));
22 : 1 : ASSERT(invalid_descriptor.data == materialized_bytes);
23 : 1 : ASSERT(invalid_descriptor.length == sizeof(materialized_bytes));
24 : 1 : ASSERT(invalid_descriptor.actually_allocated_bytes == sizeof(materialized_bytes));
25 : 1 : ASSERT(invalid_descriptor.string_length == 2);
26 : 1 : ASSERT(invalid_descriptor.is_string == false);
27 : :
28 : 1 : deliver(status);
29 : : }
30 : :
31 : : /**
32 : : * @brief Check data-mode resize rejects stale string metadata
33 : : *
34 : : * @return Return describing success or failure
35 : : */
36 : 1 : Return test_libmem_0057(void)
37 : : {
38 : 1 : INITTEST;
39 : :
40 : : static const char expected_stderr_pattern_libmem_0057[] =
41 : : "\\A.*Data descriptor has non-zero string_length during resize.*\\Z";
42 : :
43 : 1 : ASSERT(SUCCESS == match_function_output(NULL,expected_stderr_pattern_libmem_0057,capture_libmem_inconsistent_data_resize_cache));
44 : :
45 : 1 : RETURN_STATUS;
46 : : }
|