One more and then I'll stop .. I promise.
There appear to be numerous instances of the following design pattern:
struct message_info {
uint32_t words[1];
};
Where the above structure is then allocated locally, initialized and
returned by a procedure.
Seems like a lot of work to return a uint32_t.
I originally assumed that all/much of this code was generated
automatically from Haskell .. so I figured it was some odd corner case in
the translator. Subsequent discussions, however, have suggested that this
assumption is false and that the code was actually written by hand.
I could understand using structures to present a unique, statically
checkable procedure type signature .. but I can't rationalize the use of
the single element array.
So .. is there a reason for this curious design pattern?
Thanks,
Dave
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel
