Commit f47db3c799b4f6b63ee8021e0c93d00d5f125c9a

Patrick Steinhardt 2017-02-02T16:02:57

vector: do not reverse a vector if it is empty The code reversing a vector initially determines the rear-pointer by simply subtracting 1 from the vector's length. Obviously, this fails if the vector is empty, in which case we have an integer overflow. Fix the issue by returning early if the vector is empty.