Skip to content
Snippets Groups Projects
Commit 71586e56 authored by Kostyantyn Vorobyov's avatar Kostyantyn Vorobyov Committed by Julien Signoles
Browse files

[RTL] Issues with e_acsl_malloc.h header

parent b0554d0f
No related branches found
No related tags found
No related merge requests found
......@@ -24,12 +24,13 @@
/* Bindings for memory allocation */
/**********************************/
#include <features.h>
#include <stddef.h>
#ifndef E_ACSL_MALLOC
#define E_ACSL_MALLOC
#include <stddef.h>
#ifndef __GLIBC__
#ifdef __GLIBC__
/* Real functions for dynamic memory allocation in Glibc */
extern void *__libc_malloc(size_t);
extern void *__libc_realloc(void*, size_t);
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment