Уточнить поведение `std::forward_list::merge`

[pavelkryukov]

Для двусвязного списка std::list в n4901 в описании метода merge есть такая ремарка:

Effects: If addressof(x) == this, does nothing;

Для односвязного списка std::forward_list об этом случае ничего не сказано. Из-за этого поведение имплементаций различно:

• libstdc++ проверок не делает, улетает в бесконечный цикл
• libc++ делает проверку
• то же верно и для MS STL

Поэтому предлагается:

• либо явно зафиксировать неопределённое поведение
• либо вставить вышеупомянутую ремарку и для std::forward_list::merge (что предпочтительнее).

[pavelkryukov]

https://cplusplus.github.io/LWG/issue3088

[pavelkryukov]

В GCC отправил патч: https://github.com/gcc-mirror/gcc/commit/52ebc2be0990d6d3a46bb716164f9cef6f661021