link-editor mapfile ASSERTions could be more flexible
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