Loading...

Searching...

No Matches

freer.h

1/*******************************************************************\

2

3Module:

4

5Author: 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

void free(void *ptr)

Definition stdlib.c:317

A functor wrapping std::free.

Definition freer.h:25

void operator()(T &&t) const

Definition freer.h:27

CBMC: /home/runner/work/cbmc/cbmc/src/util/freer.h Source File