| 885824d3 |
1 | |
| 2 | < reading spec employee.lcl > |
| 3 | < reading spec eref.lcl > |
| 4 | < reading spec empset.lcl > |
| 5 | < reading spec ereftab.lcl > |
| 6 | < reading spec erc.lcl > |
| 7 | < reading spec dbase.lcl > |
| 8 | < preprocessing > |
| 9 | < checking employee.c > |
| 10 | employee.c: (in function employee_setName) |
| 11 | employee.c:14: Parameter 1 (e->name) to function strcpy is declared unique but |
| 12 | may be aliased externally by parameter 2 (na) |
| 13 | < checking eref.c > |
| 14 | eref.c: (in function eref_alloc) |
| 15 | eref.c:19: Unqualified storage eref_Pool.conts passed as only param: |
| 16 | realloc (eref_Pool.conts, ...) |
| 17 | eref.c:29: Unqualified storage eref_Pool.status passed as only param: |
| 18 | realloc (eref_Pool.status, ...) |
| 19 | eref.c:45: Storage eref_Pool.status reachable from global is only (should be |
| 20 | unqualified) |
| 21 | eref.c:30: Storage eref_Pool.status becomes only |
| 22 | eref.c:45: Storage eref_Pool.conts reachable from global is only (should be |
| 23 | unqualified) |
| 24 | eref.c:20: Storage eref_Pool.conts becomes only |
| 25 | eref.c: (in function eref_initMod) |
| 26 | eref.c:84: Storage eref_Pool.conts reachable from global is fresh (should be |
| 27 | unqualified) |
| 28 | eref.c:62: Fresh storage eref_Pool.conts allocated |
| 29 | eref.c:84: Global storage *(eref_Pool.conts) contains 4 undefined fields when |
| 30 | call returns: ssNum, salary, gen, j |
| 31 | eref.c:84: Storage eref_Pool.status reachable from global is fresh (should be |
| 32 | unqualified) |
| 33 | eref.c:70: Fresh storage eref_Pool.status allocated |
| 34 | eref.c:84: Global storage eref_Pool contains 1 undefined field when call |
| 35 | returns: status |
| 36 | < checking empset.c > |
| 37 | < checking ereftab.c > |
| 38 | < checking erc.c > |
| 39 | erc.c: (in function erc_create) |
| 40 | erc.c:33: Null storage c->vals derivable from return value: c |
| 41 | erc.c:31: Storage c->vals becomes null |
| 42 | erc.c:33: Fresh storage returned as unqualified (should be only): c |
| 43 | erc.c:23: Fresh storage c allocated |
| 44 | erc.c: (in function erc_clear) |
| 45 | erc.c:49: Function returns with null storage derivable from parameter c->vals |
| 46 | erc.c:47: Storage c->vals becomes null |
| 47 | erc.c: (in function erc_final) |
| 48 | erc.c:54: Implicitly temp storage c passed as only param: free (c) |
| 49 | erc.c: (in function erc_delete) |
| 50 | erc.c:102: Released storage c->vals reachable from parameter at return point |
| 51 | erc.c:100: Storage c->vals is released |
| 52 | erc.c: (in function erc_sprint) |
| 53 | erc.c:141: Fresh storage returned as unqualified (should be only): result |
| 54 | erc.c:122: Fresh storage result allocated |
| a0a162cd |
55 | *** Segmentation Violation |
| 56 | *** Location (not trusted): erc.h:20 |
| 57 | *** Last code point: exprNode.c:8886 |
| 58 | *** Previous code point: exprNode.c:8886 |
| 59 | *** Please report bug to lclint-bug@cs.virginia.edu |
andersk / splint.git / blame