seL4_tools icon indicating copy to clipboard operation
seL4_tools copied to clipboard

Published 20 hours ago • verified publisher icon seL4

elfloader: initialise stack allocated struct

Open Ivan-Velickovic opened this issue 10 months ago • 1 comments

Only results in a compilation error on newer GCC versions.

What confuses me though is this only happens for me in sel4bench, but not sel4test. I believe I'm using the same compiler in both projects, but se4lbench results in a unitialised warning that is treated as a compile error. sel4test does not even print the warning?

Ivan-Velickovic avatar Apr 09 '24 05:04 Ivan-Velickovic

Maybe the compiler warning configuration is different in the projects?

axel-h avatar Apr 09 '24 07:04 axel-h