Project

General

Profile

Actions

Feature #14773

open

link-editor mapfile ASSERTions could be more flexible

Added by Thirteen Oxide about 1 month ago.

Status:
New
Priority:
Normal
Assignee:
-
Category:
cmd - userland programs
Start date:
Due date:
% Done:

0%

Estimated time:
Difficulty:
Medium
Tags:
Gerrit CR:

Description

Presently we can use the ASSERT attribute in SYMBOL_SCOPE and SYMBOL_VERSION directives to do things like guarantee that a symbol has a particular type and size. This is used in libc's mapfile to check the size of the stack guard symbol, for example. It would also be useful to make compile-time assertions about the size of functions, especially those that need to be copied into fixed-size buffers like the real-mode platter (the RMP as currently defined can't quite use this, because the size of real_mode_start_cpu is larger than what gets copied). As it is, however, that's inconvenient because we can only ASSERT that the size is equal to a particular value. This would be much more useful if we could assert an inequality instead.

No data to display

Actions

Also available in: Atom PDF