Esempi in C++ (Cpp) per data_underflow_010_func_001

Esempio n. 1

File: data_underflow.c Progetto: Toyota-ITC-SSD/Software-Analysis-Benchmark

void data_underflow_010 ()
{
	int min = -2147483647;
	int ret;
	ret = min - data_underflow_010_func_001(); /*Tool should detect this line as error*/ /*ERROR:Data Under*/
        sink = ret;
}

Esempio n. 2

File: data_underflow.c Progetto: dwightguth/Software-Analysis-Benchmark

void data_underflow_010 ()
{
	int min = -2147483646;
	int ret;
	ret = min - data_underflow_010_func_001(); /*Tool should Not detect this line as error*/ /*No ERROR:Data Underflow*/
}