// S : tags fork c $TAGS // S : expect --result valid // S : cc -o test.bc $CC_OPT $file // S : verify $V_OPT test.bc #include #include #include #include int main( int argc, char *argv[] ) { pid_t cpid; int ret; cpid = fork(); if ( cpid == 0 ) // child while( 1 ); else ret = kill( cpid, 0 ); assert( ret == 0 ); }