Merge pull request #2301 from JohanEngelen/patch-6

wilzbach · web-flow · commit 47314bc128ee · 2018-03-28T19:25:45.000+02:00
[Spec] Clarify `(void*) - (void*)`
diff --git a/spec/expression.dd b/spec/expression.dd
@@ -563,7 +563,8 @@ $(GNAME AddExpression):
     $(P If both operands are pointers, and the operator is $(D -),
         the pointers are subtracted and the
         result is divided by the size of the type pointed to by the
-        operands. It is an error if the pointers point to different types.
+        operands. In this calculation the assumed size of $(D void) is one byte.
+        It is an error if the pointers point to different types.
         The type of the result is $(D ptrdiff_t).
     )
 

Original file line number	Diff line number	Diff line change
`@@ -563,7 +563,8 @@ $(GNAME AddExpression):`
`563`	`563`	`$(P If both operands are pointers, and the operator is $(D -),`
`564`	`564`	`the pointers are subtracted and the`
`565`	`565`	`result is divided by the size of the type pointed to by the`
`566`		`- operands. It is an error if the pointers point to different types.`
	`566`	`+ operands. In this calculation the assumed size of $(D void) is one byte.`
	`567`	`+ It is an error if the pointers point to different types.`
`567`	`568`	`The type of the result is $(D ptrdiff_t).`
`568`	`569`	`)`
`569`	`570`