oscar-broman/strlib — pull request #2 by Y-Less (2013-11-22 02:09:50+00:00)
Title: IsOverlapping return simplified.

I'm not going to include the full proof, but consider the following cases (in pairs of array memory locations):

```
[ ]
[ ]

[ ]
[ ]

[ ]
[ ]

[ ]
[ ]

[ ]
[ ]

[ ]
[ ]

[ ]
[ ]

[ ]
[ ]

[ ]
[ ]

[ ]
[ ]

[ ]
[ ]

[ ]
[ ]

[ ]
[ ]

```

I don't think there are any more cases.