Stack memory is never deallocated #2

Open

Labels

Milestone

Memory emulation layer supporting relaxed memory models

opened

on May 27, 2021

Related to #1. Even if support for free() is added, this still does not free stack memory. Separating it might be the best option, as that will likely allow the fastest way to free stack memory upon stack frame removal.

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

Memory emulation layer supporting relaxed memory modelsNo due date

Relationships

None yet

Development

No branches or pull requests