https://gcc.gnu.org/bugzilla/show_bug.cgi?id=123479
--- Comment #2 from Drea Pinski <pinskia at gcc dot gnu.org> --- No I think this is correct for the code as given. But I see in the original code we have: ``` CADICAL_assert (first <= last); ``` Though adding that, GCC still does not remove the check against 0 because it does not handle pointer comparisons with point difference yet it seems.
