Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
F
frama-c
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Issues
14
Issues
14
List
Boards
Labels
Service Desk
Milestones
Merge Requests
0
Merge Requests
0
Operations
Operations
Incidents
Packages & Registries
Packages & Registries
Container Registry
Analytics
Analytics
Repository
Value Stream
Wiki
Wiki
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Create a new issue
Commits
Issue Boards
Open sidebar
pub
frama-c
Commits
5a8c3222
Commit
5a8c3222
authored
Oct 12, 2020
by
Valentin Perrelle
Committed by
David Bühler
Nov 18, 2020
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
[dive] use local variables instead of globals in this test
parent
f9d917bc
Changes
3
Hide whitespace changes
Inline
Side-by-side
Showing
3 changed files
with
9 additions
and
9 deletions
+9
-9
src/plugins/dive/tests/dive/manydeps.i
src/plugins/dive/tests/dive/manydeps.i
+7
-5
src/plugins/dive/tests/dive/oracle/manydeps.dot
src/plugins/dive/tests/dive/oracle/manydeps.dot
+1
-3
src/plugins/dive/tests/dive/oracle/manydeps.res.oracle
src/plugins/dive/tests/dive/oracle/manydeps.res.oracle
+1
-1
No files found.
src/plugins/dive/tests/dive/manydeps.i
View file @
5a8c3222
...
...
@@ -2,13 +2,13 @@
STDOPT: +"-dive-from-variables many_values::__retres,many_writes::x"
*/
int
t1
,
t2
,
t3
,
t4
,
t5
,
t6
,
t7
,
t8
,
t9
,
t10
,
t11
,
t12
,
t13
,
t14
;
int
*
pt
[
14
]
=
{
&
t1,
&
t2,
&
t3,
&
t4,
&
t5,
&
t6,
&
t7,
&
t8,
&
t9,
&
t10,
&
t11,
&
t12,
&
t13,
&
t14
}
;
int
many_values
(
int
x
)
{
int
t1
=
0
,
t2
=
0
,
t3
=
0
,
t4
=
0
,
t5
=
0
,
t6
=
0
,
t7
=
0
,
t8
=
0
,
t9
=
0
,
t10
=
0
,
t11
=
0
,
t12
=
0
,
t13
=
0
,
t14
=
0
;
int
*
pt
[
14
]
=
{
&
t1,
&
t2,
&
t3,
&
t4,
&
t5,
&
t6,
&
t7,
&
t8,
&
t9,
&
t10,
&
t11,
&
t12,
&
t13,
&
t14
}
;
if
(
x
>=
0
&
&
x
<
14
)
return
*
pt
[
x
]
;
else
...
...
@@ -17,6 +17,8 @@ int many_values(int x)
int
many_writes
()
{
int
t1
=
0
,
t2
=
0
,
t3
=
0
,
t4
=
0
,
t5
=
0
,
t6
=
0
,
t7
=
0
,
t8
=
0
,
t9
=
0
,
t10
=
0
,
t11
=
0
,
t12
=
0
,
t13
=
0
,
t14
=
0
;
int
x
=
0
;
x
+=
t1
;
x
+=
t2
;
...
...
src/plugins/dive/tests/dive/oracle/manydeps.dot
View file @
5a8c3222
...
...
@@ -25,12 +25,10 @@ digraph G {
cp25
[
label
=<
*(pt[x])
>,
shape
=
parallelogram
,
fillcolor
=
"#AACCFF"
,
color
=
"#88AAFF"
,
style
=
"filled,dotted"
,
]
;
subgraph
cluster_cs_1
{
label
=<
many_writes
>;
cp2
;
subgraph
cluster_cs_1
{
label
=<
many_writes
>;
cp2
2
;
cp20
;
cp18
;
cp16
;
cp14
;
cp12
;
cp10
;
cp8
;
cp6
;
cp4
;
cp2
;
};
subgraph
cluster_cs_2
{
label
=<
many_values
>;
cp25
;
cp24
;
};
subgraph
cluster_file_1
{
label
=<
tests/dive/manydeps.i
>;
cp22
;
cp20
;
cp18
;
cp16
;
cp14
;
cp12
;
cp10
;
cp8
;
cp6
;
cp4
;
};
cp2
->
cp2
[
style
=
"bold"
,
]
;
cp4
->
cp2
;
...
...
src/plugins/dive/tests/dive/oracle/manydeps.res.oracle
View file @
5a8c3222
...
...
@@ -6,7 +6,7 @@
[eva:summary] ====== ANALYSIS SUMMARY ======
----------------------------------------------------------------------------
3 functions analyzed (out of 3): 100% coverage.
In these functions,
32 statements reached (out of 32
): 100% coverage.
In these functions,
61 statements reached (out of 61
): 100% coverage.
----------------------------------------------------------------------------
No errors or warnings raised during the analysis.
----------------------------------------------------------------------------
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment