EOF bug in libc++

eofbit.cpp

#include <iostream>
#include <sstream>

int main() {
    std::stringstream s;
    s.exceptions(std::istream::eofbit);

    s << "a";

    std::cout << "EOF? " << (s.eof() ? "T" : "F") << std::endl;
    std::cout << "get: " << s.get() << std::endl;
    std::cout << "EOF? " << (s.eof() ? "T" : "F") << std::endl;
    std::cout << "get: " << s.get() << std::endl; // throws eoftbit=T

    std::cout << "This line should not be reached!\n";

    return 0;
}