Skip to content

Commit b4658eb

Browse files
committed
Allow long long int instead of just long int in regexp of some tests.
This prevents spurious test failures on Windows. Fixes diffblue#769.
1 parent ebaad56 commit b4658eb

File tree

5 files changed

+45
-45
lines changed
  • regression
    • goto-analyzer
      • approx-array-variable-const-fp
      • no-match-dereference-const-pointer-const-array-literal-pointer-const-fp
      • no-match-pointer-const-struct-array-literal-non-const-fp
    • goto-instrument
      • approx-array-variable-const-fp-only-remove-const
      • approx-array-variable-const-fp-remove-all-fp

5 files changed

+45
-45
lines changed

regression/goto-analyzer/approx-array-variable-const-fp/test.desc

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -2,15 +2,15 @@ CORE
22
main.c
33
--show-goto-functions --verbosity 10 --pointer-check
44
^Removing function pointers and virtual functions$
5-
^\s*IF fp_tbl\[\(signed long int\)i\] == f2 THEN GOTO [0-9]$
6-
^\s*IF fp_tbl\[\(signed long int\)i\] == f3 THEN GOTO [0-9]$
7-
^\s*IF fp_tbl\[\(signed long int\)i\] == f4 THEN GOTO [0-9]$
5+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f2 THEN GOTO [0-9]$
6+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f3 THEN GOTO [0-9]$
7+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f4 THEN GOTO [0-9]$
88
^SIGNAL=0$
99
--
10-
^\s*IF fp_tbl\[\(signed long int\)i\] == f1 THEN GOTO [0-9]$
11-
^\s*IF fp_tbl\[\(signed long int\)i\] == f5 THEN GOTO [0-9]$
12-
^\s*IF fp_tbl\[\(signed long int\)i\] == f6 THEN GOTO [0-9]$
13-
^\s*IF fp_tbl\[\(signed long int\)i\] == f7 THEN GOTO [0-9]$
14-
^\s*IF fp_tbl\[\(signed long int\)i\] == f8 THEN GOTO [0-9]$
15-
^\s*IF fp_tbl\[\(signed long int\)i\] == f9 THEN GOTO [0-9]$
10+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f1 THEN GOTO [0-9]$
11+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f5 THEN GOTO [0-9]$
12+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f6 THEN GOTO [0-9]$
13+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f7 THEN GOTO [0-9]$
14+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f8 THEN GOTO [0-9]$
15+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f9 THEN GOTO [0-9]$
1616
^warning: ignoring

