void function_return_value_unchecked_008 () { int i=function_return_value_unchecked_008_func_001(6.00); /*Tool should detect this line as error*/ /*ERROR:Return value of function never checked*/ //if (i<10) i++; }
void function_return_value_unchecked_008 () { double i=function_return_value_unchecked_008_func_001(6); /*Tool should not detect this line as error*/ /*No ERROR:Return value of function never checked*/ if (i<10) i++; }