Skip to content

Commit 3346cf6

Browse files
tautschnigtautschnig
authored
Merge pull request #3269 from diffblue/results-line-number
results now include line number
2 parents 11a98d8 + 73c3384 commit 3346cf6

File tree

44 files changed

+153
-145
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

44 files changed

+153
-145
lines changed

‎jbmc/regression/jbmc/catch1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,6 @@ catch1.class
44
^EXIT=10$
55
^SIGNAL=0$
66
^VERIFICATION FAILED$
7-
^\[.*\] no uncaught exception: FAILURE$
7+
^\[.*\] line 15 no uncaught exception: FAILURE$
88
--
99
^warning: ignoring

‎jbmc/regression/jbmc/temp_stack_variable_packing/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
CORE
22
Primary.class
33
--function Primary.main
4-
^\[java::Primary.Run:\(\)V\.assertion\.1\] assertion at file Primary\.java line 6 function java::Primary.Run:\(\)V bytecode-index 22: FAILURE$
4+
^\[java::Primary.Run:\(\)V\.assertion\.1\] line 6 assertion at file Primary\.java line 6 function java::Primary.Run:\(\)V bytecode-index 22: FAILURE$
55
^VERIFICATION FAILED$
66
--
77
^warning: ignoring

‎regression/cbmc/Array_operations1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ main.c
33

44
^EXIT=10$
55
^SIGNAL=0$
6-
^\[test_copy\.assertion\.4\] expected to fail: FAILURE$
6+
^\[test_copy\.assertion\.4\] .* expected to fail: FAILURE$
77
^\*\* 1 of 8 failed
88
^VERIFICATION FAILED$
99
--

‎regression/cbmc/Function5/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,6 @@ main.c
33
--pointer-check --bounds-check
44
^SIGNAL=0$
55
^EXIT=10$
6-
^\[.*\] dereference failure: pointer outside object bounds in \*p: FAILURE$
6+
^\[.*\] .* dereference failure: pointer outside object bounds in \*p: FAILURE$
77
--
88
^warning: ignoring

‎regression/cbmc/Multi_Dimensional_Array6/test.desc

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@ main.c
33
--unwind 3 --no-unwinding-assertions
44
^EXIT=10$
55
^SIGNAL=0$
6-
^\[main\.assertion\.1\] : SUCCESS$
7-
^\[main\.assertion\.2\] : FAILURE$
6+
^\[main\.assertion\.1\] .* : SUCCESS$
7+
^\[main\.assertion\.2\] .* : FAILURE$
88
^\*\* 1 of 2 failed
99
--
1010
^warning: ignoring

‎regression/cbmc/Multiple_Properties1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,6 @@ activate-multi-line-match
55
^EXIT=10$
66
^SIGNAL=0$
77
^VERIFICATION FAILED$
8-
^main.c function main\n\[main\.assertion\.1\] .* SUCCESS\n\[main\.assertion\.3\] .* FAILURE$
8+
^main.c function main\n\[main\.assertion\.1\] line 5 .* SUCCESS\n\[main\.assertion\.3\] line 9 .* FAILURE$
99
--
1010
^warning: ignoring

‎regression/cbmc/Overflow_Addition1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ main.c
33
--signed-overflow-check
44
^EXIT=10$
55
^SIGNAL=0$
6-
^\[.*\] arithmetic overflow on signed \+ in .*: FAILURE$
6+
^\[.*\] .* arithmetic overflow on signed \+ in .*: FAILURE$
77
^VERIFICATION FAILED$
88
--
99
^warning: ignoring

‎regression/cbmc/Overflow_Leftshift1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ main.c
33
--signed-overflow-check
44
^EXIT=10$
55
^SIGNAL=0$
6-
^\[.*\] arithmetic overflow on signed shl in .*: FAILURE$
6+
^\[.*\] .* arithmetic overflow on signed shl in .*: FAILURE$
77
^\*\* 2 of 4 failed
88
^VERIFICATION FAILED$
99
--

‎regression/cbmc/Quantifiers-assertion/test.desc

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,12 @@ CORE
22
main.c
33

