[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.