// S : tags libc c // S : expect --result valid // S : cc -o test.bc -D_PDCLIB_BUILD -DTEST $file // S : verify -o nofail:malloc test.bc #include #include "_PDCLIB_test.h" #include int main( void ) { TESTCASE( labs( 0 ) == 0 ); TESTCASE( labs( LONG_MAX ) == LONG_MAX ); TESTCASE( labs( LONG_MIN + 1 ) == -( LONG_MIN + 1 ) ); return TEST_RESULTS; }