Not bugs found with scan-build

src/templates_front/templator_front.org

@@ -482,16 +482,17 @@ trexio_open(const char* file_name, const char mode,
   if (mode != 'r' && mode != 'w' && mode != 'a') return NULL;
 
   trexio_t* result = NULL;
+  void* result_tmp = NULL;
 
  /* Allocate data structures */
   switch (back_end) {
 
   case TREXIO_TEXT:
-    result = (trexio_t*) malloc (sizeof(trexio_text_t));
+    result_tmp = malloc(sizeof(trexio_text_t));
     break;
 
   case TREXIO_HDF5:
-    result = (trexio_t*) malloc (sizeof(trexio_hdf5_t));
+    result_tmp = malloc(sizeof(trexio_hdf5_t));
     break;
 /*
   case TREXIO_JSON:
@@ -499,6 +500,7 @@ trexio_open(const char* file_name, const char mode,
     break;
 ,*/
   }
+  result = (trexio_t*) result_tmp;
 
   assert (result != NULL); /* TODO: Error handling */
 
@@ -608,8 +610,10 @@ trexio_close (trexio_t* file)
 
   if (file == NULL) return TREXIO_FILE_ERROR;
 
-  trexio_exit_code rc;
+  trexio_exit_code rc = TREXIO_FAILURE;
 
+  assert(file->back_end < TREXIO_INVALID_BACK_END);
+  
  /* Terminate the back end */
   switch (file->back_end) {
 
@@ -625,8 +629,6 @@ trexio_close (trexio_t* file)
     rc = trexio_json_deinit(file);
     break;
 ,*/
-  default:
-    rc = TREXIO_FAILURE; /* Impossible case */
   }
 
   if (rc != TREXIO_SUCCESS) {
@@ -652,7 +654,7 @@ trexio_close (trexio_t* file)
   case TREXIO_JSON:
     rc = trexio_json_unlock(file);
     break;
-*/
+,*/
   }
 
  /* Terminate front end */
@@ -929,6 +931,8 @@ trexio_has_$group_num$ (trexio_t* const file)
 {
 
   if (file == NULL) return TREXIO_INVALID_ARG_1;
+  
+  assert(file->back_end < TREXIO_INVALID_BACK_END); 
 
   switch (file->back_end) {
 
@@ -944,9 +948,8 @@ trexio_has_$group_num$ (trexio_t* const file)
     return trexio_json_has_$group_num$(file);
     break;
 ,*/
-  default:
-    return TREXIO_FAILURE; /* Impossible case */
   }
+  return TREXIO_FAILURE;
 
 }
      #+end_src
@@ -1076,6 +1079,8 @@ trexio_read_$group$_$group_dset$_64 (trexio_t* const file, $group_dset_dtype_dou
 
   uint32_t rank = $group_dset_rank$;
   uint64_t dims[$group_dset_rank$] = {$group_dset_dim_list$};
+  
+  assert(file->back_end < TREXIO_INVALID_BACK_END); 
 
   switch (file->back_end) {
 
@@ -1091,9 +1096,8 @@ trexio_read_$group$_$group_dset$_64 (trexio_t* const file, $group_dset_dtype_dou
     return trexio_json_read_$group$_$group_dset$(file, $group_dset$, rank, dims);
     break;
 ,*/
-  default:
-    return TREXIO_FAILURE; /* Impossible case */
   }
+  return TREXIO_FAILURE;
 }
      #+end_src
 
@@ -1115,6 +1119,8 @@ trexio_write_$group$_$group_dset$_64 (trexio_t* const file, const $group_dset_dt
 
   uint32_t rank = $group_dset_rank$;
   uint64_t dims[$group_dset_rank$] = {$group_dset_dim_list$};
+  
+  assert(file->back_end < TREXIO_INVALID_BACK_END); 
 
   switch (file->back_end) {
 
@@ -1130,9 +1136,8 @@ trexio_write_$group$_$group_dset$_64 (trexio_t* const file, const $group_dset_dt
     return trexio_json_write_$group$_$group_dset$(file, $group_dset$, rank, dims);
     break;
 ,*/
-  default:
-    return TREXIO_FAILURE; /* Impossible case */
   }
+  return TREXIO_FAILURE;
 }
      #+end_src
 
@@ -1162,6 +1167,10 @@ trexio_read_$group$_$group_dset$_32 (trexio_t* const file, $group_dset_dtype_sin
 
   $group_dset_dtype_double$* $group_dset$_64 = CALLOC(dim_size, $group_dset_dtype_double$);
   if ($group_dset$_64 == NULL) return TREXIO_ALLOCATION_FAILED;
+  
+  assert(file->back_end < TREXIO_INVALID_BACK_END);
+
+  rc = TREXIO_FAILURE;
 
   switch (file->back_end) {
 
@@ -1177,8 +1186,6 @@ trexio_read_$group$_$group_dset$_32 (trexio_t* const file, $group_dset_dtype_sin
     rc = trexio_json_read_$group$_$group_dset$(file, $group_dset$_64, rank, dims);
     break;
 ,*/
-  default:
-    return TREXIO_FAILURE; /* Impossible case */
   }
 
   if (rc != TREXIO_SUCCESS){
@@ -1226,7 +1233,10 @@ trexio_write_$group$_$group_dset$_32 (trexio_t* const file, const $group_dset_dt
   for (uint64_t i=0; i<dim_size; ++i){
     $group_dset$_64[i] = ($group_dset_dtype_double$) $group_dset$[i];
   }
+  
+  assert(file->back_end < TREXIO_INVALID_BACK_END);
 
+  rc = TREXIO_FAILURE;
   switch (file->back_end) {
 
   case TREXIO_TEXT:
@@ -1241,8 +1251,6 @@ trexio_write_$group$_$group_dset$_32 (trexio_t* const file, const $group_dset_dt
     rc = trexio_json_write_$group$_$group_dset$(file, $group_dset$_64, rank, dims);
     break;
 ,*/
-  default:
-    return TREXIO_FAILURE; /* Impossible case */
   }
 
   FREE($group_dset$_64);
@@ -1275,6 +1283,8 @@ trexio_has_$group$_$group_dset$ (trexio_t* const file)
 {
 
   if (file  == NULL) return TREXIO_INVALID_ARG_1;
+  
+  assert(file->back_end < TREXIO_INVALID_BACK_END);
 
   switch (file->back_end) {
 
@@ -1290,9 +1300,8 @@ trexio_has_$group$_$group_dset$ (trexio_t* const file)
     return trexio_json_has_$group$_$group_dset$(file);
     break;
 ,*/
-  default:
-    return TREXIO_FAILURE; /* Impossible case */
   }
+  return TREXIO_FAILURE;
 }
      #+end_src