diff options
| -rw-r--r-- | test/main.c | 122 | ||||
| -rw-r--r-- | test/testFuncs1.c | 1409 | ||||
| -rw-r--r-- | test/testFuncs1.h | 20 | ||||
| -rw-r--r-- | test/testFuncs2.c | 179 | ||||
| -rw-r--r-- | test/testFuncs2.h | 10 | 
5 files changed, 892 insertions, 848 deletions
| diff --git a/test/main.c b/test/main.c index 7b7c6d6..89bccc2 100644 --- a/test/main.c +++ b/test/main.c @@ -11,70 +11,72 @@  /*main*/  main()  { -	int a; -	int b; -	int int1; -	int int2; -	blreplacement bool1; -	blreplacement bool2; -	blreplacement decision1; -	blreplacement decision2; -	int level; -	int aa; -	int bb; -	double cc; +  int a; +  int b; +  int int1; +  int int2; +  blreplacement bool1; +  blreplacement bool2; +  blreplacement decision1; +  blreplacement decision2; +  int level; +  int aa; +  int bb; +  double cc; -	testFuncStatementsinmple(); -	testFuncStatementComplexIf(); -	testFuncStatementNotCoverage (); -	testFuncLoopFor (); -	testFuncLoopWhile (); -	testFuncContinue (); -	testFuncBreak (); -	testFuncGoto (); -	testFuncNotReturn (a, b); -	testFuncMultiLineStatement (); -	testFuncMultipleStatement (); -	testFuncMultipleStatementNot (); -	testFuncCompOpti1 (); -	testFuncCompOpti2 (); -	testFuncCompOpti3 (); -	testFuncCompOpti4 (); -	testFuncStatementDecl1 (); -	testFuncStatementInt1 (int1, int2); -	testFuncStatementbool1 (bool1 , bool2); -	testFuncStatementbool2 (bool1 , bool2); -	testFuncStatementDecision1 (decision1, decision2); -	testFuncShortCircuit (bool1, bool2); -	testFuncMCDC1 (decision1, decision2); +  testFuncStatementsinmple(); +  testFuncStatementComplexIf(); +  testFuncStatementNotCoverage (); +  testFuncLoopFor (); +  testFuncLoopWhile (); +  testFuncContinue (); +  testFuncBreak (); +  testFuncGoto (); +  testFuncNotReturn (a, b); +  testFuncMultiLineStatement (); +  testFuncMultipleStatement (); +  testFuncMultipleStatementNot (); +  testFuncCompOpti1 (); +  testFuncCompOpti2 (); +  testFuncCompOpti3 (); +  testFuncCompOpti4 (); +  testFuncStatementDecl1 (); +  testFuncStatementInt1 (int1, int2); +  testFuncStatementbool1 (bool1 , bool2); +  testFuncStatementbool2 (bool1 , bool2); +  testFuncStatementDecision1 (decision1, decision2); +  testFuncShortCircuit (bool1, bool2); +  testFuncMCDC1 (decision1, decision2);  #if (TRUE == INLINE) -	testFuncMultiInstantiation (level); +  testFuncMultiInstantiation (level);  #endif -	testFuncQMark (int1, int2); -	testFuncCallBool (); +  testFuncQMark (int1, int2); +  testFuncCallBool (); -	test3(); -	test4 (aa, bb, cc); -	test5(); -	test6(); -	test7(); -	test8(); -	test10(); -	test13(); -	test15(); -	test17(); -	test19(); -	test20(); -	test21(); -	test22(); -	test23(); -	test24(); -	test25(); -	test26(); -	test27(); -	test28(); -	test29(a); -	test31(); +  test3(); +  test4 (aa, bb, cc); +  test5(); +  test6(); +  test7(); +  test8(); +  test10(); +  test13(); +  test15(); +  test17(); +  test19(); +  test20(); +  test21(); +  test22(); +  test23(); +  test24(); +  test25(); +  test26(); +  test27(); +  test28(); +  test29(a); +  test31(); + +  malloc();  }  /*********************************************************************************************************************/  /*intentionally left blank.*/ diff --git a/test/testFuncs1.c b/test/testFuncs1.c index e0522e8..cb950a0 100644 --- a/test/testFuncs1.c +++ b/test/testFuncs1.c @@ -31,258 +31,258 @@ void test11 (void);  /*testing for simple statement coverage*/
  void testFuncStatementsinmple (void)
  {
 -	int int1 = 1U;
 -	int int2 = 2U;
 -	int int3 = 3U;
 +  int int1 = 1U;
 +  int int2 = 2U;
 +  int int3 = 3U;
 -	int1 = int2 + int3;
 -	int2 = int1 + int2;
 -	int3 = int2 + int3;
 -	im_a_minion_01();
 -	im_a_minion_02();
 -	im_a_minion_03();
 +  int1 = int2 + int3;
 +  int2 = int1 + int2;
 +  int3 = int2 + int3;
 +  im_a_minion_01();
 +  im_a_minion_02();
 +  im_a_minion_03();
  }
  /*testing for complex statement coverage*/
  void testFuncStatementComplexIf (void)
  {
 -	int int1 = 1U;
 -	int int2 = 2U;
 -	int int3 = 3U;
 -	int int4 = 4U;
 +  int int1 = 1U;
 +  int int2 = 2U;
 +  int int3 = 3U;
 +  int int4 = 4U;
 -	if ( int4 > int3 )
 -		if ( int3 > int2 )
 -			if ( int2 > int1 )
 -				if ( int2 > int1 )
 -					im_a_minion_02();
 +  if ( int4 > int3 )
 +    if ( int3 > int2 )
 +      if ( int2 > int1 )
 +        if ( int2 > int1 )
 +          im_a_minion_02();
  }
  /*testing to see whether the tool recognizes not covering statements*/
  void testFuncStatementNotCoverage (void)
  {
 -	int int1 = 1U;
 -	int int2 = 2U;
 -	int int3 = 3U;
 -	int int4 = 4U;
 +  int int1 = 1U;
 +  int int2 = 2U;
 +  int int3 = 3U;
 +  int int4 = 4U;
 -	if (int4 < int3)
 -	{
 -		int4 = int3;
 -	}
 +  if (int4 < int3)
 +  {
 +    int4 = int3;
 +  }
 -	/*do note that your compiler might optimize this by completely erasing this*/
 -	if (int2 > int1)
 -	{
 -		if (int1 > int2)
 -		{
 -			im_a_minion_01();
 -		}
 -	}
 +  /*do note that your compiler might optimize this by completely erasing this*/
 +  if (int2 > int1)
 +  {
 +    if (int1 > int2)
 +    {
 +      im_a_minion_01();
 +    }
 +  }
 -	if (int2 > int1)
 -	{
 -		if (int3 < int2)
 -		{
 -			im_a_minion_02();
 -		}
 -	}
 +  if (int2 > int1)
 +  {
 +    if (int3 < int2)
 +    {
 +      im_a_minion_02();
 +    }
 +  }
  }
  /*verifying for loops*/
  void testFuncLoopFor (void)
  {
 -	int i = 1U;
 +  int i = 1U;
 -	for (i = 1; i < 10; i++)
 -	{
 -		im_a_minion_01();
 -	}
 +  for (i = 1; i < 10; i++)
 +  {
 +    im_a_minion_01();
 +  }
 -	i = 1U;
 +  i = 1U;
 -	for (i = 1; i < 10; i++)
 -	{
 -		if (1U == (i % 2U) )
 -		{
 -			im_a_minion_01();
 -		}
 -	}
 +  for (i = 1; i < 10; i++)
 +  {
 +    if (1U == (i % 2U) )
 +    {
 +      im_a_minion_01();
 +    }
 +  }
  }
  /*verifying while loops*/
  void testFuncLoopWhile (void)
  {
 -	int i = 20U;
 +  int i = 20U;
 -	while (i > 10U)
 -	{
 -		i = i - 1U;
 -	}
 +  while (i > 10U)
 +  {
 +    i = i - 1U;
 +  }
 -	i = 20;
 +  i = 20;
  #if (TRUE == INF_LOOP)
 -	while (20U == i)
 -	{
 -		im_a_minion_03();
 -	}
 +  while (20U == i)
 +  {
 +    im_a_minion_03();
 +  }
  #endif
  }
  /*verifying the correct handling of continue*/
  void testFuncContinue (void)
  {
 -	int i = 1U;
 +  int i = 1U;
 -	for (i = 1U; i < 20U; i++)
 -	{
 -		if (i < 19U)
 -		{
 -			continue;
 -		}
 -		im_a_minion_01();
 -	}
 +  for (i = 1U; i < 20U; i++)
 +  {
 +    if (i < 19U)
 +    {
 +      continue;
 +    }
 +    im_a_minion_01();
 +  }
  }
  /*verifying the correct handling of break*/
  void testFuncBreak (void)
  {
 -	int i = 1U;
 +  int i = 1U;
 -	for (i = 1U; i < 10U ; i++)
 -	{
 -		if (i > 0U)
 -		{
 -			break;
 -		}
 -		im_a_minion_03();
 -	}
 +  for (i = 1U; i < 10U ; i++)
 +  {
 +    if (i > 0U)
 +    {
 +      break;
 +    }
 +    im_a_minion_03();
 +  }
  }
  /*checking whether goto is handled correctly*/
  void testFuncGoto (void)
  {
 -	im_a_minion_01();
 -	goto jumpy;
 -	im_a_minion_02();
 +  im_a_minion_01();
 +  goto jumpy;
 +  im_a_minion_02();
  jumpy:
 -	im_a_minion_03();
 +  im_a_minion_03();
  }
  /*checking whether the basic blocks do not complete execution due to return statements*/
  int testFuncNotReturn (int a, int b)
  {
 -	int sum = 0U;
 +  int sum = 0U;
 -	sum = a + b;
 +  sum = a + b;
 -	if (10U == sum)
 -	{
 -		return (sum);
 -	}
 -	else
 -	{
 -		im_a_dummy();
 -	}
 +  if (10U == sum)
 +  {
 +    return (sum);
 +  }
 +  else
 +  {
 +    im_a_dummy();
 +  }
 -	im_a_minion_01();
 +  im_a_minion_01();
 -	return (sum);
 +  return (sum);
  }
  /*checking whether the tool handles multi-line statements correctly*/
  void testFuncMultiLineStatement (void)
  {
 -	im_a_minion_01();
 +  im_a_minion_01();
  }
  /*checking how the tool handles multiple statements on the same line*/
  void testFuncMultipleStatement (void)
  {
 -	int a = 1U;
 -	int b = 2U;
 -	int c = 3U;
 -	int d = 4U;
 +  int a = 1U;
 +  int b = 2U;
 +  int c = 3U;
 +  int d = 4U;
 -	a = a + b; b = b + c; c = c + d; d = d + a;
 +  a = a + b; b = b + c; c = c + d; d = d + a;
  }
  /*checking whether multiple statements are handled correctly on the same line*/
  void testFuncMultipleStatementNot (void)
  {
 -	int a = 10U;
 +  int a = 10U;
 -	if (a < 10U) {im_a_minion_01();} else {im_a_minion_02();}
 +  if (a < 10U) {im_a_minion_01();} else {im_a_minion_02();}
 -	testFuncMultipleStatementNot();
 +  testFuncMultipleStatementNot();
  }
  /*checking how compiler optimizations may affect the coverage reported-killed assignment elimination*/
  void testFuncCompOpti1 (void)
  {
 -	int a = 1U;
 -	int b = 2U;
 +  int a = 1U;
 +  int b = 2U;
  }
  /*checking how compiler optimizations may affect the coverage reported-common subexpression optimization*/
  void testFuncCompOpti2 (void)
  {
 -	int a = 1U;
 -	int b = 1U;
 +  int a = 1U;
 +  int b = 1U;
 -	if ( 0U == (((a * b) + (a / b) - a) - b) )
 -	{
 -		im_a_benign_func();
 -	}
 +  if ( 0U == (((a * b) + (a / b) - a) - b) )
 +  {
 +    im_a_benign_func();
 +  }
 -	if ( 0U == (((a * b) + (a / b) - a) - b) )
 -	{
 -		im_a_mlaign_func();
 -	}
 +  if ( 0U == (((a * b) + (a / b) - a) - b) )
 +  {
 +    im_a_mlaign_func();
 +  }
  }
  /*checking how compiler optimizations may affect the coverage reported-loop invariant optimization*/
  void testFuncCompOpti3 (void)
  {
 -	int i = 1U;
 -	int counter = 0U;
 -	int a = 0U;
 -	int b = 10U;
 -	int sum = 0U;
 +  int i = 1U;
 +  int counter = 0U;
 +  int a = 0U;
 +  int b = 10U;
 +  int sum = 0U;
 -	for (i = 1U; i < 100U ; i++)
 -	{
 -		counter = counter + 1U;
 -		sum = a + b;
 -	}
 +  for (i = 1U; i < 100U ; i++)
 +  {
 +    counter = counter + 1U;
 +    sum = a + b;
 +  }
 -	sum = sum * 2U;
 +  sum = sum * 2U;
  }
  /*checking how compiler optimizations may affect the coverage reported-dead code optimization*/
  void testFuncCompOpti4 (void)
  {
 -	im_a_minion_01();
 -	im_a_minion_02();
 -	im_a_minion_03();
 +  im_a_minion_01();
 +  im_a_minion_02();
 +  im_a_minion_03();
  }
  /*testing if declarative statements that have a run-time footprint are covered by statement coverage.*/
  void testFuncStatementDecl1 (void)
  {
 -	int declaration1 = 1001U;
 -	int declaration2 = 666U;
 +  int declaration1 = 1001U;
 +  int declaration2 = 666U;
  }
  /*testing to see whether statement coverage covers the return.*/
  int testFuncStatementInt1 (int int1, int int2)
  {
 -	int sum = 0U;
 -	sum = int1 + int2;
 -	return (sum);
 +  int sum = 0U;
 +  sum = int1 + int2;
 +  return (sum);
  }
 @@ -294,7 +294,7 @@ int testFuncStatementInt1 (int int1, int int2)  /* not branch coverage so good for you!*/
  blreplacement testFuncStatementbool1 (blreplacement bool1 , blreplacement bool2)
  {
 -	return (bool1 && bool2);
 +  return (bool1 && bool2);
  }
 @@ -306,7 +306,7 @@ blreplacement testFuncStatementbool1 (blreplacement bool1 , blreplacement bool2)  /* not branch coverage so good for you!*/
  blreplacement testFuncStatementbool2 (blreplacement bool1, blreplacement bool2)
  {
 -	return (bool1 || bool2);
 +  return (bool1 || bool2);
  }
 @@ -315,15 +315,15 @@ blreplacement testFuncStatementbool2 (blreplacement bool1, blreplacement bool2)  /* coverage we need to have an extra test case, wehre d1 = TRUE and d2 = whatever.*/
  void testFuncStatementDecision1 (blreplacement decision1 , blreplacement decision2)
  {
 -	if ( decision1 || decision2 )
 -	{
 -		/*this function will supposedly casue a bug if decision1 is true*/
 -		im_a_mlaign_func();
 -	}
 -	else
 -	{
 -		im_a_benign_func();
 -	}
 +  if ( decision1 || decision2 )
 +  {
 +    /*this function will supposedly casue a bug if decision1 is true*/
 +    im_a_mlaign_func();
 +  }
 +  else
 +  {
 +    im_a_benign_func();
 +  }
  }
 @@ -332,24 +332,24 @@ void testFuncStatementDecision1 (blreplacement decision1 , blreplacement decisio  /* a full coverage. if the compiler doesnt go for a short-circuit, then all this dont apply.*/
  void testFuncShortCircuit (blreplacement bool1, blreplacement bool2)
  {
 -	if (FALSE == bool1 && TRUE == bool2)
 -	{
 -		im_a_dummy ();
 -	}
 -	if (TRUE == bool2 || FALSE == bool1)
 -	{
 -		im_a_dummy();
 -	}
 +  if (FALSE == bool1 && TRUE == bool2)
 +  {
 +    im_a_dummy ();
 +  }
 +  if (TRUE == bool2 || FALSE == bool1)
 +  {
 +    im_a_dummy();
 +  }
  }
  /*checking MCDC coverage behavior of the tool for multiply occuring conditions*/
  void testFuncMCDC1 (blreplacement decision1, blreplacement decision2)
  {
 -	if (decision1 &&  (( decision2 || decision1) || (!decision1 || decision2)) )
 -	{
 -		im_a_dummy();
 -	}
 +  if (decision1 &&  (( decision2 || decision1) || (!decision1 || decision2)) )
 +  {
 +    im_a_dummy();
 +  }
  }
 @@ -358,56 +358,56 @@ void testFuncMCDC1 (blreplacement decision1, blreplacement decision2)  #if 0
  void testFuncMultiInstantiation (int level)
  {
 -	switch (level)
 -	{
 -	case 10U:
 -		babeFunk(20);
 -		break;
 -	case 20U:
 -		babeFunk(10);
 -		break;
 -	case 30U:
 -		babeFunk(5);
 -		break;
 -	case 40U:
 -		im_a_dummy();
 -		break;
 -	case 50U:
 -		im_a_dummy();
 -		break;
 -	case 60U:
 -		im_a_dummy();
 -		break;
 -	case 70U:
 -		im_a_dummy();
 -		break;
 -	case 80U:
 -		im_a_dummy();
 -		break;
 -	case 90U:
 -		im_a_dummy();
 -		break;
 -	default:
 -		im_a_dummy();
 -		break;
 -	}
 +  switch (level)
 +  {
 +  case 10U:
 +    babeFunk(20);
 +    break;
 +  case 20U:
 +    babeFunk(10);
 +    break;
 +  case 30U:
 +    babeFunk(5);
 +    break;
 +  case 40U:
 +    im_a_dummy();
 +    break;
 +  case 50U:
 +    im_a_dummy();
 +    break;
 +  case 60U:
 +    im_a_dummy();
 +    break;
 +  case 70U:
 +    im_a_dummy();
 +    break;
 +  case 80U:
 +    im_a_dummy();
 +    break;
 +  case 90U:
 +    im_a_dummy();
 +    break;
 +  default:
 +    im_a_dummy();
 +    break;
 +  }
  }
  #endif
  /* this function will check how the tool handles the "?" operator*/
  void testFuncQMark (int int1, int int2)
  {
 -	(int1 > int2) ? im_a_minion_01() : im_a_minion_02();
 +  (int1 > int2) ? im_a_minion_01() : im_a_minion_02();
  }
  /* checking how the tool handles calling a function that returns boolean*/
  void testFuncCallBool (void)
  {
 -	int local1 = 0U;
 -	int local2 = 0U;
 -	local1 = testFuncStatementbool1(1U , 0U);
 -	local2 = testFuncStatementbool2(1U , 0U);
 +  int local1 = 0U;
 +  int local2 = 0U;
 +  local1 = testFuncStatementbool1(1U , 0U);
 +  local2 = testFuncStatementbool2(1U , 0U);
  }
 @@ -418,42 +418,42 @@ void testFuncCallBool (void)  /*the function that is *supposedly* carrying a bug*/
  static void im_a_mlaign_func (void)
  {
 -	/* KATSU!*/
 +  /* KATSU!*/
  }
  /*the function that is *supposedly* the good guy here*/
  static void im_a_benign_func (void)
  {
 -	/* see the light ring?!*/
 +  /* see the light ring?!*/
  }
  /*the dummy function.*/
  void im_a_dummy (void)
  {
 -	/* dumb dumb*/
 +  /* dumb dumb*/
  }
  /* minion function number #01*/
  void im_a_minion_01 (void)
  {
 -	/* minion1*/
 +  /* minion1*/
  }
  /* minion function number #02*/
  void im_a_minion_02 (void)
  {
 -	/* minion1*/
 +  /* minion1*/
  }
  /* minion function number #03*/
  static void im_a_minion_03 (void)
  {
 -	/* minion1*/
 +  /* minion1*/
  }
 @@ -463,18 +463,18 @@ static void im_a_minion_03 (void)  #if (MPC == COMPILER)
  inline void babeFunk (int entry)
  {
 -	if (10U > entry)
 -	{
 -		im_a_minion_01();
 -	}
 -	else if (10U == entry)
 -	{
 -		im_a_minion_02();
 -	}
 -	else
 -	{
 -		im_a_minion_03();
 -	}
 +  if (10U > entry)
 +  {
 +    im_a_minion_01();
 +  }
 +  else if (10U == entry)
 +  {
 +    im_a_minion_02();
 +  }
 +  else
 +  {
 +    im_a_minion_03();
 +  }
  }
  #endif
 @@ -482,18 +482,18 @@ inline void babeFunk (int entry)  #pragma INLINE
  void babeFunk (int entry)
  {
 -	if (10U > entry)
 -	{
 -		im_a_minion_01();
 -	}
 -	else if (10U == entry)
 -	{
 -		im_a_minion_02();
 -	}
 -	else
 -	{
 -		im_a_minion_03();
 -	}
 +  if (10U > entry)
 +  {
 +    im_a_minion_01();
 +  }
 +  else if (10U == entry)
 +  {
 +    im_a_minion_02();
 +  }
 +  else
 +  {
 +    im_a_minion_03();
 +  }
  }
  #endif
  #endif
 @@ -501,188 +501,188 @@ void babeFunk (int entry)  void test (void)
  {
 -	int i = 0U;
 -	int j = 0U;
 -	int a, b;
 -	int c, d;
 +  int i = 0U;
 +  int j = 0U;
 +  int a, b;
 +  int c, d;
 -	for (;;)
 -	{
 -		a = b;
 -	}
 +  for (;;)
 +  {
 +    a = b;
 +  }
 -	for (i = 1; i < 100U; i++)
 -		b++              ;
 +  for (i = 1; i < 100U; i++)
 +    b++              ;
 -	while (a > 10U)
 -		im_a_minion_01()   ;
 +  while (a > 10U)
 +    im_a_minion_01()   ;
 -	while (a == 90U)
 -	{
 -		b++;
 -	}
 +  while (a == 90U)
 +  {
 +    b++;
 +  }
 -	if (a == d)
 -		b = c;
 +  if (a == d)
 +    b = c;
 -	if (a == d)
 -	{
 -		a = d;
 -	}
 +  if (a == d)
 +  {
 +    a = d;
 +  }
 -	if (d > a)
 -		if (c > b)
 -			a++;
 +  if (d > a)
 +    if (c > b)
 +      a++;
 -	if (a > c)
 -		b++;
 -	else if (a > b)
 -		c++;
 -	else if (a > d)
 -		d++;
 +  if (a > c)
 +    b++;
 +  else if (a > b)
 +    c++;
 +  else if (a > d)
 +    d++;
  }
  void test2 (void)
  {
 -	int a = 0U;
 -	int b = 10U;
 -	int c, d;
 -
 -	if (a == b)
 -	{
 -		/*do something*/
 -	}
 -	else
 -		b = a;
 -
 -	if (20U == a)
 -	{
 -		/*kill all mutants.*/
 -	}
 -
 -	if (20U == a)
 -	{
 -		/*do somethin good*/
 -		a = b;
 -	}
 -	else if (30U == a)
 -	{
 -		/*do something else*/
 -		b = a;
 -	}
 -
 -	if (10U == a)
 -	{/*die*/}
 -	else if (15U == a)
 -		a = b;
 -	else if (17U == a)
 -		a = 10000000U;
 -	else if (19U == a)
 -		a = 50U;
 -
 -	if (b == a) {
 -		if (10U == b)
 -		{}
 -		else
 -		{}
 -	}
 -
 -
 -
 -	if (a > b) {
 -		if (a > d)
 -		{}
 -		else
 -			a++;
 -	}
 -
 -	if (a > b)
 -	{a++;}
 -	else if (b > a)
 -	{b++;}
 -	else if (a == b)
 -	{a++;}
 -
 -	int level = 10U;
 -
 -	switch (level)
 -	{
 -	case 10U:
 -	{	level++;
 -		test();
 -		break;
 -	}
 -	case 20U:
 -	{	level = 10000U;
 -		break;
 -	}
 -	case 30U:
 -	{	level++;
 -		break;
 -	}
 -	case 40U:
 -	{	level++;
 -		break;
 -	}
 -	case 50U:
 -	{	level++;
 -		break;
 -	}
 -	case 60U:
 -	{	level = 1000U;
 -		break;
 -	}
 -	case 70U:
 -	{	level++;
 -		break;
 -	}
 -	case 80U:
 -	{	level++;
 -		break;
 -	}
 -	case 90U:
 -	{	level++;
 -		break;
 -	}
 -	default:
 -	{	level++;
 -		break;
 -	}
 -	}
 -
 -	switch (level)
 -	{
 -	case 1:
 -	{	level++;
 -		break;
 -	}
 -	case 2:
 -		level = 10;
 -		level--;
 -		{
 -		case 3:
 -			level = 10U;
 -			level++;
 -			break;
 -		}
 -	}
 -
 -	switch (level)
 -	{
 -	case 1:
 -		level++;
 -	case 2:
 -		level = 1;
 -	case 3:
 -		level = 2;
 -	default:
 -		level++;
 -	}
 -
 -	switch (level)
 -	{}
 +  int a = 0U;
 +  int b = 10U;
 +  int c, d;
 +
 +  if (a == b)
 +  {
 +    /*do something*/
 +  }
 +  else
 +    b = a;
 +
 +  if (20U == a)
 +  {
 +    /*kill all mutants.*/
 +  }
 +
 +  if (20U == a)
 +  {
 +    /*do somethin good*/
 +    a = b;
 +  }
 +  else if (30U == a)
 +  {
 +    /*do something else*/
 +    b = a;
 +  }
 +
 +  if (10U == a)
 +  {/*die*/}
 +  else if (15U == a)
 +    a = b;
 +  else if (17U == a)
 +    a = 10000000U;
 +  else if (19U == a)
 +    a = 50U;
 +
 +  if (b == a) {
 +    if (10U == b)
 +    {}
 +    else
 +    {}
 +  }
 +
 +
 +
 +  if (a > b) {
 +    if (a > d)
 +    {}
 +    else
 +      a++;
 +  }
 +
 +  if (a > b)
 +  {a++;}
 +  else if (b > a)
 +  {b++;}
 +  else if (a == b)
 +  {a++;}
 +
 +  int level = 10U;
 +
 +  switch (level)
 +  {
 +  case 10U:
 +  { level++;
 +    test();
 +    break;
 +  }
 +  case 20U:
 +  { level = 10000U;
 +    break;
 +  }
 +  case 30U:
 +  { level++;
 +    break;
 +  }
 +  case 40U:
 +  { level++;
 +    break;
 +  }
 +  case 50U:
 +  { level++;
 +    break;
 +  }
 +  case 60U:
 +  { level = 1000U;
 +    break;
 +  }
 +  case 70U:
 +  { level++;
 +    break;
 +  }
 +  case 80U:
 +  { level++;
 +    break;
 +  }
 +  case 90U:
 +  { level++;
 +    break;
 +  }
 +  default:
 +  { level++;
 +    break;
 +  }
 +  }
 +
 +  switch (level)
 +  {
 +  case 1:
 +  { level++;
 +    break;
 +  }
 +  case 2:
 +    level = 10;
 +    level--;
 +    {
 +    case 3:
 +      level = 10U;
 +      level++;
 +      break;
 +    }
 +  }
 +
 +  switch (level)
 +  {
 +  case 1:
 +    level++;
 +  case 2:
 +    level = 1;
 +  case 3:
 +    level = 2;
 +  default:
 +    level++;
 +  }
 +
 +  switch (level)
 +  {}
  }
 @@ -696,505 +696,510 @@ void test3 (int a, int, ...)  test3()
  {
 -	int a;
 -	int b;
 +  int a;
 +  int b;
  }
  double test4 (int a, int b, double c)
  {
 -	return a + b + c;
 +  return a + b + c;
  }
  void test5(void)
  {
 -	int i = 0;
 -	if (test4)
 -	{
 -		i++;
 -	}
 +  int i = 0;
 +  if (test4)
 +  {
 +    i++;
 +  }
  }
  void test6 (void)
  {
 -	int a[100];
 -	int *p = a;
 +  int a[100];
 +  int *p = a;
 -	int i = 0;
 +  int i = 0;
 -	for (i = 0; i < 100; ++i)
 -	{
 -		a[i] = i;
 -	}
 +  for (i = 0; i < 100; ++i)
 +  {
 +    a[i] = i;
 +  }
  }
  void test7(void)
  {
 -	double a[100];
 +  double a[100];
 -	double b[100];
 +  double b[100];
 -	char c[100];
 +  char c[100];
 -	double *pointer;
 +  double *pointer;
 -	double* pointerb;
 +  double* pointerb;
 -	char* pointerc;
 +  char* pointerc;
 -	pointerb = b;
 +  pointerb = b;
 -	pointer = a;
 +  pointer = a;
 -	pointerc = c;
 +  pointerc = c;
 -	if (a - b >= a)
 -	{}
 -	else if (b - a < a)
 -	{}
 +  if (a - b >= a)
 +  {}
 +  else if (b - a < a)
 +  {}
 -	if (a < b)
 -	{}
 +  if (a < b)
 +  {}
 -	if (pointer < pointerb)
 -	{}
 +  if (pointer < pointerb)
 +  {}
 -	if (pointer > pointerb)
 -	{}
 +  if (pointer > pointerb)
 +  {}
 -	if (pointerb <= pointer)
 -	{}
 +  if (pointerb <= pointer)
 +  {}
 -	if (pointer >= pointerb)
 -	{}
 +  if (pointer >= pointerb)
 +  {}
 -	if (pointer < pointerc)
 -	{}
 +  if (pointer < pointerc)
 +  {}
 -	int i = 0;
 +  int i = 0;
 -	for (i = 0; i < 50; i++)
 -	{
 -		*(a + i) = i;
 -	}
 +  for (i = 0; i < 50; i++)
 +  {
 +    *(a + i) = i;
 +  }
  }
  void test8 (void)
  {
 -	union uni uni2;
 +  union uni uni2;
  }
  void test9 (void)
  {
 -	/*im a comment*/
 -	//im also a comment
 +  /*im a comment*/
 +  //im also a comment
  }
  void test10 (void)
  {
 -	struct {
 -		unsigned int r1 : 1;
 -		unsigned int r2 : 2;
 -	} reg1;
 +  struct {
 +    unsigned int r1 : 1;
 +    unsigned int r2 : 2;
 +  } reg1;
 -	struct {
 -		signed int r3 : 1;
 -		signed int r4 : 15;
 -	} reg2;
 +  struct {
 +    signed int r3 : 1;
 +    signed int r4 : 15;
 +  } reg2;
 -	struct {
 -		char a : 8;
 -		signed int r5 : 14;
 -		unsigned int r6 : 5;
 -		ut_int r7 : 32;
 -		BYTE r8 : 8;
 -	} reg3;
 +  struct {
 +    char a : 8;
 +    signed int r5 : 14;
 +    unsigned int r6 : 5;
 +    ut_int r7 : 32;
 +    BYTE r8 : 8;
 +  } reg3;
  }
  void test11 (void)
  {
 -	/*empty*/
 +  /*empty*/
  }
  double test12(double a)
  {
 -	return a * 2;
 +  return a * 2;
  }
  int test13(void)
  {
 -	static int a;
 -	int b;
 +  static int a;
 +  int b;
 -	return (a * b);
 +  return (a * b);
  }
  void test14 (void)
  {
 -	int arr[3][2] = {{2, 3}, {4, 5}, {6, 7}};
 +  int arr[3][2] = {{2, 3}, {4, 5}, {6, 7}};
 -	int arr2[4][4] = {0};
 +  int arr2[4][4] = {0};
 -	int arr3[2][3];
 +  int arr3[2][3];
 -	/*illegal forms.*/
 +  /*illegal forms.*/
  #if 0
 -	arr3 = {0};
 +  arr3 = {0};
 -	arr3 = {{1, 2, 3}, {4, 5, 6}};
 +  arr3 = {{1, 2, 3}, {4, 5, 6}};
  #endif
  }
  void test15(void)
  {
 -	enum colour {red = 3, blue, yellow, green = 5};
 +  enum colour {red = 3, blue, yellow, green = 5};
 -	enum anotherset {black, grey, white};
 +  enum anotherset {black, grey, white};
 -	enum yetanotherset {pink = 7, purple, magenta, maroon};
 +  enum yetanotherset {pink = 7, purple, magenta, maroon};
 -	enum loco {verrueckt, crazy = 3, divune};
 +  enum loco {verrueckt, crazy = 3, divune};
 -	enum primeevil {diablo = 2, mephisto = 3, baal = 4};
 +  enum primeevil {diablo = 2, mephisto = 3, baal = 4};
  }
  short int test16(int a, int b)
  {
 -	short int sum;
 -	short unsigned int sumus;
 -	sum = a + b;
 -	sumus = a + b;
 +  short int sum;
 +  short unsigned int sumus;
 +  sum = a + b;
 +  sumus = a + b;
 -	return sum;
 +  return sum;
  }
  void test17(void)
  {
 -	int a = 100;
 -	int b = 1000;
 -	long int longa;
 -	a = sizeof (b = 2000U);
 +  int a = 100;
 +  int b = 1000;
 +  long int longa;
 +  a = sizeof (b = 2000U);
  }
  void test18(void)
  {
 -	int a;
 -	int b;
 -	int c;
 -	unsigned char d;
 +  int a;
 +  int b;
 +  int c;
 +  unsigned char d;
 -	if (c && (a = b))
 -	{
 -		/*yada yada*/
 -	}
 +  if (c && (a = b))
 +  {
 +    /*yada yada*/
 +  }
 -	if ((c = a) || a)
 -	{
 -		/*yada*/
 -	}
 -	if (c && (a || c))
 -	{
 +  if ((c = a) || a)
 +  {
 +    /*yada*/
 +  }
 +  if (c && (a || c))
 +  {
 -	}
 +  }
 -	d = c && (a = c);
 +  d = c && (a = c);
  }
  void test19(void)
  {
 -	const int a = 100;
 +  const int a = 100;
 -	unsigned char flag = 1;
 +  unsigned char flag = 1;
 -	unsigned char flag2;
 +  unsigned char flag2;
 -	unsigned char flag3;
 +  unsigned char flag3;
 -	//char *str = "loco\0";
 +  //char *str = "loco\0";
 -	const double pi = 3.54;
 +  const double pi = 3.54;
 -	if ((flag) && pi)
 -	{}
 +  if ((flag) && pi)
 +  {}
 -	if (flag || flag2 && flag3)
 -	{}
 +  if (flag || flag2 && flag3)
 +  {}
 -	if (a == 0 && flag)
 -	{}
 +  if (a == 0 && flag)
 +  {}
 -	if (flag || (a == 0))
 -	{}
 +  if (flag || (a == 0))
 +  {}
 -	if (!flag || flag2)
 -	{}
 +  if (!flag || flag2)
 +  {}
  }
  void test20(void)
  {
 -	signed int a;
 -	unsigned int b;
 -	signed char c;
 -	unsigned char d;
 -	t_int e;
 -	ut_int f;
 +  signed int a;
 +  unsigned int b;
 +  signed char c;
 +  unsigned char d;
 +  t_int e;
 +  ut_int f;
 -	b = b >> 2;
 -	a = a << 3U;
 -	b = b ^ 2U;
 -	c = c & 6U;
 -	d = d | 2U;
 -	e = e >> 2U;
 -	f = f << 4U;
 +  b = b >> 2;
 +  a = a << 3U;
 +  b = b ^ 2U;
 +  c = c & 6U;
 +  d = d | 2U;
 +  e = e >> 2U;
 +  f = f << 4U;
  }
  void test21(void)
  {
 -	unsigned int a;
 -	a = a >> 44U;
 -	a = a >> shift;
 -	a <<= 10U;
 -	a << 45U;
 +  unsigned int a;
 +  a = a >> 44U;
 +  a = a >> shift;
 +  a <<= 10U;
 +  a << 45U;
  }
  void test22(void)
  {
 -	unsigned int a;
 -	int b;
 -	t_int c;
 -	ut_int d;
 +  unsigned int a;
 +  int b;
 +  t_int c;
 +  ut_int d;
 -	b = -a;
 -	b = -c;
 -	b = -d;
 +  b = -a;
 +  b = -c;
 +  b = -d;
  }
  void test23 (void)
  {
 -	int a, b, c;
 +  int a, b, c;
 -	a = b, c = a;
 +  a = b, c = a;
  }
  void test24(void)
  {
 -	int a;
 -	int b;
 -	int c;
 +  int a;
 +  int b;
 +  int c;
 -	c = ++a - b--;
 -	c = a++;
 -	b++;
 -	--a;
 +  c = ++a - b--;
 +  c = a++;
 +  b++;
 +  --a;
  }
  void test25(void)
  {
 -	int a;
 -	int b;
 -	int c;
 +  int a;
 +  int b;
 +  int c;
 -	if (a - b)
 -	{
 -		/*i dont care.*/
 -	}
 +  if (a - b)
 +  {
 +    /*i dont care.*/
 +  }
  }
  void test26 (void)
  {
 -	double a;
 -	double b;
 -	double c;
 -	unsigned char d;
 +  double a;
 +  double b;
 +  double c;
 +  unsigned char d;
 -	if (a == b)
 -	{}
 +  if (a == b)
 +  {}
 -	if (a < b)
 -	{}
 +  if (a < b)
 +  {}
 -	if (c >= a)
 -	{}
 +  if (c >= a)
 +  {}
 -	d = (a <= c);
 +  d = (a <= c);
  }
  void test27(void)
  {
 -	double a;
 +  double a;
 -	for (a = 0.0; a < 10.0; ++a)
 -	{}
 +  for (a = 0.0; a < 10.0; ++a)
 +  {}
  }
  void test28(void)
  {
 -	int i;
 -	int j;
 -	int k;
 -
 -	for (i = 0; i < 10; i++)
 -	{
 -		i = i + 3;
 -	}
 -
 -	for (j = 0; j < 20; ++j)
 -	{
 -		j++;
 -	}
 -
 -	for (k = 0; k < 10; ++k)
 -	{
 -		k = i + j;
 -		--j;
 -		i = j - k;
 -	}
 -
 -	for (k = 0, i = 0; i < 10, k < 10; ++i, k++)
 -	{
 -		k = i + j;
 -		--j;
 -		i = j - k;
 -	}
 -
 -	for (i = 0, k = 0; i < 10, k < 10; ++i, k++)
 -	{
 -		k = i + j;
 -		--j;
 -		i = j - k;
 -	}
 +  int i;
 +  int j;
 +  int k;
 +
 +  for (i = 0; i < 10; i++)
 +  {
 +    i = i + 3;
 +  }
 +
 +  for (j = 0; j < 20; ++j)
 +  {
 +    j++;
 +  }
 +
 +  for (k = 0; k < 10; ++k)
 +  {
 +    k = i + j;
 +    --j;
 +    i = j - k;
 +  }
 +
 +  for (k = 0, i = 0; i < 10, k < 10; ++i, k++)
 +  {
 +    k = i + j;
 +    --j;
 +    i = j - k;
 +  }
 +
 +  for (i = 0, k = 0; i < 10, k < 10; ++i, k++)
 +  {
 +    k = i + j;
 +    --j;
 +    i = j - k;
 +  }
  }
  int test29(int a)
  {
 -	goto loco;
 +  goto loco;
  loco:
 -	return a;
 +  return a;
  }
  void test30(void)
  {
 -	int a;
 -	int b;
 -	int c;
 -
 -	for (a = 0; a < 10; ++a)
 -	{
 -		a++;
 -
 -		if (a == 5)
 -			break;
 -		if (a == 6)
 -			break;
 -	}
 -
 -	for (a = 0; a < 10; a++)
 -	{
 -		a++;
 -		if (a == 6)
 -			break;
 -	}
 -
 -	while (a < 10)
 -	{
 -		if (b == 1)
 -			break;
 -		if (c == 1)
 -			break;
 -	}
 -
 -	do {
 -		if (a == 5)
 -			break;
 -		if (b == 6)
 -			break;
 -		if (c == 10)
 -			break;
 -	} while (a < 10);
 -
 -	for (a = 0; a < 100; a++)
 -	{
 -		for (b = 0; b < 100; b++)
 -		{
 -			c++;
 -			if (a == 1)
 -				break;
 -		}
 -		for (c = 0; c < 100; c++)
 -		{
 -			b++;
 -			if (a == 10)
 -				break;
 -		}
 -	}
 -
 -	for (a = 0; a < 100; a++)
 -	{
 -		if (a == 1)
 -			break;
 -
 -		while (a < 10)
 -		{
 -			b++;
 -			if (c == 10)
 -				break;
 -		}
 -	}
 +  int a;
 +  int b;
 +  int c;
 +
 +  for (a = 0; a < 10; ++a)
 +  {
 +    a++;
 +
 +    if (a == 5)
 +      break;
 +    if (a == 6)
 +      break;
 +  }
 +
 +  for (a = 0; a < 10; a++)
 +  {
 +    a++;
 +    if (a == 6)
 +      break;
 +  }
 +
 +  while (a < 10)
 +  {
 +    if (b == 1)
 +      break;
 +    if (c == 1)
 +      break;
 +  }
 +
 +  do {
 +    if (a == 5)
 +      break;
 +    if (b == 6)
 +      break;
 +    if (c == 10)
 +      break;
 +  } while (a < 10);
 +
 +  for (a = 0; a < 100; a++)
 +  {
 +    for (b = 0; b < 100; b++)
 +    {
 +      c++;
 +      if (a == 1)
 +        break;
 +    }
 +    for (c = 0; c < 100; c++)
 +    {
 +      b++;
 +      if (a == 10)
 +        break;
 +    }
 +  }
 +
 +  for (a = 0; a < 100; a++)
 +  {
 +    if (a == 1)
 +      break;
 +
 +    while (a < 10)
 +    {
 +      b++;
 +      if (c == 10)
 +        break;
 +    }
 +  }
  }
  int test31(void)
  {
 -	int a;
 +  int a;
 -	if (a == 1)
 -		return 2;
 -	else if (a == 2)
 -		return 3;
 -	else
 -		return 1;
 +  if (a == 1)
 +    return 2;
 +  else if (a == 2)
 +    return 3;
 +  else
 +    return 1;
  }
  void test32(void)
  {
 -	int a;
 +  int a;
 -	switch (a == 1)
 -	{
 -	case 1:
 -		a++;
 -	case 0:
 -		a--;
 -	}
 +  switch (a == 1)
 +  {
 +  case 1:
 +    a++;
 +  case 0:
 +    a--;
 +  }
  }
  void test33(void)
  {
 -	short int a;
 -	long int b;
 +  short int a;
 +  long int b;
 -	b = (int)a;
 +  b = (int)a;
  }
  void test34(void)
  {
 -	int i, a;
 +  int i, a;
 -	i >= 3;
 +  i >= 3;
 -	for (;; i++)
 -	{
 -		a++;
 -	}
 +  for (;; i++)
 +  {
 +    a++;
 +  }
 -	; /*yadayada*/
 -	;/*:P*/
 +  ; /*yadayada*/
 +  ;/*:P*/
 -	; int b;
 +  ; int b;
 +
 +  test33();
 +}
 +
 +void malloc (void)
 +{
 -	test33();
  }
 diff --git a/test/testFuncs1.h b/test/testFuncs1.h index ec88050..262a565 100644 --- a/test/testFuncs1.h +++ b/test/testFuncs1.h @@ -10,21 +10,21 @@  /***********************************************Global******************************************************/
  extern union uni {
 -	int a;
 -	double b;
 -	char str[20];
 +  int a;
 +  double b;
 +  char str[20];
  } uni1;
  extern cucu;
  /***********************************************************************************************************/
  /*choose the compiler*/
 -#define COMPILER 	GCC
 +#define COMPILER  GCC
 -#define HCS12	1U
 -#define MPC 	2U
 -#define RL78	3U
 -#define GCC		4U
 -#define CLANG	5U
 +#define HCS12 1U
 +#define MPC   2U
 +#define RL78  3U
 +#define GCC   4U
 +#define CLANG 5U
  /***********************************************************************************************************/
  /*options*/
 @@ -129,6 +129,8 @@ void test27(void);  void test28(void);
  int test29(int a);
  int test31(void);
 +
 +void malloc (void);
  #endif
  /***********************************************************************************************************/
  /*ive been intentionally left blank. dont touch me.*/
 diff --git a/test/testFuncs2.c b/test/testFuncs2.c index e15085b..c7cbacc 100644 --- a/test/testFuncs2.c +++ b/test/testFuncs2.c @@ -25,9 +25,40 @@ typedef const* INTPTR;  #define LOCO2 #LOCO2  #define LOCO3(bubba) printf(#bubba "%d\n", bu##bba)  #define DEFINEVAR(X,Y) int X##Y +#define PI 3.14 +#define PI2 (a) + +#define __FILE__ +#define __DATE__ +#define __TIME__ +#undef __STDC__ +#undef __FILE__ + +#define int int +#undef int + +#if defined PI2 +#endif + +#if 0 +#if defined LOCO2 +#endif +#endif + +#if defined LOCOLUPO +#endif + +#if defined LOCO +#endif + +#if defined LOCOLUPO || LOCO +#endif +  #define LOCOLUPO +#if 1  #undef LOCOLUPO +#endif  /*********************************************************************************************************************/  /*Globals*/ @@ -36,21 +67,21 @@ typedef const* INTPTR;  static void test33(void)  { -	short int a; -	long int b; +  short int a; +  long int b; -	MINUS(a, b); -	//MINUS(a); +  MINUS(a, b); +  //MINUS(a); -	b = (int)a; +  b = (int)a;  }  void testfunc1(void)  { -	unsigned char a; -	unsigned char b; +  unsigned char a; +  unsigned char b; -	b =  a; +  b =  a;  }  #if CRAZYMACRO < 0 @@ -58,93 +89,97 @@ void testfunc1(void)  testfunc2(void)  { -	int a; -	int b; -	int sum; +  int a; +  int b; +  int sum; -	sum = a + b; +  sum = a + b;  }  void testfunc3()  { -	int a; -	int b; -	int c; +  int a; +  int b; +  int c; + +#define LUPO wolf -	int abcdefghijklmnopqrstuvwxyz1234567890; -	int abcdefghijklmnopqrstuvwxyz12345678902; +  int abcdefghijklmnopqrstuvwxyz1234567890; +  int abcdefghijklmnopqrstuvwxyz12345678902; -	/*do stuff*/ +  /*do stuff*/  }  int testfunc6(void)  { -	int a; -	int b; -	//return (); +  int a; +  int b; +  //return ();  }  int testfunc7(void)  { -	int a; -	int b; -	//return; +  int a; +  int b; +  //return;  }  int testfunc8(void)  { -	int a[10]; -	int b[10]; - -	int* p; - -	p = &a[0]; - -	int i; -	int sum; -	int sum2; -	int garbage; -	int garbage2; - -	for (i = 0; i < 10; ++i) -	{ -		sum += *(a + i); -		sum2 += *(p + i); -		//garbage = *(a - b); -	} - -	for (i = 10; i < 1; i++) -	{ -		sum += *(a - i); -		sum2 += *(p - i); -		//garbage2 = *(p - a); -	} +  int a[10]; +  int b[10]; + +  int* p; + +  p = &a[0]; + +#undef LUPO + +  int i; +  int sum; +  int sum2; +  int garbage; +  int garbage2; + +  for (i = 0; i < 10; ++i) +  { +    sum += *(a + i); +    sum2 += *(p + i); +    //garbage = *(a - b); +  } + +  for (i = 10; i < 1; i++) +  { +    sum += *(a - i); +    sum2 += *(p - i); +    //garbage2 = *(p - a); +  }  }  void testfunc9(void)  { -	int** p1; -	int*** p2; - -	struct -	{ -		int* sp1; -		int** sp2; -		int*** sp3; -	}; - -	struct s* ps1; -	struct s** ps2; -	struct s*** ps3; - -	INTPTR *const* const fedupp1; - -	int ** (*pfunc1)(); -	int ** (**pfunc2)(); -	int ** (***pfunc3)(); -	int *** (**pfunc4)(); -	int ** (**pfunc5)(int**, int**); -	int ** (**pfunc6)(int**, int***); +  int** p1; +  int*** p2; + +  struct +  { +    int* sp1; +    int** sp2; +    int*** sp3; +  }; + +  struct s* ps1; +  struct s** ps2; +  struct s*** ps3; + +  INTPTR *const* const fedupp1; + +  int ** (*pfunc1)(); +  int ** (**pfunc2)(); +  int ** (***pfunc3)(); +  int *** (**pfunc4)(); +  int ** (**pfunc5)(int**, int**); +  int ** (**pfunc6)(int**, int***);  }  void testfunc10 (int ** (**p5)(int**, int**), int ** (**p6)(int**, int***)) diff --git a/test/testFuncs2.h b/test/testFuncs2.h index fa4ce13..8f01004 100644 --- a/test/testFuncs2.h +++ b/test/testFuncs2.h @@ -21,15 +21,15 @@ void testFunc1(void);  void testFunc4()  { -	/*do shit*/ +  /*do shit*/  }  testFunc5( void)  { -	//different kind of comment -	///another kind -	/*this kind*/ -	/**that kind*/ +  //different kind of comment +  ///another kind +  /*this kind*/ +  /**that kind*/  }  void testFunc9(void); | 
