Skip to content

Commit 839f68f

Browse files
author
thk123
committed
Adding tests for structs and parameters using typedefs
1 parent 3279945 commit 839f68f

File tree

24 files changed

+266
-0
lines changed

24 files changed

+266
-0
lines changed

‎regression/goto-instrument-typedef/typedef-anon-struct1/main.c

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
2+
typedef struct
3+
{
4+
int x;
5+
float y;
6+
} MYSTRUCT;
7+
8+
void fun()
9+
{
10+
MYSTRUCT mystruct_var = {.x = 3, .y = 2.1f};
11+
}

‎regression/goto-instrument-typedef/typedef-anon-struct1/test.desc

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
CORE
2+
main.c
3+
"--show-symbol-table"
4+
// Enable multi-line checking
5+
-Pzo
6+
EXIT=0
7+
SIGNAL=0
8+
(?s)Base name\.+: mystruct_var.Mode\.+: C.Type\.+: MYSTRUCT
9+
--
10+
warning: ignoring

‎regression/goto-instrument-typedef/typedef-param-anon-struct1/main.c

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
2+
typedef struct
3+
{
4+
int x;
5+
float y;
6+
} MYSTRUCT;
7+
8+
void fun(MYSTRUCT mystruct_param)
9+
{
10+
11+
}

‎regression/goto-instrument-typedef/typedef-param-anon-struct1/test.desc

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
CORE
2+
main.c
3+
"--show-symbol-table"
4+
// Enable multi-line checking
5+
-Pzo
6+
EXIT=0
7+
SIGNAL=0
8+
(?s)Base name\.+: mystruct_param.Mode\.+: C.Type\.+: MYSTRUCT
9+
--
10+
warning: ignoring

‎regression/goto-instrument-typedef/typedef-param-struct1/main.c

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
2+
typedef struct tag_struct_name
3+
{
4+
int x;
5+
float y;
6+
} MYSTRUCT;
7+
8+
void fun(struct tag_struct_name tag_struct_param, MYSTRUCT mystruct_param)
9+
{
10+
}

‎regression/goto-instrument-typedef/typedef-param-struct1/test.desc

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
CORE
2+
main.c
3+
"--show-symbol-table"
4+
// Enable multi-line checking
5+
-Pzo
6+
EXIT=0
7+
SIGNAL=0
8+
(?s)Base name\.+: tag_struct_param.Mode\.+: C.Type\.+: struct tag_struct_name
9+
(?s)Base name\.+: mystruct_param.Mode\.+: C.Type\.+: MYSTRUCT
10+
--
11+
warning: ignoring

‎regression/goto-instrument-typedef/typedef-param-type1/main.c

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
2+
typedef int MYINT;
3+
4+
void fun(int int_param, MYINT myint_param)
5+
{
6+
7+
}

‎regression/goto-instrument-typedef/typedef-param-type1/test.desc

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
CORE
2+
main.c
3+
"--show-symbol-table"
4+
// Enable multi-line checking
5+
-Pzo
6+
EXIT=0
7+
SIGNAL=0
8+
(?s)Base name\.+: int_param.Mode\.+: C.Type\.+: signed int
9+
(?s)Base name\.+: myint_param.Mode\.+: C.Type\.+: MYINT
10+
--
11+
warning: ignoring

‎regression/goto-instrument-typedef/typedef-param-type2/main.c

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
2+
typedef int MYINT;
3+
typedef int ALTINT;
4+
5+
void fun(int int_param, MYINT myint_param, ALTINT altint_param)
6+
{
7+
8+
}

‎regression/goto-instrument-typedef/typedef-param-type2/test.desc

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
CORE
2+
main.c
3+
"--show-symbol-table"
4+
// Enable multi-line checking
5+
-Pzo
6+
EXIT=0
7+
SIGNAL=0
8+
(?s)Base name\.+: int_param.Mode\.+: C.Type\.+: signed int
9+
(?s)Base name\.+: myint_param.Mode\.+: C.Type\.+: MYINT
10+
(?s)Base name\.+: altint_param.Mode\.+: C.Type\.+: ALTINT
11+
--
12+
warning: ignoring

‎regression/goto-instrument-typedef/typedef-param-type3/main.c

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
2+
typedef int MYINT;
3+
typedef MYINT CHAINEDINT;
4+
5+
void fun(int int_param, MYINT myint_param, CHAINEDINT chainedint_param)
6+
{
7+
}

‎regression/goto-instrument-typedef/typedef-param-type3/test.desc

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
CORE
2+
main.c
3+
"--show-symbol-table"
4+
// Enable multi-line checking
5+
-Pzo
6+
EXIT=0
7+
SIGNAL=0
8+
(?s)Base name\.+: int_param.Mode\.+: C.Type\.+: signed int
9+
(?s)Base name\.+: myint_param.Mode\.+: C.Type\.+: MYINT
10+
(?s)Base name\.+: chainedint_param.Mode\.+: C.Type\.+: CHAINEDINT
11+
--
12+
warning: ignoring

‎regression/goto-instrument-typedef/typedef-return-anon-struct1/main.c

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
2+
typedef struct
3+
{
4+
int x;
5+
float y;
6+
} MYSTRUCT;
7+
8+
MYSTRUCT fun()
9+
{
10+
MYSTRUCT return_variable = {.x = 1, .y = 3.14f};
11+
return return_variable;
12+
}

