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 whose reserve is too small
5 : : *
6 : : * @return Return describing success or failure
7 : : */
8 : 1 : static Return capture_libmem_inconsistent_data_resize_reserve(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) - 1u;
18 : 1 : invalid_descriptor.string_length = 0;
19 : 1 : invalid_descriptor.is_string = false;
20 : :
21 : 1 : ASSERT(FAILURE == m_resize(&invalid_descriptor,sizeof(materialized_bytes)));
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) - 1u);
25 : 1 : ASSERT(invalid_descriptor.string_length == 0);
26 : 1 : ASSERT(invalid_descriptor.is_string == false);
27 : :
28 : 1 : deliver(status);
29 : : }
30 : :
31 : : /**
32 : : * @brief Check data-mode resize rejects descriptors whose reserve does not cover the payload
33 : : *
34 : : * @return Return describing success or failure
35 : : */
36 : 1 : Return test_libmem_0058(void)
37 : : {
38 : 1 : INITTEST;
39 : :
40 : : static const char expected_stderr_pattern_libmem_0058[] =
41 : : "\\A.*Descriptor reserve is smaller than logical payload during resize.*\\Z";
42 : :
43 : 1 : ASSERT(SUCCESS == match_function_output(NULL,expected_stderr_pattern_libmem_0058,capture_libmem_inconsistent_data_resize_reserve));
44 : :
45 : 1 : RETURN_STATUS;
46 : : }
|