Exemplos de endless_loop_005_func_001 em C++ (Cpp)

Exemplo n.º 1

Arquivo: endless_loop.c Projeto: 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;
}

Exemplo n.º 2

Arquivo: endless_loop.c Projeto: 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;
}