Odd mudflap warning

[Andrey Vihrov]

Hello,

I get an odd mudflap warning on this C++ program:

#include <iostream>

int main()
{
    std::cout << std::fixed;
}

Compiled with "g++ -O2 -fmudflap -lmudflap", it generates the following
output:

*******
mudflap violation 1 (check/read): time=1345309301.373466
ptr=0x7f7dc01b9be0 size=8
pc=0x7f7dc01ddee1
location=`/usr/lib/gcc/x86_64-unknown-linux-gnu/4.7.1/../../../../include/c++/4.7.1/ostream:130:2 (main)'
      /lib/libmudflap.so.0(__mf_check+0x41) [0x7f7dc01ddee1]
      ./a.out(main+0xbe) [0x400ace]
      /lib/libc.so.6(__libc_start_main+0xf5) [0x7f7dbf63f725]
number of nearby objects: 0

Is this a bug in GCC, as it would seem, or are such presumably false
positives allowed? (This is GCC 4.7.1 on x86_64-unknown-linux-gnu, Arch
Linux.) Thanks.