rust-lang/rust — pull request #16701 by tbu- (2014-08-23 13:09:51+00:00)
Title: Fix a potential overflow in `core::str::Searcher::new`

The overflow is mitigated by checking a sufficient condition for the less
relation.

Given the term `A - B < C` (`A`, `B` and `C` fixed size unsigned integers) one
can check whether it holds, by evaluating `A < C || A - B < C`.