Уменьшение итератора после каждой итерации цикла показывает странное поведение

Я создал программу, чтобы попытаться попрактиковаться в семантике структуры данных списка. Я заметил странную разницу в следующих фрагментах кода:

Первый код:

#include<iostream>
#include<list>

using namespace std;

int main() {
    list<int> l;
    int n = 100;
    for(int i = 0; i < n; i++) {
        l.push_back(i);
    }
    list<int>::iterator it = l.end();
    it--;
    for(; !l.empty(); it--) {
        cout << "the size of l is " << (int) l.size() << endl;
        l.erase(it);
    }
}

Второй код:

#include<iostream>
#include<list>

using namespace std;

int main() {
    list<int> l;
    int n = 100;
    for(int i = 0; i < n; i++) {
        l.push_back(i);
    }
    list<int>::iterator it = l.end();
    it--;
    for(; !l.empty();) {
        cout << "the size of l is " << (int) l.size() << endl;
        l.erase(it--);
    }
}

Цель обоих фрагментов кода проста — просто стереть все элементы в списке.

Единственная разница между ними — место, где итератор списка уменьшается. В первом примере кода я использовал поток управления цикла for для уменьшения значения итератора. Во втором я использовал оператор постдекремента для декремента итератора.

Насколько я понимаю, приведенные выше примеры кода должны быть эквивалентны, потому что я уменьшаю итератор немедленно после удаления элемента из списка. Кроме того, согласно документам STL, только итератор стертого элемента в списке становится недействительным. Поэтому не должно быть никакого неопределенного поведения.

Проблема в том, что второй пример кода работает как положено - он останавливается после стирания всех элементов в списке. Однако для первого примера размер списка мог стать даже отрицательным?! Когда я попытался увеличить начальное количество элементов в списке, первая программа вылетает на полпути.

Может ли кто-нибудь посоветовать мне, почему эти образцы кода ведут себя по-разному?