mCRL2
|
This file contains a workaround that allows to assign a small array of elements on the stack. For most systems this can be done by the function alloca, or by: More...
Go to the source code of this file.
This file contains a workaround that allows to assign a small array of elements on the stack. For most systems this can be done by the function alloca, or by:
type var[n];
for variable n, but for the MSVC compilers, the special function _alloca must be used.
Definition in file memory_utility.h.