44
^\*\* Results:$
5-
^\[main.assertion.1\] Exists-Exists: successful: SUCCESS$
6-
^\[main.assertion.2\] NotExists-NotExists: successful: SUCCESS$
7-
^\[main.assertion.3\] NotExists-Exists: failed: FAILURE$
8-
^\[main.assertion.4\] NotExists-Forall: failed: FAILURE$
9-
^\[main.assertion.5\] NotForall-Forall: successful: SUCCESS$
10-
^\[main.assertion.6\] NotForall-NotForall: successful: SUCCESS$
5+
^\[main.assertion.1\] .* Exists-Exists: successful: SUCCESS$
6+
^\[main.assertion.2\] .* NotExists-NotExists: successful: SUCCESS$
7+
^\[main.assertion.3\] .* NotExists-Exists: failed: FAILURE$
8+
^\[main.assertion.4\] .* NotExists-Forall: failed: FAILURE$
9+
^\[main.assertion.5\] .* NotForall-Forall: successful: SUCCESS$
10+
^\[main.assertion.6\] .* NotForall-NotForall: successful: SUCCESS$
1111
^\*\* 2 of 6 failed
1212
^VERIFICATION FAILED$
1313
^EXIT=10$

‎regression/cbmc/Quantifiers-assignment/test.desc

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,10 @@ CORE
22
main.c
33

44
^\*\* Results:$
5-
^\[main.assertion.1\] assertion x: SUCCESS$
6-
^\[main.assertion.2\] assertion y: FAILURE$
7-
^\[main.assertion.3\] assertion z1: SUCCESS$
8-
^\[main.assertion.4\] assertion z2: SUCCESS$
5+
^\[main.assertion.1\] .* assertion x: SUCCESS$
6+
^\[main.assertion.2\] .* assertion y: FAILURE$
7+
^\[main.assertion.3\] .* assertion z1: SUCCESS$
8+
^\[main.assertion.4\] .* assertion z2: SUCCESS$
99
^\*\* 1 of 4 failed
1010
^VERIFICATION FAILED$
1111
^EXIT=10$

‎regression/cbmc/Quantifiers-copy/test.desc

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,11 @@ CORE
22
main.c
33

44
^\*\* Results:$
5-
^\[main.assertion.1\] assertion b\[.*\] == 0: SUCCESS$
6-
^\[main.assertion.2\] assertion b\[.*\] == 1: SUCCESS$
7-
^\[main.assertion.3\] assertion b\[.*\] == 2: SUCCESS$
8-
^\[main.assertion.4\] assertion b\[.*\] == 3: SUCCESS$
9-
^\[main.assertion.5\] assertion b\[.*\] == 4: SUCCESS$
5+
^\[main.assertion.1\] .* assertion b\[.*\] == 0: SUCCESS$
6+
^\[main.assertion.2\] .* assertion b\[.*\] == 1: SUCCESS$
7+
^\[main.assertion.3\] .* assertion b\[.*\] == 2: SUCCESS$
8+
^\[main.assertion.4\] .* assertion b\[.*\] == 3: SUCCESS$
9+
^\[main.assertion.5\] .* assertion b\[.*\] == 4: SUCCESS$
1010
^\*\* 0 of 5 failed
1111
^VERIFICATION SUCCESSFUL$
1212
^EXIT=0$

‎regression/cbmc/Quantifiers-if/test.desc

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,11 @@ CORE
22
main.c
33

44
^\*\* Results:$
5-
^\[main.assertion.1\] failure 1: FAILURE$
6-
^\[main.assertion.2\] failure 2: FAILURE$
7-
^\[main.assertion.3\] success 1: SUCCESS$
8-
^\[main.assertion.4\] failure 3: FAILURE$
9-
^\[main.assertion.5\] success 2: SUCCESS$
5+
^\[main.assertion.1\] .* failure 1: FAILURE$
6+
^\[main.assertion.2\] .* failure 2: FAILURE$
7+
^\[main.assertion.3\] .* success 1: SUCCESS$
8+
^\[main.assertion.4\] .* failure 3: FAILURE$
9+
^\[main.assertion.5\] .* success 2: SUCCESS$
1010
^\*\* 3 of 5 failed
1111
^VERIFICATION FAILED$
1212
^EXIT=10$

‎regression/cbmc/Quantifiers-initialisation/test.desc

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,11 @@ CORE
22
main.c
33

