On 03.03.2017 16:52, Kagamin wrote:
On Friday, 24 February 2017 at 20:16:28 UTC, Timon Gehr wrote:No. Worse. It turns failures into UB.On the other hand disabled bounds check can result in buffer overflow, which is already UB enough, so asserts turned into assumes won't add anything new.
Not every program with a wrong assertion in it exceeds array bounds.