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