Assertion: memory's function | /r/CapableOf | call alloca returns
Facets:
Source sentences:
text: Although there is no need of manually freeing memory allocated this way as it is automatically freed when the function that called alloca returns, there exists a risk of overflow.