moduncon.c:13:10: Undetected modification possible from call to unconstrained
function umod: umod
-Finished LCLint checking --- 4 code errors found, as expected
+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 passed as implicitly temp (not released):
- umod(x)
+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 passed as implicitly temp (not released):
- mmod(umod(x))
+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
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 passed as implicitly temp (not released):
- umod(x)
+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 passed as implicitly temp (not released):
- mmod(umod(x))
+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
moduncon.c:10:5: Function g exported but not declared in header file
moduncon.c:15:1: Definition of g
-Finished LCLint checking --- 22 code errors found, as expected
+Finished checking --- 22 code warnings, as expected