44
^\*\* Results:$
5-
^\[main.assertion.1\] assertion a\[.*\] == 1: SUCCESS$
6-
^\[main.assertion.2\] assertion a\[.*\] == 2: SUCCESS$
7-
^\[main.assertion.3\] assertion a\[.*\] == 3: SUCCESS$
8-
^\[main.assertion.4\] assertion a\[.*\] == 4: SUCCESS$
9-
^\[main.assertion.5\] assertion a\[.*\] == 5: SUCCESS$
5+
^\[main.assertion.1\] .* assertion a\[.*\] == 1: SUCCESS$
6+
^\[main.assertion.2\] .* assertion a\[.*\] == 2: SUCCESS$
7+
^\[main.assertion.3\] .* assertion a\[.*\] == 3: SUCCESS$
8+
^\[main.assertion.4\] .* assertion a\[.*\] == 4: SUCCESS$
9+
^\[main.assertion.5\] .* assertion a\[.*\] == 5: SUCCESS$
1010
^\*\* 0 of 5 failed
1111
^VERIFICATION SUCCESSFUL$
1212
^EXIT=0$

‎regression/cbmc/Quantifiers-initialisation2/test.desc

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,11 @@ CORE
22
main.c
33

44
^\*\* Results:$
5-
^\[main.assertion.1\] forall a\[\]: SUCCESS$
6-
^\[main.assertion.2\] assertion a\[.*\] > a\[.*\]: SUCCESS$
7-
^\[main.assertion.3\] assertion a\[.*\] > a\[.*\]: FAILURE$
8-
^\[main.assertion.4\] forall c\[\]: SUCCESS$
9-
^\[main.assertion.5\] assertion c\[.*\] >= c\[.*\]: SUCCESS$
5+
^\[main.assertion.1\] .* forall a\[\]: SUCCESS$
6+
^\[main.assertion.2\] .* assertion a\[.*\] > a\[.*\]: SUCCESS$
7+
^\[main.assertion.3\] .* assertion a\[.*\] > a\[.*\]: FAILURE$
8+
^\[main.assertion.4\] .* forall c\[\]: SUCCESS$
9+
^\[main.assertion.5\] .* assertion c\[.*\] >= c\[.*\]: SUCCESS$
1010
^\*\* 1 of 5 failed
1111
^VERIFICATION FAILED$
1212
^EXIT=10$

‎regression/cbmc/Quantifiers-not-exists/test.desc

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,12 @@ CORE
22
main.c
33

44
^\*\* Results:$
5-
^\[main.assertion.1\] assertion a\[.*\]\[.*\] > 10: SUCCESS$
6-
^\[main.assertion.2\] assertion tmp_if_expr\$\d+: SUCCESS$
7-
^\[main.assertion.3\] assertion tmp_if_expr\$\d+: SUCCESS$
8-
^\[main.assertion.4\] assertion tmp_if_expr\$\d+: SUCCESS$
9-
^\[main.assertion.5\] assertion tmp_if_expr\$\d+: SUCCESS$
10-
^\[main.assertion.6\] assertion tmp_if_expr\$\d+: SUCCESS$
5+
^\[main.assertion.1\] line 18 assertion a\[.*\]\[.*\] > 10: SUCCESS$
6+
^\[main.assertion.2\] line 20 assertion tmp_if_expr\$\d+: SUCCESS$
7+
^\[main.assertion.3\] line 21 assertion tmp_if_expr\$\d+: SUCCESS$
8+
^\[main.assertion.4\] line 23 assertion tmp_if_expr\$\d+: SUCCESS$
9+
^\[main.assertion.5\] line 25 assertion tmp_if_expr\$\d+: SUCCESS$
10+
^\[main.assertion.6\] line 26 assertion tmp_if_expr\$\d+: SUCCESS$
1111
^\*\* 0 of 6 failed
1212
^VERIFICATION SUCCESSFUL$
1313
^EXIT=0$

‎regression/cbmc/Quantifiers-not/test.desc

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,11 @@ CORE
22
main.c
33