regression/goto-analyzer/no-match-dereference-const-pointer-const-array-literal-pointer-const-fp/test.desc

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -2,15 +2,15 @@ CORE
22
main.c
33
--show-goto-functions --verbosity 10 --pointer-check
44
^Removing function pointers and virtual functions$
5-
^\s*IF \*container_ptr->fp_tbl\[\(signed long int\)1\] == f1 THEN GOTO [0-9]$
6-
^\s*IF \*container_ptr->fp_tbl\[\(signed long int\)1\] == f2 THEN GOTO [0-9]$
7-
^\s*IF \*container_ptr->fp_tbl\[\(signed long int\)1\] == f3 THEN GOTO [0-9]$
8-
^\s*IF \*container_ptr->fp_tbl\[\(signed long int\)1\] == f4 THEN GOTO [0-9]$
9-
^\s*IF \*container_ptr->fp_tbl\[\(signed long int\)1\] == f5 THEN GOTO [0-9]$
10-
^\s*IF \*container_ptr->fp_tbl\[\(signed long int\)1\] == f6 THEN GOTO [0-9]$
11-
^\s*IF \*container_ptr->fp_tbl\[\(signed long int\)1\] == f7 THEN GOTO [0-9]$
12-
^\s*IF \*container_ptr->fp_tbl\[\(signed long int\)1\] == f8 THEN GOTO [0-9]$
13-
^\s*IF \*container_ptr->fp_tbl\[\(signed long int\)1\] == f9 THEN GOTO [0-9]$
5+
^\s*IF \*container_ptr->fp_tbl\[\(signed (long )*long int\)1\] == f1 THEN GOTO [0-9]$
6+
^\s*IF \*container_ptr->fp_tbl\[\(signed (long )*long int\)1\] == f2 THEN GOTO [0-9]$
7+
^\s*IF \*container_ptr->fp_tbl\[\(signed (long )*long int\)1\] == f3 THEN GOTO [0-9]$
8+
^\s*IF \*container_ptr->fp_tbl\[\(signed (long )*long int\)1\] == f4 THEN GOTO [0-9]$
9+
^\s*IF \*container_ptr->fp_tbl\[\(signed (long )*long int\)1\] == f5 THEN GOTO [0-9]$
10+
^\s*IF \*container_ptr->fp_tbl\[\(signed (long )*long int\)1\] == f6 THEN GOTO [0-9]$
11+
^\s*IF \*container_ptr->fp_tbl\[\(signed (long )*long int\)1\] == f7 THEN GOTO [0-9]$
12+
^\s*IF \*container_ptr->fp_tbl\[\(signed (long )*long int\)1\] == f8 THEN GOTO [0-9]$
13+
^\s*IF \*container_ptr->fp_tbl\[\(signed (long )*long int\)1\] == f9 THEN GOTO [0-9]$
1414
^SIGNAL=0$
1515
--
1616
^warning: ignoring

