Branch data     Line data    Source code

       1                 :             : #include "mem.h"
       2                 :             : 
       3                 :        2739 : void *memory_data_checked(
       4                 :             :         memory *memory_structure,
       5                 :             :         size_t expected_element_size)
       6                 :             : {
       7         [ -  + ]:        2739 :         if(memory_structure == NULL)
       8                 :             :         {
       9                 :           0 :                 report("Memory management; Descriptor is NULL");
      10                 :           0 :                 return NULL;
      11                 :             :         }
      12                 :             : 
      13         [ -  + ]:        2739 :         if(memory_structure->element_size != expected_element_size)
      14                 :             :         {
      15                 :           0 :                 report("Memory management; Expected %zu bytes but descriptor uses %zu",expected_element_size,memory_structure->element_size);
      16                 :           0 :                 return NULL;
      17                 :             :         }
      18                 :             : 
      19                 :        2739 :         return memory_structure->data;
      20                 :             : }