[ 0:00] --symbolic -o nofail:malloc -o ignore:control [ 0:00] compiling /home/xrockai/src/divine/nightly/test/svcomp/product-lines/email_spec0_product16_false.cil.c [ 0:00] /home/xrockai/src/divine/nightly/test/svcomp/product-lines/email_spec0_product16_false.cil.c:731:44: warning: incompatible redeclaration of library function 'malloc' [ 0:00] extern __attribute__((__nothrow__)) void *malloc(size_t __size ) __attribute__((__malloc__)) ; [ 0:00] ^ [ 0:00] /home/xrockai/src/divine/nightly/test/svcomp/product-lines/email_spec0_product16_false.cil.c:731:44: note: 'malloc' is a builtin with type 'void *(unsigned long)' [ 0:00] 1 warning generated.