regression/goto-analyzer/no-match-pointer-const-struct-array-literal-non-const-fp/test.desc

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -2,15 +2,15 @@ CORE
22
main.c
33
--show-goto-functions --verbosity 10 --pointer-check
44
^Removing function pointers and virtual functions$
5-
^\s*IF container_ptr->fp_tbl\[\(signed long int\)1\] == f1 THEN GOTO [0-9]$
6-
^\s*IF container_ptr->fp_tbl\[\(signed long int\)1\] == f2 THEN GOTO [0-9]$
7-
^\s*IF container_ptr->fp_tbl\[\(signed long int\)1\] == f3 THEN GOTO [0-9]$
8-
^\s*IF container_ptr->fp_tbl\[\(signed long int\)1\] == f4 THEN GOTO [0-9]$
9-
^\s*IF container_ptr->fp_tbl\[\(signed long int\)1\] == f5 THEN GOTO [0-9]$
10-
^\s*IF container_ptr->fp_tbl\[\(signed long int\)1\] == f6 THEN GOTO [0-9]$
11-
^\s*IF container_ptr->fp_tbl\[\(signed long int\)1\] == f7 THEN GOTO [0-9]$
12-
^\s*IF container_ptr->fp_tbl\[\(signed long int\)1\] == f8 THEN GOTO [0-9]$
13-
^\s*IF container_ptr->fp_tbl\[\(signed long int\)1\] == f9 THEN GOTO [0-9]$
5+
^\s*IF container_ptr->fp_tbl\[\(signed (long )*long int\)1\] == f1 THEN GOTO [0-9]$
6+
^\s*IF container_ptr->fp_tbl\[\(signed (long )*long int\)1\] == f2 THEN GOTO [0-9]$
7+
^\s*IF container_ptr->fp_tbl\[\(signed (long )*long int\)1\] == f3 THEN GOTO [0-9]$
8+
^\s*IF container_ptr->fp_tbl\[\(signed (long )*long int\)1\] == f4 THEN GOTO [0-9]$
9+
^\s*IF container_ptr->fp_tbl\[\(signed (long )*long int\)1\] == f5 THEN GOTO [0-9]$
10+
^\s*IF container_ptr->fp_tbl\[\(signed (long )*long int\)1\] == f6 THEN GOTO [0-9]$
11+
^\s*IF container_ptr->fp_tbl\[\(signed (long )*long int\)1\] == f7 THEN GOTO [0-9]$
12+
^\s*IF container_ptr->fp_tbl\[\(signed (long )*long int\)1\] == f8 THEN GOTO [0-9]$
13+
^\s*IF container_ptr->fp_tbl\[\(signed (long )*long int\)1\] == f9 THEN GOTO [0-9]$
1414
^SIGNAL=0$
1515
--
1616
^warning: ignoring
Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,15 @@
11
CORE
22
main.c
33
--verbosity 10 --pointer-check --remove-const-function-pointers
4-
^\s*IF fp_tbl\[\(signed long int\)i\] == f2 THEN GOTO [0-9]$
5-
^\s*IF fp_tbl\[\(signed long int\)i\] == f3 THEN GOTO [0-9]$
6-
^\s*IF fp_tbl\[\(signed long int\)i\] == f4 THEN GOTO [0-9]$
4+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f2 THEN GOTO [0-9]$
5+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f3 THEN GOTO [0-9]$
6+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f4 THEN GOTO [0-9]$
77
^SIGNAL=0$
88
--
9-
^\s*IF fp_tbl\[\(signed long int\)i\] == f1 THEN GOTO [0-9]$
10-
^\s*IF fp_tbl\[\(signed long int\)i\] == f5 THEN GOTO [0-9]$
11-
^\s*IF fp_tbl\[\(signed long int\)i\] == f6 THEN GOTO [0-9]$
12-
^\s*IF fp_tbl\[\(signed long int\)i\] == f7 THEN GOTO [0-9]$
13-
^\s*IF fp_tbl\[\(signed long int\)i\] == f8 THEN GOTO [0-9]$
14-
^\s*IF fp_tbl\[\(signed long int\)i\] == f9 THEN GOTO [0-9]$
9+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f1 THEN GOTO [0-9]$
10+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f5 THEN GOTO [0-9]$
11+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f6 THEN GOTO [0-9]$
12+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f7 THEN GOTO [0-9]$
13+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f8 THEN GOTO [0-9]$
14+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f9 THEN GOTO [0-9]$
1515
^warning: ignoring
Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,15 +1,15 @@
11
CORE
22
main.c
33
--verbosity 10 --pointer-check --remove-function-pointers
4-
^\s*IF fp_tbl\[\(signed long int\)i\] == f2 THEN GOTO [0-9]$
5-
^\s*IF fp_tbl\[\(signed long int\)i\] == f3 THEN GOTO [0-9]$
6-
^\s*IF fp_tbl\[\(signed long int\)i\] == f4 THEN GOTO [0-9]$
4+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f2 THEN GOTO [0-9]$
5+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f3 THEN GOTO [0-9]$
6+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f4 THEN GOTO [0-9]$
77
^SIGNAL=0$
88
--
9-
^\s*IF fp_tbl\[\(signed long int\)i\] == f1 THEN GOTO [0-9]$
10-
^\s*IF fp_tbl\[\(signed long int\)i\] == f5 THEN GOTO [0-9]$
11-
^\s*IF fp_tbl\[\(signed long int\)i\] == f6 THEN GOTO [0-9]$
12-
^\s*IF fp_tbl\[\(signed long int\)i\] == f7 THEN GOTO [0-9]$
13-
^\s*IF fp_tbl\[\(signed long int\)i\] == f8 THEN GOTO [0-9]$
14-
^\s*IF fp_tbl\[\(signed long int\)i\] == f9 THEN GOTO [0-9]$
9+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f1 THEN GOTO [0-9]$
10+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f5 THEN GOTO [0-9]$
11+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f6 THEN GOTO [0-9]$
12+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f7 THEN GOTO [0-9]$
13+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f8 THEN GOTO [0-9]$
14+
^\s*IF fp_tbl\[\(signed (long )*long int\)i\] == f9 THEN GOTO [0-9]$
1515
^warning: ignoring

0 commit comments

Comments
 (0)