Skip to content
Snippets Groups Projects
Commit 7668c136 authored by Kostyantyn Vorobyov's avatar Kostyantyn Vorobyov
Browse files

[RTL] Interface for cfree

parent 31b10381
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree_mmodel.c
+ 1
− 0
View file @ 7668c136
...@@ -451,6 +451,7 @@ strong_alias(bittree_malloc, malloc) ...@@ -451,6 +451,7 @@ strong_alias(bittree_malloc, malloc)
strong_alias(bittree_calloc, calloc) strong_alias(bittree_calloc, calloc)
strong_alias(bittree_realloc, realloc) strong_alias(bittree_realloc, realloc)
strong_alias(bittree_free, free) strong_alias(bittree_free, free)
strong_alias(bittree_free, cfree)
strong_alias(bittree_posix_memalign, posix_memalign) strong_alias(bittree_posix_memalign, posix_memalign)
strong_alias(bittree_aligned_alloc, aligned_alloc) strong_alias(bittree_aligned_alloc, aligned_alloc)
/* Explicit tracking */ /* Explicit tracking */
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment