C++ (Cpp) endless_loop_005_func_001 Exemples

Exemple #1

Fichier : endless_loop.c Projet : 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;
}

Exemple #2

Fichier : endless_loop.c Projet : 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;
}