‎regression/goto-instrument-typedef/typedef-return-anon-struct1/test.desc

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
CORE
2+
main.c
3+
"--show-symbol-table"
4+
// Enable multi-line checking
5+
-Pzo
6+
EXIT=0
7+
SIGNAL=0
8+
(?s)Base name\.+: return.Mode\.+: C.Type\.+: MYSTRUCT
9+
(?s)Base name\.+: fun.Mode\.+: C.Type\.+: MYSTRUCT \(\)
10+
--
11+
warning: ignoring

‎regression/goto-instrument-typedef/typedef-return-struct1/main.c

Lines changed: 20 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,20 @@
1+
2+
typedef struct tag_struct_name
3+
{
4+
int x;
5+
float y;
6+
} MYSTRUCT;
7+
8+
struct tag_struct_name fun()
9+
{
10+
struct tag_struct_name return_variable = { .x = 1, .y = 3.14f};
11+
return return_variable;
12+
}
13+
14+
MYSTRUCT fun2()
15+
{
16+
MYSTRUCT return_variable = { .x = 1, .y = 3.14f};
17+
return return_variable;
18+
}
19+
20+

‎regression/goto-instrument-typedef/typedef-return-struct1/test.desc

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
CORE
2+
main.c
3+
"--show-symbol-table"
4+
// Enable multi-line checking
5+
-Pzo
6+
EXIT=0
7+
SIGNAL=0
8+
(?s)Base name\.+: fun.Mode\.+: C.Type\.+: struct tag_struct_name \(\)
9+
(?s)Base name\.+: fun2.Mode\.+: C.Type\.+: MYSTRUCT \(\)
10+
--
11+
warning: ignoring

‎regression/goto-instrument-typedef/typedef-return-type1/main.c

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
2+
typedef int MYINT;
3+
4+
int fun()
5+
{
6+
return 4;
7+
}
8+
9+
MYINT fun2()
10+
{
11+
return 5;
12+
}

‎regression/goto-instrument-typedef/typedef-return-type1/test.desc

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
CORE
2+
main.c
3+
"--show-symbol-table"
4+
// Enable multi-line checking
5+
-Pzo
6+
EXIT=0
7+
SIGNAL=0
8+
(?s)Base name\.+: fun.Mode\.+: C.Type\.+: signed int \(\)
9+
(?s)Base name\.+: fun2.Mode\.+: C.Type\.+: MYINT \(\)
10+
--
11+
warning: ignoring

‎regression/goto-instrument-typedef/typedef-return-type2/main.c

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,13 @@
1+
2+
typedef int MYINT;
3+
typedef int ALTINT;
4+
5+
MYINT fun()
6+
{
7+
8+
}
9+
10+
ALTINT fun2()
11+
{
12+
13+
}

‎regression/goto-instrument-typedef/typedef-return-type2/test.desc

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
CORE
2+
main.c
3+
"--show-symbol-table"
4+
// Enable multi-line checking
5+
-Pzo
6+
EXIT=0
7+
SIGNAL=0
8+
(?s)Base name\.+: fun.Mode\.+: C.Type\.+: MYINT \(\)
9+
(?s)Base name\.+: fun2.Mode\.+: C.Type\.+: ALTINT \(\)
10+
--
11+
warning: ignoring

‎regression/goto-instrument-typedef/typedef-return-type3/main.c

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
2+
typedef int MYINT;
3+
typedef MYINT CHAINEDINT;
4+
5+
MYINT fun()
6+
{
7+
}
8+
9+
CHAINEDINT fun2()
10+
{
11+
12+
}

‎regression/goto-instrument-typedef/typedef-return-type3/test.desc

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
CORE
2+
main.c
3+
"--show-symbol-table"
4+
// Enable multi-line checking
5+
-Pzo
6+
EXIT=0
7+
(?s)Base name\.+: fun.Mode\.+: C.Type\.+: MYINT \(\)
8+
(?s)Base name\.+: fun2.Mode\.+: C.Type\.+: CHAINEDINT \(\)
9+
--
10+
warning: ignoring

‎regression/goto-instrument-typedef/typedef-struct1/main.c

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
2+
typedef struct tag_struct_name
3+
{
4+
int x;
5+
float y;
6+
} MYSTRUCT;
7+
8+
void fun()
9+
{
10+
struct tag_struct_name tag_struct_var = {.x = 1, .y = 3.14f};
11+
MYSTRUCT mystruct_var = {.x = 3, .y = 2.1f};
12+
}

‎regression/goto-instrument-typedef/typedef-struct1/test.desc

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
CORE
2+
main.c
3+
"--show-symbol-table"
4+
// Enable multi-line checking
5+
-Pzo
6+
EXIT=0
7+
SIGNAL=0
8+
(?s)Base name\.+: tag_struct_var.Mode\.+: C.Type\.+: struct tag_struct_name
9+
(?s)Base name\.+: mystruct_var.Mode\.+: C.Type\.+: MYSTRUCT
10+
--
11+
warning: ignoring

0 commit comments

Comments
 (0)