X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/798b6d872dcfcf7bf18d61c3cf3af6a61d4a5c38..4f43223cf5dcbc93630d4e446dfa8c31180275ee:/test/db2.expect

diff --git a/test/db2.expect b/test/db2.expect
index 4593bd5..bb0cd6d 100644
--- a/test/db2.expect
+++ b/test/db2.expect
@@ -1,16 +1,9 @@
+make -e clean
+make -e check
 
-< reading spec employee.lcl >
-< reading spec eref.lcl >
-< reading spec empset.lcl >
-< reading spec ereftab.lcl >
-< reading spec erc.lcl >
-< reading spec dbase.lcl >
-< preprocessing >
-< checking employee.c >
 employee.c: (in function employee_setName)
 employee.c:17: Parameter 1 (e->name) to function strcpy is declared unique but
                   may be aliased externally by parameter 2 (na)
-< checking eref.c >
 eref.c: (in function eref_alloc)
 eref.c:19: Unqualified storage eref_Pool.conts passed as only param:
               realloc (eref_Pool.conts, ...)
@@ -33,9 +26,6 @@ eref.c:84: Storage eref_Pool.status reachable from global is fresh (should be
    eref.c:70: Fresh storage eref_Pool.status allocated
 eref.c:84: Global storage eref_Pool contains 1 undefined field when call
               returns: status
-< checking empset.c >
-< checking ereftab.c >
-< checking erc.c >
 erc.c: (in function erc_create)
 erc.c:33: Null storage c->vals derivable from return value: c
    erc.c:31: Storage c->vals becomes null
@@ -52,25 +42,12 @@ erc.c:102: Released storage c->vals reachable from parameter at return point
 erc.c: (in function erc_sprint)
 erc.c:141: Fresh storage returned as unqualified (should be only): result
    erc.c:122: Fresh storage result allocated
-< checking dbase.c >
-< checking drive.c >
-< checking macros bool.h >
-< global checks >
 
-Finished LCLint checking --- 15 code errors found, as expected
+Finished checking --- 15 code warnings, as expected
 
-< reading spec employee.lcl >
-< reading spec eref.lcl >
-< reading spec empset.lcl >
-< reading spec ereftab.lcl >
-< reading spec erc.lcl >
-< reading spec dbase.lcl >
-< preprocessing >
-< checking employee.c >
 employee.c: (in function employee_setName)
 employee.c:17: Parameter 1 (e->name) to function strcpy is declared unique but
                   may be aliased externally by parameter 2 (na)
-< checking eref.c >
 eref.c: (in function eref_initMod)
 eref.c:62: Implicitly only storage eref_Pool.conts (type employee *) not
     released before assignment: eref_Pool.conts = (employee *)malloc(size *
@@ -82,12 +59,9 @@ eref.c:84: Global storage *(eref_Pool.conts) contains 5 undefined fields when
               call returns: ssNum, name, salary, gen, j
 eref.c:84: Global storage eref_Pool contains 1 undefined field when call
               returns: status
-< checking empset.c >
 empset.c: (in function empset_intersect)
 empset.c:126: Fresh storage toDelete not released before return
    empset.c:112: Fresh storage toDelete allocated
-< checking ereftab.c >
-< checking erc.c >
 erc.c: (in function erc_create)
 erc.c:33: Null storage c->vals derivable from return value: c
    erc.c:31: Storage c->vals becomes null
@@ -104,8 +78,6 @@ erc.c:98: Clauses exit with elem referencing implicitly only storage in true
    erc.c:96: Storage elem becomes implicitly only
 erc.c:102: Released storage c->vals reachable from parameter at return point
    erc.c:100: Storage c->vals is released
-< checking dbase.c >
-< checking drive.c >
 drive.c: (in function main)
 drive.c:49: Variable m_res name is not a macro variable (it is a local
                variable), but matches the macro variable namespace prefix "m_"
@@ -136,26 +108,7 @@ drive.c:163: Fresh storage em2 not released before return
    drive.c:146: Fresh storage em2 allocated
 drive.c:163: Fresh storage em3 not released before return
    drive.c:147: Fresh storage em3 allocated
-< checking macros bool.h >
-< global checks >
 
-Finished LCLint checking --- 25 code errors found, as expected
+Finished checking --- 25 code warnings, as expected
 
-< reading spec employee.lcl >
-< reading spec eref.lcl >
-< reading spec empset.lcl >
-< reading spec ereftab.lcl >
-< reading spec erc.lcl >
-< reading spec dbase.lcl >
-< preprocessing >
-< checking employee.c >
-< checking eref.c >
-< checking empset.c >
-< checking ereftab.c >
-< checking erc.c >
-< checking dbase.c >
-< checking drive.c >
-< checking macros bool.h >
-< global checks >
-
-Finished LCLint checking --- no code errors found
+Finished checking --- no warnings