Skip to content

Assert stack/heap/initialised RAM start and end symbols aren't placed in FLASH #696

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
9names wants to merge 2 commits into
base: master
Choose a base branch
from
Open

Assert stack/heap/initialised RAM start and end symbols aren't placed in FLASH #696

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
5560652
Assert that stack and heap aren't in FLASH
9names Oct 15, 2026
d1e101f
Assert that other initialised RAM symbols arent in FLASH
9names Oct 15, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
30 changes: 30 additions & 0 deletions cortex-m-rt/link.x.in
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -281,6 +281,36 @@ ASSERT(_stext >= ORIGIN(FLASH) && _stext < ORIGIN(FLASH) + LENGTH(FLASH), "
ERROR(cortex-m-rt): The .text section must be placed inside the FLASH memory.
Set _stext to an address within the FLASH region.");

/* ## RAM-based symbols that should not be placed in FLASH */
/* stack/heap start/end symbols */
ASSERT(_stack_start < ORIGIN(FLASH) || _stack_start >= ORIGIN(FLASH) + LENGTH(FLASH), "
ERROR(cortex-m-rt): stack start address is within the FLASH region.");

ASSERT(_stack_end < ORIGIN(FLASH) || _stack_end >= ORIGIN(FLASH) + LENGTH(FLASH), "
ERROR(cortex-m-rt): stack end address is within the FLASH region.");

ASSERT(__sheap < ORIGIN(FLASH) || __sheap >= ORIGIN(FLASH) + LENGTH(FLASH), "
ERROR(cortex-m-rt): heap start address is within the FLASH region.");

/* initialised ram start/end symbols */
ASSERT(_ram_start < ORIGIN(FLASH) || _ram_start >= ORIGIN(FLASH) + LENGTH(FLASH), "
ERROR(cortex-m-rt): ram start address is within the FLASH region.");

ASSERT(_ram_end < ORIGIN(FLASH) || _ram_end >= ORIGIN(FLASH) + LENGTH(FLASH), "
ERROR(cortex-m-rt): ram end address is within the FLASH region.");

ASSERT(__sbss < ORIGIN(FLASH) || __sbss >= ORIGIN(FLASH) + LENGTH(FLASH), "
ERROR(cortex-m-rt): .bss start address is within the FLASH region.");

ASSERT(__ebss < ORIGIN(FLASH) || __ebss >= ORIGIN(FLASH) + LENGTH(FLASH), "
ERROR(cortex-m-rt): .bss end address is within the FLASH region.");

ASSERT(__sdata < ORIGIN(FLASH) || __sdata >= ORIGIN(FLASH) + LENGTH(FLASH), "
ERROR(cortex-m-rt): .data start address is within the FLASH region.");

ASSERT(__edata < ORIGIN(FLASH) || __edata >= ORIGIN(FLASH) + LENGTH(FLASH), "
ERROR(cortex-m-rt): .data end address is within the FLASH region.");

/* # Other checks */
ASSERT(SIZEOF(.got) == 0, "
ERROR(cortex-m-rt): .got section detected in the input object files
Expand Down
Loading