Reword

Foo.md

The language specification does not prohibit any of these approaches.

1. Permit array objects of size SIZE_MAX and make ptrdiff_t wider than size_t.

   • Pointer subtraction can not overflow and cause undefined behavior.
   • ptrdiff_t is at least one bit larger than size_t, and can accomidate any differences
   • Maximum object size is SIZE_MAX.

2. Permit array objects of size SIZE_MAX/2 and use ptrdiff_t of the same width as size_t.

   • Pointer subtraction can not overflow and cause undefined behavior.
   • ptrdiff_t is the same size as size_t, and can accomidate any differences
   • Maximum object size is SIZE_MAX /2.

3. Permit array objects of size SIZE_MAX and use ptrdiff_t of the same width as size_t

   • Pointer subtraction can overflow and cause undefined behavior. Overflow occurs if the pointers are farther than SIZE_MAX / 2 elements apart.
   • ptrdiff_t is the same size as size_t, and can not accomidate any differences
   • Maximum object size is SIZE_MAX