[Bug libmudflap/37927] Mudflap : invalid reads when accessing static objects in shared libraries

[g_sauthoff at web dot de]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=37927

--- Comment #4 from Georg Sauthoff <g_sauthoff at web dot de> 2013-03-02 20:51:07 UTC ---
Can reproduce this with gcc 4.7.2:

$ cat setl.c

#include <locale.h>
#include <stdio.h>
#include <string.h>

int main()
{
  char *s = setlocale(LC_ALL, 0);
  char buffer[512] = {0};
  strcpy(buffer, s);
  printf("LC_ALL: %s\n", buffer);
  return 0;
}

$ ./setl                     
*******
mudflap violation 1 (check/read): time=1362257386.022152 ptr=0x3e76776aaf
size=2
pc=0x7f033ef2ade1 location=`(strcpy src)'
      /lib64/libmudflap.so.0(__mf_check+0x41) [0x7f033ef2ade1]
      /lib64/libmudflap.so.0(__mfwrap_strcpy+0x16e) [0x7f033ef2cd2e]
      ./setl(main+0x6d) [0x4009a9]
number of nearby objects: 0
LC_ALL: C

Not really a bug - but a possibility how to silent those false-positives would
be great.