repo.or.cz
/
smatch.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
implications: remove a magic number
[smatch.git]
/
validation
/
sm_mtag6.c
blob
fea036520ef3865205e8aa119ed4245d611c7316
1
#include <stdio.h>
2
#include
"check_debug.h"
3
4
int
frob1
(
int
*
p
)
5
{
6
__smatch_implied
(*
p
);
7
}
8
9
int
frob2
(
int
*
p
)
10
{
11
__smatch_implied
(*
p
);
12
}
13
14
int
x
=
42
;
15
16
struct
foo
{
17
int
a
,
b
,
c
;
18
};
19
struct
foo aaa
= {
20
.
a
=
1
, .
b
=
2
, .
c
=
3
,
21
};
22
23
int
array
[
10
];
24
25
int
main
(
void
)
26
{
27
frob1
(&
x
);
28
frob2
(&
aaa
.
b
);
29
30
return
0
;
31
}
32
33
/*
34
* check-name: smatch mtag #6
35
* check-command: validation/smatch_db_test.sh -I.. sm_mtag6.c
36
*
37
* check-output-start
38
sm_mtag6.c:6 frob1() implied: *p = '42'
39
sm_mtag6.c:11 frob2() implied: *p = '2'
40
* check-output-end
41
*/