44
^\*\* Results:$
5-
^\[main.assertion.1\] success 1: SUCCESS$
6-
^\[main.assertion.2\] success 2: SUCCESS$
7-
^\[main.assertion.3\] failure 1: FAILURE$
8-
^\[main.assertion.4\] success 3: SUCCESS$
9-
^\[main.assertion.5\] failure 2: FAILURE$
5+
^\[main.assertion.1\] .* success 1: SUCCESS$
6+
^\[main.assertion.2\] .* success 2: SUCCESS$
7+
^\[main.assertion.3\] .* failure 1: FAILURE$
8+
^\[main.assertion.4\] .* success 3: SUCCESS$
9+
^\[main.assertion.5\] .* failure 2: FAILURE$
1010
^\*\* 2 of 5 failed
1111
^VERIFICATION FAILED$
1212
^EXIT=10$

‎regression/cbmc/Quantifiers-two-dimension-array/test.desc

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,11 @@ CORE
22
main.c
33

44
^\*\* Results:$
5-
^\[main.assertion.1\] assertion a\[.*\]\[.*\] == 0: SUCCESS$
6-
^\[main.assertion.2\] assertion a\[.*\]\[.*\] == 1: SUCCESS$
7-
^\[main.assertion.3\] assertion a\[.*\]\[.*\] == 1: SUCCESS$
8-
^\[main.assertion.4\] assertion a\[.*\]\[.*\] == 2: SUCCESS$
9-
^\[main.assertion.5\] assertion tmp_if_expr\$\d+: SUCCESS$
5+
^\[main.assertion.1\] line 9 assertion a\[.*\]\[.*\] == 0: SUCCESS$
6+
^\[main.assertion.2\] line 10 assertion a\[.*\]\[.*\] == 1: SUCCESS$
7+
^\[main.assertion.3\] line 11 assertion a\[.*\]\[.*\] == 1: SUCCESS$
8+
^\[main.assertion.4\] line 12 assertion a\[.*\]\[.*\] == 2: SUCCESS$
9+
^\[main.assertion.5\] line 13 assertion tmp_if_expr\$\d+: SUCCESS$
1010
^\*\* 0 of 5 failed
1111
^VERIFICATION SUCCESSFUL$
1212
^EXIT=0$

‎regression/cbmc/Quantifiers-type/test.desc

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@ CORE
22
main.c
33

44
^\*\* Results:$
5-
^\[main.assertion.1\] assertion tmp_if_expr(\$\d+)?: FAILURE$
6-
^\[main.assertion.2\] assertion tmp_if_expr\$\d+: SUCCESS$
5+
^\[main.assertion.1\] line 9 assertion tmp_if_expr(\$\d+)?: FAILURE$
6+
^\[main.assertion.2\] line 10 assertion tmp_if_expr\$\d+: SUCCESS$
77
^\*\* 1 of 2 failed
88
^VERIFICATION FAILED$
99
^EXIT=10$

‎regression/cbmc/Undefined_Shift1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ main.c
33
--undefined-shift-check
44
^EXIT=10$
55
^SIGNAL=0$
6-
^\[.*\] shift operand is negative in .*: FAILURE$
6+
^\[.*\] line 8 shift operand is negative in .*: FAILURE$
77
^\*\* 1 of 2 failed
88
^VERIFICATION FAILED$
99
--

‎regression/cbmc/fgets1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ main.c
44
^EXIT=10$
55
^SIGNAL=0$
66
^VERIFICATION FAILED$
7-
\[main.assertion.3\] assertion p\[1\]=='b': FAILURE
7+
\[main.assertion.3\] line 16 assertion p\[1\]=='b': FAILURE
88
\*\* 2 of \d+ failed
99
--
1010
^warning: ignoring

‎regression/cbmc/gcc_bswap1/test.desc

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -4,8 +4,8 @@ main.c
44
^EXIT=10$
55
^SIGNAL=0$
66
^VERIFICATION FAILED$
7-
\[main\.assertion\.[258]\] assertion __builtin_bswap(16|32|64)\((sb|b|bl)\) == 0: FAILURE$
7+
\[main\.assertion\.[258]\] .* assertion __builtin_bswap(16|32|64)\((sb|b|bl)\) == 0: FAILURE$
88
^\*\* 3 of 9 failed
99
--
1010
^warning: ignoring
11-
\[main\.assertion\.[258]\] assertion __builtin_bswap(16|32|64)\((sb|b|bl)\) == 0: SUCCESS$
11+
\[main\.assertion\.[258]\] .* assertion __builtin_bswap(16|32|64)\((sb|b|bl)\) == 0: SUCCESS$

