mCRL2
Loading...
Searching...
No Matches
memory_utility.h File Reference

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.

Detailed Description

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.