C++ (Cpp) endless_loop_005_func_001 Beispiele

Beispiel #1

Datei: endless_loop.c Projekt: dwightguth/Software-Analysis-Benchmark

void endless_loop_005 ()
{
	int ret;
	int a = 0;
	while (endless_loop_005_func_001())
	{
		a ++; /*Tool should detect this line as error*/ /*ERROR:Unintentional end less loop*/
	}
	ret = a;
}

Beispiel #2

Datei: endless_loop.c Projekt: Toyota-ITC-SSD/Software-Analysis-Benchmark

void endless_loop_005 ()
{
	int ret;
	int a = 0;
	while (endless_loop_005_func_001())
	{ /*Tool should Not detect this line as error*/ /*No ERROR:Unintentional end less loop*/
		a ++;
		if (a > 5)
		{
			break;
		}
	}
	ret = a;
        sink = ret;
}