CBMC
freer.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Reuben Thomas, reuben.thomas@diffblue.com
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_UTIL_FREER_H
10 #define CPROVER_UTIL_FREER_H
11 
12 #include <cstdlib>
13 #include <utility>
14 
24 struct freert
25 {
26  template <typename T>
27  void operator()(T &&t) const
28  {
29  free(std::forward<T>(t));
30  }
31 };
32 
33 #endif
free
void free(void *ptr)
Definition: stdlib.c:317
freert
A functor wrapping std::free.
Definition: freer.h:25
freert::operator()
void operator()(T &&t) const
Definition: freer.h:27