noalloc-verifiedThe @noalloc contract holds

Reported by --explain after a verdict.

mettle explain noalloc-verified

The function is marked @noalloc, and the compiler walked everything it can reach and found no allocation on any path. The contract is proved, not assumed. A violation would have been a compile error, not a warning.

Related

• vectorizedThe loop became a SIMD kernel
• vectorized-innerThe inner loop of a nest became a kernel
• outer-of-nestThe outer loop of a nest, reported for context
• eliminatedThe loop was removed
• inlinedThe call was inlined
• unrolledThe loop was unrolled
• hoistedA call was lifted out of the loop
• if-convertedA branch became branchless arithmetic