ToruNiina 9e6d8e76d0 fix: replace null deref by terminate for safety ...

Since empty_iterator never points anything, so it always points null
(it returns nullptr by operator->). but dereferencing null causes UB.
Just calling std::terminate is of course better.

2019-06-20 20:56:49 +09:00

18 KiB

Raw Blame History

View Raw