cvs: php-gcov-web /clang-checker/tests storage.c uninit-strs.c

nlopess Thu Dec 11 14:36:11 2008 UTC Added files: /php-gcov-web/clang-checker/tests storage.c uninit-strs.c Log: add two more XFAILed tests http://cvs.php.net/viewvc.cgi/php-gcov-web/clang-checker/tests/storage.c?view=markup&rev=1.1 Index: php-gcov-web/clang-checker/tests/storage.c +++ php-gcov-web/clang-checker/tests/storage.c // RUN: clang -checker-simple -verify %s // XFAIL: storage is not verified int zend_parse_parameters(int num_args, const char *type_spec, ...); void foo() { char **str = NULL; int *len; long x; long *num; num = &x; zend_parse_parameters(0, "sl", str, // expected-warning {{Pointer in NULL}} len, // expected-warning {{Pass-by-value argument in function is undefined}} num // no-warning ); } http://cvs.php.net/viewvc.cgi/php-gcov-web/clang-checker/tests/uninit-strs.c?view=markup&rev=1.1 Index: php-gcov-web/clang-checker/tests/uninit-strs.c +++ php-gcov-web/clang-checker/tests/uninit-strs.c // RUN: clang -checker-simple -verify %s // XFAIL: string not correlated with length int zend_parse_parameters(int num_args, const char *type_spec, ...); #define SUCCESS 0 void bar(int x); void foo() { char *str = NULL; int len; if (zend_parse_parameters(0, "|s", &str, &len) != SUCCESS) { return; } bar(len); // expected-warning {{Pass-by-value argument in function is undefined}} // if str is inited, then len is too if (str) { bar(len); // no-warning } }