blob: 208fd4bf3d664420f13a13f39eb4a4ff0baf1c8f (
plain) (
tree)
|
|
/*the first line's been intentionally left blank.*/
/***********************************************************************************************************/
/*defines*/
#ifndef TEST1_H
#define TEST1_H
#define FALSE 0
#define TRUE 1
/***********************************************Global******************************************************/
extern union uni {
int a;
double b;
char str[20];
} uni1;
//extern int eldiablo = 0;
extern int cccc[];
extern cucu;
int yetanotherheadervar;
double yetanotherdoubleinsideaheader;
/***********************************************************************************************************/
/*choose the compiler*/
#define COMPILER GCC
#define HCS12 1U
#define MPC 2U
#define RL78 3U
#define GCC 4U
#define CLANG 5U
/***********************************************************************************************************/
/*options*/
/*this option sets the infinite while loop to see how your tool reacts to it.*/
/*setting it to ON enables it. setting it to anything else disables it but go with OFF for good taste.*/
/*setting this option to ON will practically disable the rest of the tests.*/
#define INF_LOOP FALSE
/*turn on the testing of inline functions*/
#define INLINE FALSE
/***********************************************************************************************************/
/*the compiler's gonna be needing some sorta pragmas to handle some keywords correctly or altogether.*/
/*you need pragmas for inlining, boolean, etc.*/
/*if your compiler needs em, put em here.*/
/***********************************************************************************************************/
#if (HCS12 == COMPILER)
#define blreplacement unsigned char
#endif
#if (MPC == COMPILER)
#define blreplacement unsigned char
#endif
#if (RL78 == COMPILER)
#define blreplacement unsigned char
#endif
#if (GCC == COMPILER)
#define blreplacement unsigned char
#endif
/***********************************************************************************************************/
/*all the test functi/*on prototypes are here.*/
void testFuncStatementsinmple (void);
void testFuncStatementComplexIf (void);
void testFuncStatementNotCoverage (void);
void testFuncLoopFor (void);
void testFuncLoopWhile (void);
void testFuncContinue (void);
void testFuncBreak (void);
void testFuncGoto (void);
int testFuncNotReturn (int a, int b);
void testFuncMultiLineStatement (void);
void testFuncMultipleStatement (void);
void testFuncMultipleStatementNot (void);
void testFuncCompOpti1 (void);
void testFuncCompOpti2 (void);
void testFuncCompOpti3 (void);
void testFuncCompOpti4 (void);
void testFuncStatementDecl1 (void);
int testFuncStatementInt1 (int int1, int int2);
blreplacement testFuncStatementbool1 (blreplacement bool1 , blreplacement bool2);
blreplacement testFuncStatementbool2 (blreplacement bool1 , blreplacement bool2);
void testFuncStatementDecision1 (blreplacement decision1 , blreplacement decision2);
void testFuncShortCircuit (blreplacement bool1 , blreplacement bool2);
void testFuncMCDC1 (blreplacement decision1 , blreplacement decision2);
#if (TRUE == INLINE)
void testFuncMultiInstantiation (int level);
#endif
void testFuncQMark (int int1, int int2);
void testFuncCallBool (void);
static void im_a_mlaign_func (void);
static void im_a_benign_func (void);
void im_a_dummy (void);
void im_a_minion_01 (void);
void im_a_minion_02 (void);
static void im_a_minion_03 (void);
#if (TRUE == INLINE)
#if (MPC == COMPILER)
inline void babeFunk (int entry);
#endif
#if (HCS12 == COMPILER)
void babeFunk (int entry);
#endif
#endif
test3();
double test4 (int aa, int bb, double cc);
void test5(void);
void test6(void);
void test7(void);
void test8(void);
void test10(void);
int test13(void);
void test15(void);
void test17(void);
void test19(void);
void test20(void);
void test21(void);
void test22(void);
void test23(void);
void test24(void);
void test25(void);
void test26(void);
void test27(void);
void test28(void);
int test29(int a);
int test31(void);
void headerfund(void)
{
int a;
int b;
int sum;
sum = a + b;
}
void testfunc9999(void)
{
int** p1;
int*** p2;
struct
{
int* sp1;
int** sp2;
int*** sp3;
};
struct s* ps1;
/*these two should no/*t be tagged by 18.1 since they are pointers to an incomplete type. the pointer is a complete type.*/
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***);
}
#if 0
void malloc (void);
#endif
#endif
/***********************************************************************************************************/
/*ive been intentionally left blank. dont touch me.*/
|