On Sun, Jul 30, 2023 at 3:29 AM Boqun Feng boqun.feng@gmail.com wrote:
+// Note: Although these are *safe* functions, but they are only generated at +// `GlobalAlloc` callsites, hence we assume the parameters obey the same +// `GlobalAlloc` function safety requirements: size and align should form a +// valid layout, and size is greater than 0.
Thanks for adding all the `// SAFETY` comments here Boqun!
Björn, do they look good to you? (since you fixed the issue in the compiler)
On this comment in particular, "generated at `GlobalAlloc` callsites" sounds a bit confusing to me. Would "... called by the compiler with parameters that obey ..." make sense? Or does the sentence refer to the normal case (i.e. when the functions are generated)? Anyway, it is not a big deal.
Cheers, Miguel