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