[ 0:01] | load /home/xrockai/src/divine/nightly/test/posix/sock/01.valid.c 01.valid.c [ 0:01] | expect --result valid [ 0:01] | cc -o testcase.bc 01.valid.c [ 0:01] | verify --max-memory 4GiB --max-time 600 --threads 2 --report-filename verify.out --leakcheck exit testcase.bc [ 0:01] compiling 01.valid.c [ 0:01] 01.valid.c:25:23: warning: incompatible pointer types passing 'struct sockaddr_un *' to parameter of type 'const struct sockaddr *' [ 0:01] r = bind( server, &Saddr, len ); [ 0:01] ^~~~~~ [ 0:01] /dios/include/sys/socket.h:301:53: note: passing argument to parameter 'addr' here [ 0:01] __noinline int bind( int fd, const struct sockaddr *addr, socklen_t len ) __nothrow; [ 0:01] ^ [ 0:01] 01.valid.c:31:26: warning: incompatible pointer types passing 'struct sockaddr_un *' to parameter of type 'const struct sockaddr *' [ 0:01] r = connect( client, &Saddr, len ); [ 0:01] ^~~~~~ [ 0:01] /dios/include/sys/socket.h:308:56: note: passing argument to parameter 'addr' here [ 0:01] __noinline int connect( int fd, const struct sockaddr *addr, socklen_t len ) __nothrow; [ 0:01] ^ [ 0:01] 01.valid.c:34:32: warning: incompatible pointer types passing 'struct sockaddr_un *' to parameter of type 'struct sockaddr *' [ 0:01] int Send = accept( server, &Caddr, &len ); [ 0:01] ^~~~~~ [ 0:01] /dios/include/sys/socket.h:380:50: note: passing argument to parameter 'addr' here [ 0:01] __noinline int accept( int fd, struct sockaddr * addr, socklen_t * addr_len ) __nothrow; [ 0:01] ^ [ 0:01] 3 warnings generated. [ 0:01] loading bitcode … DiOS … LART … RR … constants … done [ 0:03] booting … done [ 0:03] states per second: 20.6897 [ 0:03] state count: 3 [ 0:03] mips: 0.31 [ 0:03] error found: no