On Tue, 18 Apr 2023 at 08:40, Marvin Häuser <mhaeu...@posteo.de> wrote:
>
>
> > On 17. Apr 2023, at 23:18, Ard Biesheuvel <a...@kernel.org> wrote:
> >
> > Agree with all of this.
> >
> > And thanks for tracking this down - must not have been fun :-)
>
> No worries - it wasn’t. :) It was mere luck Vitaly discovered early it was an 
> issue that triggered based on the binary layout rather than a bug in the 
> mapping code itself…
>
> Speaking of not fun to track down, I initially wanted to add ASSERTs (yes, 
> runtime :( ) to check the alignment guarantee is actually met. Leif basically 
> declined any form of regression-testing at runtime. Do you happen to have a 
> simple(!) idea for how it could be checked at build-time? (It’s less about 
> “which commands do I run?” and more about integration with the build process 
> / BaseTools, cross-OS compatibility, etc.)
>


I think we should just add another align to the code:

.align xx
func:

< code >

.align xx
.org func + xx

That way, if the code straddles a xx-aligned boundary, the .org will
move backwards and force an error.


-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#103150): https://edk2.groups.io/g/devel/message/103150
Mute This Topic: https://groups.io/mt/98325898/21656
Group Owner: devel+ow...@edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com]
-=-=-=-=-=-=-=-=-=-=-=-


Reply via email to