From 9d578c5d1145a18f213b06e999737f22e1fd5d6c Mon Sep 17 00:00:00 2001 From: Alexis Beingessner Date: Mon, 20 Jul 2015 11:37:15 -0700 Subject: [PATCH] UB is src bzns --- vec-into-iter.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/vec-into-iter.md b/vec-into-iter.md index 566cad7..0ffc23c 100644 --- a/vec-into-iter.md +++ b/vec-into-iter.md @@ -63,7 +63,7 @@ However because `offset` is marked as a GEP inbounds instruction, this will tell LLVM that ptr is allocated and won't alias other allocated memory. This is fine for zero-sized types, as they can't alias anything. However if we're using `heap::EMPTY` as a sentinel for a non-allocation for a *non-zero-sized* type, -this can cause undefined behaviour. Alas, we must therefore special case either +this can cause Undefined Behaviour. Alas, we must therefore special case either cap or len being 0 to not do the offset. So this is what we end up with for initialization: