In #1812 we removed standard library includes and instead provided forward declarations of free, calloc, and memcpy -- but seemingly forgot to include malloc, which we also use.
This avoids a warning seen when dialling up goto-cc verbosity.
By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
In #1812 we removed standard library includes and instead provided forward declarations of
free,calloc, andmemcpy-- but seemingly forgot to includemalloc, which we also use.This avoids a warning seen when dialling up
goto-ccverbosity.By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.