From: drl7x Date: Sat, 3 Mar 2001 21:59:33 +0000 (+0000) Subject: Removed some .out files. X-Git-Tag: ImplictConstraints042601~2 X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/78d7b86311318c0ff30050a745bbf646de2e6f2c Removed some .out files. --- diff --git a/test/alias.out b/test/alias.out deleted file mode 100644 index 06edf4f..0000000 --- a/test/alias.out +++ /dev/null @@ -1,125 +0,0 @@ - -Finished LCLint checking --- no code errors found - -alias.c: (in function f) -alias.c:11:3: Possible undocumented modification of *a through alias *x: *x = 3 -alias.c:14:3: Possible undocumented modification of *a through alias *y: *y = 4 -alias.c:16:3: Undocumented modification of globp: globp = a -alias.c:17:25: Function returns with global variable globp aliasing parameter a -alias.c:21:7: Undocumented modification of globp: globp = z -alias.c:21:15: Variable z used before definition -alias.c:25:3: Undocumented modification of *globp: *globp = 4 -alias.c:25:3: Possible undocumented modification of *a through alias *globp: - *globp = 4 -alias.c:28:3: Possible undocumented modification of *globp through alias *x: - *x = 7 -alias.c:28:3: Possible undocumented modification of *a through alias *x: *x = 7 -alias.c:31:3: Possible undocumented modification of glob through alias *x: - *x = 4 -alias.c:38:3: Possible undocumented modification of **c through alias *x: - *x = 4 -alias.c:40:3: Possible undocumented modification of **c through alias *a: - *a = 4 -alias.c:41:3: Undocumented modification of *globp: *globp = 3 -alias.c:41:3: Possible undocumented modification of *a through alias *globp: - *globp = 3 -alias.c:42:12: Function returns with global variable globp aliasing parameter a -alias.c: (in function h) -alias.c:49:3: Undocumented modification of a possible from call to mut_mod: - mut_mod(a) -alias.c:51:3: Undocumented modification of b possible from call to mut_mod - (through alias a): mut_mod(a) -alias.c:55:12: Owned storage b not released before return - alias.c:52:3: Storage b becomes owned - -Finished LCLint checking --- 19 code errors found, as expected - -alias2.c: (in function f) -alias2.c:17:3: Variable lx used before definition -alias2.c:20:7: Possible undocumented modification of *a through alias *lx: - *lx = 4 -alias2.c:29:7: Possible undocumented modification of *a through alias *x: - *x = 3 -alias2.c:34:7: Possible undocumented modification of **c through alias *x: - *x = 3 -alias2.c:38:3: Possible undocumented modification of *a through alias *x: - *x = 4 -alias2.c:38:3: Possible undocumented modification of **c through alias *x: - *x = 4 -alias2.c:41:8: Undocumented modification of **c: **c = b -alias2.c:43:7: Possible undocumented modification of glob through alias *y: - *y = 3 -alias2.c:43:7: Possible undocumented modification of *globp through alias *y: - *y = 3 -alias2.c:44:7: Undocumented modification of globp: globp = a -alias2.c:53:3: Possible undocumented modification of glob through alias *a: - *a = 3 -alias2.c:53:3: Undocumented modification of *a: *a = 3 -alias2.c:54:3: Possible undocumented modification of *globp through alias *z: - *z = 6 -alias2.c:54:3: Possible undocumented modification of *a through alias *z: - *z = 6 -alias2.c:55:3: Undocumented modification of *globp: *globp = 5 -alias2.c:55:3: Possible undocumented modification of *a through alias *globp: - *globp = 5 -alias2.c:56:12: Function returns with global variable globp aliasing parameter - a - -Finished LCLint checking --- 17 code errors found, as expected - -alias3.c: (in function model) -alias3.c:16:3: Undocumented modification of gst.a: gst.a = 3 -alias3.c:17:3: Undocumented modification of gu->a: gu->a = 5 -alias3.c: (in function f) -alias3.c:38:3: Possible undocumented modification of ia[3] through alias *ip: - *ip = 7 -alias3.c:42:3: Possible undocumented modification of ia[] through alias *ip: - *ip = 8 -alias3.c:44:3: Undocumented modification of ia[6] possible from call to model: - model(ia) -alias3.c:46:3: Undocumented modification of ia[6] possible from call to model - (through alias ip[6]): model(ip) -alias3.c:49:3: Undocumented modification of *(s1.b): *(s1.b) = 7 -alias3.c:52:3: Undocumented modification of *(s1.b) possible from call to modst - (through alias *(sl.b)): modst(sl) -alias3.c:56:3: Undocumented modification of *(s1.b): *(s1.b) = 3 -alias3.c:57:3: Possible undocumented modification of *(s1.b) through alias *ip: - *ip = 6 -alias3.c:58:3: Possible undocumented modification of *(s1.b) through alias - *(sl.b): *(sl.b) = 3 -alias3.c:61:3: Undocumented modification of *u1 possible from call to modu - (through alias *ul): modu(ul) -alias3.c:62:3: Possible undocumented modification of u1->a through alias ul->a: - ul->a = 3 -alias3.c:65:3: Possible undocumented modification of *(u1->s.b) through alias - *(sl.b): *(sl.b) = 6 - -Finished LCLint checking --- 14 code errors found, as expected - -Finished LCLint checking --- no code errors found - -alias4.c: (in function f) -alias4.c:15:10: Function may return reference to parameter a through alias c: c -alias4.c:15:10: Function may return reference to parameter b through alias c: c -alias4.c: (in function h) -alias4.c:26:12: Function returns reference to global glob: &glob -alias4.c:28:12: Function returns reference to global globp: globp -alias4.c:30:12: Function returns reference to global globs: (globs.field) -alias4.c:32:12: Function returns reference to global globs: (&(globs.val)) - -Finished LCLint checking --- 6 code errors found, as expected - -alias5.c: (in function incx1) -alias5.c:13:3: Possible undocumented modification of p->x through alias p2->x: - p2->x++ -alias5.c: (in function incx2) -alias5.c:22:2: Fresh storage p2 not released before return - alias5.c:20:3: Fresh storage p2 allocated -alias5.c: (in function incx3) -alias5.c:27:3: Only storage p2->x not released before assignment: p2->x = p->x -alias5.c:28:3: Possible undocumented modification of *(p->x) through alias - *(p2->x): *(p2->x) = 3 -alias5.c:30:2: Storage p->x reachable from parameter is kept (should be only) - alias5.c:27:3: Storage p->x becomes kept - -Finished LCLint checking --- 5 code errors found, as expected diff --git a/test/db2.out b/test/db2.out deleted file mode 100644 index 2439b12..0000000 --- a/test/db2.out +++ /dev/null @@ -1,2 +0,0 @@ -employee.lcl:2:1: Cannot find standard import file: stdio.lcs -*** Cannot continue. diff --git a/test/db3.out b/test/db3.out deleted file mode 100644 index 2439b12..0000000 --- a/test/db3.out +++ /dev/null @@ -1,2 +0,0 @@ -employee.lcl:2:1: Cannot find standard import file: stdio.lcs -*** Cannot continue. diff --git a/test/keep.out b/test/keep.out deleted file mode 100644 index 41d75c5..0000000 --- a/test/keep.out +++ /dev/null @@ -1,20 +0,0 @@ - -keep.c: (in function f2) -keep.c:12:9: Keep storage passed as only param: free (x) - keep.c:10:26: Storage x becomes keep -keep.c: (in function f3) -keep.c:19:27: Keep storage x not transferred before return - keep.c:15:25: Storage x becomes keep -keep.c: (in function f5) -keep.c:36:10: Keep storage x not transferred before return - keep.c:34:39: Storage x becomes keep -keep.c: (in function f6) -keep.c:44:5: Variable x is kept in true branch, but not kept in continuation. - keep.c:43:11: Storage x becomes kept -keep.c:46:7: Kept storage x passed as keep param: f2 (x) - keep.c:44:5: Storage x becomes kept -keep.c: (in function f7) -keep.c:60:10: Kept storage x returned as implicitly only: x - keep.c:58:5: Storage x becomes kept - -Finished LCLint checking --- 6 code errors found, as expected diff --git a/test/maxset.out b/test/maxset.out deleted file mode 100644 index 2294075..0000000 --- a/test/maxset.out +++ /dev/null @@ -1,12 +0,0 @@ - -Finished LCLint checking --- no code errors found -/a/apollo/af9/drl7x/re2/LCLintDev/test/maxset - -maxsetnoannotations.c: (in function noancopy) -maxsetnoannotations.c:4:1: Unresolved constraint: - Lclint is unable to resolve Requires: : MAXSET ((a @ maxsetnoannotations.c:4 - :9 ) ) >= MAXREAD ((b @ maxsetnoannotations.c:4:11 ) ) needed to satisfy - Requires: : MAXSET ((a @ maxsetnoannotations.c:4:9 ) ) >= MAXREAD ((b @ - maxsetnoannotations.c:4:11 ) ) - -Finished LCLint checking --- 1 code error found