Bug#746176: Conflicting declarations of function sparse_crc32

[Komal Sukhani]

Package: android-tools
Compiler: goto-cc 5.0
Architecture: amd64

I am also getting similar issue while compiling using goto-cc which I
installed using
'apt-get install cbmc'