Stream state after extractor hits EOF

I'm trying to confirm a bug in MS Visual Studio 2008. When the stream
extractor's sentinel constructor skips over white space and hits EOF, the
VS2008 implementation is setting failbit. Does the standard allow this? Or
should it only set eofbit?

For those interested in checking this out, the relevant code is in
<istream> at line 130, in this internal routine:

bool __CLR_OR_THIS_CALL _Ipfx(bool _Noskip = false)

I've got exceptions set for failbit, and I'm getting a throw when using an
istream_iterator and I hit EOF. This doesn't seem right to me. EOF is
expected and ends the copy() operation I'm doing. Here's what I'm doing:

std::vector<double> data;
{
    std::ifstream f(filename);
    f.exceptions(std::ios::badbit | std::ios::failbit);
    std::copy(std::istream_iterator<double>(f), std::istream_iterator<double>(),
              std::back_inserter(data));
}

--
      [ See http://www.gotw.ca/resources/clcm.htm for info about ]
      [ comp.lang.c++.moderated. First time posters: Do this! ]