Como instalar o libmudflap em 64 bits 14.04 “Trusty”

Question

Eu gostaria de demonstrar que o lamaçal está trabalhando neste programa,

int
main()
{
  int tab[10];
  int i;
  for (i = 1; i <= 10; i++)
    tab[i] = 0;
  return 0;
}

mas recebo um erro,

$ gcc -fmudflap -lmudflap bounds-violation.c 
In file included from <command-line>:0:0:
/usr/include/stdc-predef.h:59:1: fatal error: mf-runtime.h: No such file or directory
 #endif
 ^
compilation terminated.

Então eu preciso das bibliotecas de lamaçal. Mas parece não existir uma biblioteca apropriada para minha plataforma x86_64:

$ uname -a
Linux orca 3.13.0-29-generic #53-Ubuntu SMP Wed Jun 4 21:00:20 UTC 2014 x86_64 x86_64 x86_64 GNU/Linux
$ apt-cache search mudflap
lib64mudflap0-dbg-powerpc-cross - GCC mudflap shared support libraries (64 bit debug symbols)
lib64mudflap0-powerpc-cross - GCC mudflap shared support libraries (64bit)
libhfmudflap0-armel-cross - GCC mudflap shared support libraries (hard float)
libhfmudflap0-dbg-armel-cross - GCC mudflap shared support libraries (hard float debug symbols)
libmudflap0-4.7-dev-armel-cross - GCC mudflap support libraries (development files)
libmudflap0-4.7-dev-armhf-cross - GCC mudflap support libraries (development files)
libmudflap0-4.8-dev-armhf-cross - GCC mudflap support libraries (development files)
libmudflap0-4.8-dev-powerpc-cross - GCC mudflap support libraries (development files)
libmudflap0-armel-cross - GCC mudflap shared support libraries
libmudflap0-armhf-cross - GCC mudflap shared support libraries
libmudflap0-dbg-armel-cross - GCC mudflap shared support libraries (debug symbols)
libmudflap0-dbg-armhf-cross - GCC mudflap shared support libraries (debug symbols)
libmudflap0-dbg-powerpc-cross - GCC mudflap shared support libraries (debug symbols)
libmudflap0-powerpc-cross - GCC mudflap shared support libraries
libsfmudflap0-armhf-cross - GCC mudflap shared support libraries (soft float)
libsfmudflap0-dbg-armhf-cross - GCC mudflap shared support libraries (soft float debug symbols)

Por que todo o material ARM e Armel? Pesquisando nas sugestões da rede deve haver um pacote chamado libmudflap0-4.8-dev , correspondente à versão pré-instalada do GCC em Trusty, mas não existe.

Isso é um bug? Se não, como instalar o libmudflap?

Obrigado.

    

Answer 1

Não percebi que o mudflap foi descontinuado no GCC da versão 4.9. Mesmo que o Ubuntu 14.04 envie 4.8, eu acho que eles descontinuaram o pacote. Consulte AddressSanitiser .