From a47b1454b92d51e84741de265698bd8bf87f1f1c Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Wed, 29 Mar 2017 11:35:00 -0700 Subject: Clarify the behavior of partially out of bounds stores. (#1025) --- Semantics.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Semantics.md') diff --git a/Semantics.md b/Semantics.md index dbb7280..19cd796 100644 --- a/Semantics.md +++ b/Semantics.md @@ -213,7 +213,8 @@ greatest alignment values practical, while always avoiding misaligned accesses. ### Out of Bounds -Out of bounds accesses trap. +Out of bounds accesses trap. If the access is a store, if any of the accessed +bytes are out of bounds, none of the bytes are modified. ### Resizing -- cgit v1.2.3