‎regression/cbmc/goto4/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ main.c
33
--unwind 1 --unwinding-assertions
44
^EXIT=10$
55
^SIGNAL=0$
6-
^\[.*] assertion g == 0: SUCCESS$
6+
^\[.*] line 5 assertion g == 0: SUCCESS$
77
^\[.*] unwinding assertion loop 0: FAILURE$
88
--
99
^warning: ignoring

‎regression/cbmc/memcpy1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ main.c
44
^EXIT=10$
55
^SIGNAL=0$
66
^VERIFICATION FAILED$
7-
^\[main\.precondition_instance\..*\] memcpy source region readable: FAILURE$
7+
^\[main\.precondition_instance\..*\] .* memcpy source region readable: FAILURE$
88
\*\* 1 of [0-9]+ failed
99
--
1010
^warning: ignoring

‎regression/cbmc/memory_allocation1/test.desc

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,10 +3,10 @@ main.c
33
--pointer-check
44
^EXIT=10$
55
^SIGNAL=0$
6-
^\[main\.pointer_dereference\.2\] dereference failure: invalid integer address in \*p: SUCCESS$
7-
^\[main\.assertion\.1\] assertion \*p==42: SUCCESS$
8-
^\[main\.pointer_dereference\.[0-9]+\] dereference failure: invalid integer address in p\[.*1\]: FAILURE$
9-
^\[main\.assertion\.2\] assertion \*\(p\+1\)==42: SUCCESS$
6+
^\[main\.pointer_dereference\.2\] .* dereference failure: invalid integer address in \*p: SUCCESS$
7+
^\[main\.assertion\.1\] .* assertion \*p==42: SUCCESS$
8+
^\[main\.pointer_dereference\.[0-9]+\] .* dereference failure: invalid integer address in p\[.*1\]: FAILURE$
9+
^\[main\.assertion\.2\] .* assertion \*\(p\+1\)==42: SUCCESS$
1010
^VERIFICATION FAILED$
1111
--
1212
^warning: ignoring

‎regression/cbmc/memset1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ main.c
44
^EXIT=10$
55
^SIGNAL=0$
66
^VERIFICATION FAILED$
7-
^\[main.assertion.7\] assertion A\[1\]==0x01010111: FAILURE$
7+
^\[main.assertion.7\] .* assertion A\[1\]==0x01010111: FAILURE$
88
\*\* 1 of [0-9]+ failed
99
--
1010
^warning: ignoring

‎regression/cbmc/memset3/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ main.c
44
^EXIT=10$
55
^SIGNAL=0$
66
^VERIFICATION FAILED$
7-
^\[main\.precondition_instance\..*] memset destination region writeable: FAILURE$
7+
^\[main\.precondition_instance\..*] .* memset destination region writeable: FAILURE$
88
\*\* 1 of [0-9]+ failed \(.*\)
99
--
1010
^warning: ignoring

‎regression/cbmc/pipe1/test.desc

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ main.c
33

44
^EXIT=10$
55
^SIGNAL=0$
6-
^\[main\.assertion\.4\] assertion data\[1\]==31: FAILURE$
6+
^\[main\.assertion\.4\] .* assertion data\[1\]==31: FAILURE$
77
^\*\* 1 of 5 failed
88
--
99
^warning: ignoring

‎regression/cbmc/pointer-extra-checks/test.desc

