Bug 11006 – Subtraction of pointers for `void` and non-void types compiles

According to docs: "For -, 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." Both passes (giving unexpected results) but should reject to compile: --- static assert(cast(void*) 8 - cast(int*) 0 == 2); static assert(cast(int*) 8 - cast(void*) 0 == 8); --- Looks like a high danger for generic code.

Fixed typo.

Covered by DMD's PR https://github.com/dlang/dmd/pull/6440

6440 is rebooted as https://github.com/dlang/dmd/pull/7332

Commits pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/1cf383600f21394b12e2077ae97c4944f53c5e2b Fix Issue 11006 - Subtraction of pointers for void and non-void types compiles https://github.com/dlang/dmd/commit/523301bf58ac8c2ea68269dc7628812d5697c863 Merge pull request #7332 from JinShil/fix_11006 Fix Issue 11006 - Subtraction of pointers for void and non-void type compiles merged-on-behalf-of: Walter Bright <[email protected]>

Commits pushed to stable at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/1cf383600f21394b12e2077ae97c4944f53c5e2b Fix Issue 11006 - Subtraction of pointers for void and non-void types compiles https://github.com/dlang/dmd/commit/523301bf58ac8c2ea68269dc7628812d5697c863 Merge pull request #7332 from JinShil/fix_11006