1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
moduncon.c: (in function g)
moduncon.c:12:10: Undetected modification possible from call to unconstrained
function umod: umod
moduncon.c:13:22: Undetected modification possible from call to unconstrained
function umod: umod
moduncon.c:13:16: Undetected modification possible from call to unconstrained
function mmod: mmod
moduncon.c:13:10: Undetected modification possible from call to unconstrained
function umod: umod
Finished checking --- 4 code warnings, as expected
moduncon.c: (in function f)
moduncon.c:6:22: Undetected modification possible from call to unconstrained
function umod: umod
moduncon.c:6:22: New fresh storage (type int *) passed as implicitly temp (not
released): umod(x)
moduncon.c:6:16: Undetected modification possible from call to unconstrained
function mmod: mmod
moduncon.c:6:16: New fresh storage (type int *) passed as implicitly temp (not
released): mmod(umod(x))
moduncon.c:6:10: Undetected modification possible from call to unconstrained
function umod: umod
moduncon.c:6:3: Statement has no effect (possible undected modification through
call to unconstrained functions umod, mmod): (void)umod(mmod(...
moduncon.c: (in function g)
moduncon.c:12:10: Undetected modification possible from call to unconstrained
function umod: umod
moduncon.c:12:3: Statement has no effect (possible undected modification
through call to unconstrained function umod): (void)umod(x)
moduncon.c:13:22: Undetected modification possible from call to unconstrained
function umod: umod
moduncon.c:13:22: New fresh storage (type int *) passed as implicitly temp (not
released): umod(x)
moduncon.c:13:16: Undetected modification possible from call to unconstrained
function mmod: mmod
moduncon.c:13:16: New fresh storage (type int *) passed as implicitly temp (not
released): mmod(umod(x))
moduncon.c:13:10: Undetected modification possible from call to unconstrained
function umod: umod
moduncon.c:13:3: Statement has no effect (possible undected modification
through call to unconstrained functions umod, mmod): (void)umod(mmod(...
moduncon.c:1:6: Function mmod declared but not defined
moduncon.c:2:6: Function umod declared but not defined
moduncon.c:4:5: Function f declared but not used
moduncon.c:8:1: Definition of f
moduncon.c:10:5: Function g declared but not used
moduncon.c:15:1: Definition of g
moduncon.c:1:6: Function mmod exported but not declared in header file
moduncon.c:2:6: Function umod exported but not declared in header file
moduncon.c:4:5: Function f exported but not declared in header file
moduncon.c:8:1: Definition of f
moduncon.c:10:5: Function g exported but not declared in header file
moduncon.c:15:1: Definition of g
Finished checking --- 22 code warnings, as expected
|