Lines changed: 28 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -3,37 +3,37 @@ main.c
33
--pointer-check
44
^EXIT=10$
55
^SIGNAL=0$
6-
^\[main.pointer_dereference.1\] dereference failure: pointer NULL in \*p: FAILURE$
7-
^\[main.pointer_dereference.2\] dereference failure: dead object in \*q: SUCCESS$
8-
^\[main.pointer_dereference.3\] dereference failure: pointer outside object bounds in \*q: SUCCESS$
9-
^\[main.pointer_dereference.4\] dereference failure: deallocated dynamic object in \*r: SUCCESS$
10-
^\[main.pointer_dereference.5\] dereference failure: pointer outside dynamic object bounds in \*r: SUCCESS$
11-
^\[main.pointer_dereference.6\] dereference failure: pointer uninitialized in \*s: FAILURE$
6+
^\[main.pointer_dereference.1\] .* dereference failure: pointer NULL in \*p: FAILURE$
7+
^\[main.pointer_dereference.2\] .* dereference failure: dead object in \*q: SUCCESS$
8+
^\[main.pointer_dereference.3\] .* dereference failure: pointer outside object bounds in \*q: SUCCESS$
9+
^\[main.pointer_dereference.4\] .* dereference failure: deallocated dynamic object in \*r: SUCCESS$
10+
^\[main.pointer_dereference.5\] .* dereference failure: pointer outside dynamic object bounds in \*r: SUCCESS$
11+
^\[main.pointer_dereference.6\] .* dereference failure: pointer uninitialized in \*s: FAILURE$
1212
^VERIFICATION FAILED$
1313
--
1414
^warning: ignoring
15-
^\[main.pointer_dereference.[0-9]+\] dereference failure: pointer invalid in \*p:
16-
^\[main.pointer_dereference.[0-9]+\] dereference failure: pointer uninitialized in \*p:
17-
^\[main.pointer_dereference.[0-9]+\] dereference failure: deallocated dynamic object in \*p:
18-
^\[main.pointer_dereference.[0-9]+\] dereference failure: dead object in \*p:
19-
^\[main.pointer_dereference.[0-9]+\] dereference failure: pointer outside dynamic object bounds in \*p:
20-
^\[main.pointer_dereference.[0-9]+\] dereference failure: pointer outside object bounds in \*p:
21-
^\[main.pointer_dereference.[0-9]+\] dereference failure: pointer NULL in \*q:
22-
^\[main.pointer_dereference.[0-9]+\] dereference failure: pointer invalid in \*q:
23-
^\[main.pointer_dereference.[0-9]+\] dereference failure: deallocated dynamic object in \*q:
24-
^\[main.pointer_dereference.[0-9]+\] dereference failure: pointer outside dynamic object bounds in \*q:
25-
^\[main.pointer_dereference.[0-9]+\] dereference failure: pointer uninitialized in \*q:
26-
^\[main.pointer_dereference.[0-9]+\] dereference failure: pointer NULL in \*r:
27-
^\[main.pointer_dereference.[0-9]+\] dereference failure: pointer invalid in \*r:
28-
^\[main.pointer_dereference.[0-9]+\] dereference failure: pointer uninitialized in \*r:
29-
^\[main.pointer_dereference.[0-9]+\] dereference failure: dead object in \*r:
30-
^\[main.pointer_dereference.[0-9]+\] dereference failure: pointer outside object bounds in \*r:
31-
^\[main.pointer_dereference.[0-9]+\] dereference failure: pointer NULL in \*s:
32-
^\[main.pointer_dereference.[0-9]+\] dereference failure: pointer invalid in \*s:
33-
^\[main.pointer_dereference.[0-9]+\] dereference failure: deallocated dynamic object in \*s:
34-
^\[main.pointer_dereference.[0-9]+\] dereference failure: dead object in \*s:
35-
^\[main.pointer_dereference.[0-9]+\] dereference failure: pointer outside dynamic object bounds in \*s:
36-
^\[main.pointer_dereference.[0-9]+\] dereference failure: pointer outside object bounds in \*s:
15+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: pointer invalid in \*p:
16+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: pointer uninitialized in \*p:
17+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: deallocated dynamic object in \*p:
18+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: dead object in \*p:
19+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: pointer outside dynamic object bounds in \*p:
20+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: pointer outside object bounds in \*p:
21+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: pointer NULL in \*q:
22+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: pointer invalid in \*q:
23+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: deallocated dynamic object in \*q:
24+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: pointer outside dynamic object bounds in \*q:
25+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: pointer uninitialized in \*q:
26+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: pointer NULL in \*r:
27+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: pointer invalid in \*r:
28+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: pointer uninitialized in \*r:
29+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: dead object in \*r:
30+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: pointer outside object bounds in \*r:
31+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: pointer NULL in \*s:
32+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: pointer invalid in \*s:
33+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: deallocated dynamic object in \*s:
34+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: dead object in \*s:
35+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: pointer outside dynamic object bounds in \*s:
36+
^\[main.pointer_dereference.[0-9]+\] .* dereference failure: pointer outside object bounds in \*s:
3737
--
3838
This test ensures that local_bitvector_analysis is correctly labelling obvious
3939
cases of pointers and that --pointer-check is not generating excess assertions.

0 commit comments

Comments
 (0)