replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Fixing tests to work with new test.pl 

The new test.pl script requrires breaks to be escaped.
This commit is contained in:
thk123 2017-02-16 14:04:02 +00:00 committed by thk123
parent 6ba046908c
commit 18b5907787
35 changed files with 108 additions and 108 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -3,15 +3,15 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*IF fp_tbl\[(signed long int)i\] == f2 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f3 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f4 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f2 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f3 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f4 THEN GOTO [0-9]$
^SIGNAL=0$
--
^\s*IF fp_tbl\[(signed long int)i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f9 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f9 THEN GOTO [0-9]$
^warning: ignoring

12
regression/goto-analyzer/approx-const-fp-array-variable-cast-const-fp/test.desc
View File

@ -9,9 +9,9 @@ main.c
^SIGNAL=0$
--
^warning: ignoring
^\s*IF fp_tbl\[(signed long int)i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f9 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f9 THEN GOTO [0-9]$

12
regression/goto-analyzer/approx-const-fp-array-variable-const-fp-with-null/test.desc
View File

@ -9,9 +9,9 @@ main.c
^SIGNAL=0$
--
^warning: ignoring
^\s*IF fp_tbl\[(signed long int)i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f9 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f9 THEN GOTO [0-9]$

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

@ -9,9 +9,9 @@ main.c
^SIGNAL=0$
--
^warning: ignoring
^\s*IF fp_tbl\[(signed long int)i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f9 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f9 THEN GOTO [0-9]$

12
regression/goto-analyzer/approx-const-fp-array-variable-const-pointer-const-struct-non-const-fp/test.desc
View File

@ -9,9 +9,9 @@ main.c
^SIGNAL=0$
--
^warning: ignoring
^\s*IF fp_tbl\[(signed long int)i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f9 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f9 THEN GOTO [0-9]$

12
regression/goto-analyzer/approx-const-fp-array-variable-const-struct-non-const-fp/test.desc
View File

@ -9,9 +9,9 @@ main.c
^SIGNAL=0$
--
^warning: ignoring
^\s*IF fp_tbl\[(signed long int)i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f9 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f9 THEN GOTO [0-9]$

18
regression/goto-analyzer/approx-const-fp-array-variable-invalid-cast-const-fp/test.desc
View File

@ -3,15 +3,15 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*IF fp == (void (\*)(void))f2 THEN GOTO [0-9]$
^\s*IF fp == (void (\*)(void))f3 THEN GOTO [0-9]$
^\s*IF fp == (void (\*)(void))f4 THEN GOTO [0-9]$
^\s*IF fp == \(void \(\*\)\(void\)\)f2 THEN GOTO [0-9]$
^\s*IF fp == \(void \(\*\)\(void\)\)f3 THEN GOTO [0-9]$
^\s*IF fp == \(void \(\*\)\(void\)\)f4 THEN GOTO [0-9]$
^SIGNAL=0$
--
^warning: ignoring
^\s*IF fp_tbl\[(signed long int)i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f9 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f9 THEN GOTO [0-9]$

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

@ -3,15 +3,15 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*IF \*container_ptr->fp_tbl\[(signed long int)1\] == f1 THEN GOTO [0-9]$
^\s*IF \*container_ptr->fp_tbl\[(signed long int)1\] == f2 THEN GOTO [0-9]$
^\s*IF \*container_ptr->fp_tbl\[(signed long int)1\] == f3 THEN GOTO [0-9]$
^\s*IF \*container_ptr->fp_tbl\[(signed long int)1\] == f4 THEN GOTO [0-9]$
^\s*IF \*container_ptr->fp_tbl\[(signed long int)1\] == f5 THEN GOTO [0-9]$
^\s*IF \*container_ptr->fp_tbl\[(signed long int)1\] == f6 THEN GOTO [0-9]$
^\s*IF \*container_ptr->fp_tbl\[(signed long int)1\] == f7 THEN GOTO [0-9]$
^\s*IF \*container_ptr->fp_tbl\[(signed long int)1\] == f8 THEN GOTO [0-9]$
^\s*IF \*container_ptr->fp_tbl\[(signed long int)1\] == f9 THEN GOTO [0-9]$
^\s*IF \*container_ptr->fp_tbl\[\(signed long int\)1\] == f1 THEN GOTO [0-9]$
^\s*IF \*container_ptr->fp_tbl\[\(signed long int\)1\] == f2 THEN GOTO [0-9]$
^\s*IF \*container_ptr->fp_tbl\[\(signed long int\)1\] == f3 THEN GOTO [0-9]$
^\s*IF \*container_ptr->fp_tbl\[\(signed long int\)1\] == f4 THEN GOTO [0-9]$
^\s*IF \*container_ptr->fp_tbl\[\(signed long int\)1\] == f5 THEN GOTO [0-9]$
^\s*IF \*container_ptr->fp_tbl\[\(signed long int\)1\] == f6 THEN GOTO [0-9]$
^\s*IF \*container_ptr->fp_tbl\[\(signed long int\)1\] == f7 THEN GOTO [0-9]$
^\s*IF \*container_ptr->fp_tbl\[\(signed long int\)1\] == f8 THEN GOTO [0-9]$
^\s*IF \*container_ptr->fp_tbl\[\(signed long int\)1\] == f9 THEN GOTO [0-9]$
^SIGNAL=0$
--
^warning: ignoring

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

@ -3,15 +3,15 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*IF container_ptr->fp_tbl\[(signed long int)1\] == f1 THEN GOTO [0-9]$
^\s*IF container_ptr->fp_tbl\[(signed long int)1\] == f2 THEN GOTO [0-9]$
^\s*IF container_ptr->fp_tbl\[(signed long int)1\] == f3 THEN GOTO [0-9]$
^\s*IF container_ptr->fp_tbl\[(signed long int)1\] == f4 THEN GOTO [0-9]$
^\s*IF container_ptr->fp_tbl\[(signed long int)1\] == f5 THEN GOTO [0-9]$
^\s*IF container_ptr->fp_tbl\[(signed long int)1\] == f6 THEN GOTO [0-9]$
^\s*IF container_ptr->fp_tbl\[(signed long int)1\] == f7 THEN GOTO [0-9]$
^\s*IF container_ptr->fp_tbl\[(signed long int)1\] == f8 THEN GOTO [0-9]$
^\s*IF container_ptr->fp_tbl\[(signed long int)1\] == f9 THEN GOTO [0-9]$
^\s*IF container_ptr->fp_tbl\[\(signed long int\)1\] == f1 THEN GOTO [0-9]$
^\s*IF container_ptr->fp_tbl\[\(signed long int\)1\] == f2 THEN GOTO [0-9]$
^\s*IF container_ptr->fp_tbl\[\(signed long int\)1\] == f3 THEN GOTO [0-9]$
^\s*IF container_ptr->fp_tbl\[\(signed long int\)1\] == f4 THEN GOTO [0-9]$
^\s*IF container_ptr->fp_tbl\[\(signed long int\)1\] == f5 THEN GOTO [0-9]$
^\s*IF container_ptr->fp_tbl\[\(signed long int\)1\] == f6 THEN GOTO [0-9]$
^\s*IF container_ptr->fp_tbl\[\(signed long int\)1\] == f7 THEN GOTO [0-9]$
^\s*IF container_ptr->fp_tbl\[\(signed long int\)1\] == f8 THEN GOTO [0-9]$
^\s*IF container_ptr->fp_tbl\[\(signed long int\)1\] == f9 THEN GOTO [0-9]$
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-analyzer/precise-array-calculation-const-fp/test.desc
View File

@ -2,7 +2,7 @@ CORE
main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f3();$
^\s*f3\(\);$
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-analyzer/precise-array-literal-const-fp/test.desc
View File

@ -2,7 +2,7 @@ CORE
main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f3();$
^\s*f3\(\);$
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-analyzer/precise-const-fp-array-const-variable-const-fp/test.desc
View File

@ -2,7 +2,7 @@ CORE
main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f3();$
^\s*f3\(\);$
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-analyzer/precise-const-fp-array-literal-const-fp-run-time/test.desc
View File

@ -3,6 +3,6 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f3();$
^\s*f3\(\);$
--
^warning: ignoring

2
regression/goto-analyzer/precise-const-fp-array-literal-const-fp/test.desc
View File

@ -2,7 +2,7 @@ CORE
main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f3();$
^\s*f3\(\);$
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-analyzer/precise-const-fp-array-literal-const-struct-non-const-fp/test.desc
View File

@ -3,7 +3,7 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f3();$
^\s*f3\(\);$
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-analyzer/precise-const-fp-array-variable-const-pointer-const-struct-non-const-fp/test.desc
View File

@ -3,7 +3,7 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f2();
^\s*f2\(\);
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-analyzer/precise-const-fp-const-fp/test.desc
View File

@ -2,7 +2,7 @@ CORE
main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f2();$
^\s*f2\(\);$
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-analyzer/precise-const-fp-const-struct-const-array-literal-fp/test.desc
View File

@ -3,7 +3,7 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f3();$
^\s*f3\(\);$
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-analyzer/precise-const-fp-const-struct-non-const-array-literal-fp/test.desc
View File

@ -3,7 +3,7 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f3();$
^\s*f3\(\);$
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-analyzer/precise-const-fp-const-struct-non-const-fp/test.desc
View File

@ -3,7 +3,7 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f2();
^\s*f2\(\);
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-analyzer/precise-const-fp-dereference-const-pointer-const-fp/test.desc
View File

@ -3,7 +3,7 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f3();$
^\s*f3\(\);$
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-analyzer/precise-const-fp/test.desc
View File

@ -3,6 +3,6 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f2();
^\s*f2\(\);
--
^warning: ignoring

2
regression/goto-analyzer/precise-const-pointer-const-struct-fp/test.desc
View File

@ -3,7 +3,7 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f2();$
^\s*f2\(\);$
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-analyzer/precise-const-struct-non-const-fp/test.desc
View File

@ -3,7 +3,7 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f2();
^\s*f2\(\);
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-analyzer/precise-derefence-const-pointer-const-fp/test.desc
View File

@ -3,7 +3,7 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f3();$
^\s*f3\(\);$
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-analyzer/precise-derefence/test.desc
View File

@ -3,6 +3,6 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f2();
^\s*f2\(\);
--
^warning: ignoring

2
regression/goto-analyzer/precise-dereference-address-pointer-const-fp/test.desc
View File

@ -3,7 +3,7 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f3();$
^\s*f3\(\);$
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-analyzer/precise-dereference-const-struct-const-pointer-const-fp/test.desc
View File

@ -3,7 +3,7 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f3();$
^\s*f3\(\);$
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-analyzer/precise-dereference-const-struct-const-pointer-const-struct-const-fp/test.desc
View File

@ -3,7 +3,7 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f3();$
^\s*f3\(\);$
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-analyzer/precise-dereference-const-struct-pointer-const-fp/test.desc
View File

@ -3,7 +3,7 @@ main.c
--show-goto-functions --verbosity 10 --pointer-check
^Removing function pointers and virtual functions$
^\s*f3();$
^\s*f3\(\);$
^SIGNAL=0$
--
^warning: ignoring

18
regression/goto-instrument/approx-array-variable-const-fp-only-remove-const/test.desc
View File

@ -2,15 +2,15 @@ CORE
main.c
--verbosity 10 --pointer-check --remove-const-function-pointers
^\s*IF fp_tbl\[(signed long int)i\] == f2 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f3 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f4 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f2 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f3 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f4 THEN GOTO [0-9]$
^SIGNAL=0$
--
^\s*IF fp_tbl\[(signed long int)i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f9 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f9 THEN GOTO [0-9]$
^warning: ignoring

18
regression/goto-instrument/approx-array-variable-const-fp-remove-all-fp/test.desc
View File

@ -2,15 +2,15 @@ CORE
main.c
--verbosity 10 --pointer-check --remove-function-pointers
^\s*IF fp_tbl\[(signed long int)i\] == f2 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f3 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f4 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f2 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f3 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f4 THEN GOTO [0-9]$
^SIGNAL=0$
--
^\s*IF fp_tbl\[(signed long int)i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[(signed long int)i\] == f9 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f1 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f5 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f6 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f7 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f8 THEN GOTO [0-9]$
^\s*IF fp_tbl\[\(signed long int\)i\] == f9 THEN GOTO [0-9]$
^warning: ignoring

2
regression/goto-instrument/no-match-non-const-fp-only-remove-const/test.desc
View File

@ -2,7 +2,7 @@ CORE
main.c
--verbosity 10 --pointer-check --remove-const-function-pointers
^\s*fp();$
^\s*fp\(\);$
^SIGNAL=0$
--
^warning: ignoring

2
regression/goto-instrument/precise-const-fp-only-remove-const/test.desc
View File

@ -2,6 +2,6 @@ CORE
main.c
--verbosity 10 --pointer-check --remove-const-function-pointers
^\s*f2();
^\s*f2\(\);
--
^warning: ignoring

2
regression/goto-instrument/precise-const-fp-remove-all-fp/test.desc
View File

@ -2,6 +2,6 @@ CORE
main.c
--verbosity 10 --pointer-check --remove-function-pointers
^\s*f2();
^\s*f2\(\);
--
^warning: ignoring