Embed Notice

@pervognsen @regehr Only because you dereferenced it without checking the return value, so the case where it failed has UB and can be assumed not to happen.

For small n where the "as-if" allocation can surely happen on the stack, you could also assume it doesn't fail *if* you make the transformation not to really call malloc. But in general, you can't do that.