ifstream getline не находит разделитель

Кажется, существует некоторая путаница в отношении различных состояний входного потока (и это правильно, они запутаны):

Стандарт С++, таблица 124

• badbit указывает на потерю целостности входной или выходной последовательности (например, неисправимую ошибку чтения из файла);
• eofbit указывает, что операция ввода достигла конца входной последовательности;
• failbit указывает, что операции ввода не удалось прочитать ожидаемые символы или операции вывода не удалось сгенерировать нужные символы.

То есть failbit устанавливается, когда basic_istream::getline(char_type* s, std::streamsize count, char_type delim) извлекает count-1 символов без нахождения разделителя (-1 для завершающего \0). Это не означает, что это поток bad, а скорее указывает, что getline не удалось найти разделитель.

Описание basic_istream::getline в стандарте C++: [istream.unformatted]/18

• Effects: [...] After constructing a sentry object [= preparation for input and error checks], extracts characters and stores them into successive locations of an array whose first element is designated by s. Characters are extracted and stored until one of the following occurs:
  1. end-of-file occurs on the input sequence (in which case the function calls setstate(eofbit));
  2. traits::eq(c, delim) [= найден разделитель] для следующего доступного входного символа c (в этом случае входной символ извлекается, но не сохраняется);
  3. n меньше одного или сохранено n - 1 символов (в этом случае функция вызывает setstate(failbit)). [...]
• Эти условия проверяются в указанном порядке.
• Если функция не извлекает символы, она вызывает setstate(failbit) [...]
• В любом случае, если n больше нуля, он сохраняет нулевой символ [...] в следующем последовательном месте массива.

[выделения и пропуски мои]

Из здесь:

Внутри функция обращается к входной последовательности, сначала создавая объект-сторож (с параметром noskipws равным true). Затем (если все в порядке) он извлекает символы из связанного с ним объекта потокового буфера, как если бы вызывал свои функции-члены sbumpc или sgetc, и, наконец, уничтожает объект-сторожевой перед возвратом.

Кажется, что буфер заполнен, пока есть проблема. (См. комментарии DyP)