| 80ee600a |
1 | #include <math.h> |
| 2 | #include <stdio.h> |
| 3 | #include <stdlib.h> |
| 4 | #include <string.h> |
| 5 | #include <fcntl.h> |
| 6 | #include <stdarg.h> |
| 7 | #include <errno.h> |
| 8 | #include "FrameL.h" |
| 9 | |
| 10 | int main(int argc, char *argv[]) /*-------------- main ----*/ |
| 11 | { |
| 12 | struct FrFile *iFile; |
| 13 | struct FrFile *oFile; |
| 14 | struct FrameH *iFrame; |
| 15 | struct FrameH *oFrame; |
| 16 | struct FrAdcData *dmroAdcData; |
| 17 | struct FrVect *dmroVector; |
| 18 | void *actualData; |
| 19 | double *times; /* times at which samples |
| 20 | are taken */ |
| 21 | char *projectName = ""; |
| 22 | unsigned int runNumber = 0; |
| 23 | unsigned int frameNumber = 0; |
| 24 | unsigned int initialTime = 0; /* start time of 1st frame */ |
| 25 | unsigned int finalTime = 0; /* time of end of data |
| 26 | * window wanted */ |
| 27 | unsigned int startTime = 0; /* start time of current |
| 28 | * frame */ |
| 29 | unsigned int startTimeResidual = 0; /* nanoseconds */ |
| 30 | |
| 31 | long debugLevel; |
| 32 | int i; /* loop counter */ |
| 33 | size_t lastSize; /* size of latest actualData, in units of |
| 34 | * sizeof(short) */ |
| 35 | |
| 36 | /*--- increase the Debug level to see possible errors ---*/ |
| 37 | |
| 38 | if (argc == 3) { |
| 39 | sscanf(argv[2],"%ld",&debugLevel); |
| 40 | } |
| 41 | else { |
| 42 | debugLevel = 1; |
| 43 | } |
| 44 | FrLibSetLvl(debugLevel); |
| 45 | } |
| 46 | |
| 47 | /* |
| 48 | And here's the error message: |
| 49 | |
| 50 | |
| 51 | LCLint 2.4b --- 18 Apr 98 |
| 52 | |
| 53 | frameread.c: (in function main) |
| 54 | frameread.c:50:24: Variable debugLevel used before definition |
| 55 | An rvalue is used that may not be initialized to a value on some execution |
| 56 | path. (-usedef will suppress message) |
| 57 | frameread.c:50:35: *** Internal Bug at exprNode.c:3843: exprNode_preOp: |
| 58 | unhandled op: . [errno: 25] |
| 59 | *** Last code point: exprNode.c:8474 |
| 60 | *** Previous code point: exprNode.c:8474 |
| 61 | system error: : Not a typewriter |
| 62 | *** Please report bug to lclint-bug@sds.lcs.mit.edu *** |
| 63 | (attempting to continue, results may be incorrect) |
| 64 | frameread.c:50:23: Format argument 1 to sscanf (%ld) expects long int * gets |
| 65 | long int: .debugLevel |
| 66 | Type of parameter is not consistent with corresponding code in format string. |
| 67 | (-formattype will suppress message) |
| 68 | frameread.c:50:20: Corresponding format code |
| 69 | frameread.c:50:2: Return value (type int) ignored: sscanf(argv[2], ... |
| 70 | Result returned by function call is not used. If this is intended, can cast |
| 71 | result to (void) to eliminate message. (-retvalint will suppress message) |
| 72 | frameread.c:53:17: *** Internal Bug at exprNode.c:4765: exprNode.c:4765: |
| 73 | llassert failed: FALSE: Unexpected default case reached! [errno: 25] |
| 74 | *** Last code point: exprNode.c:8474 |
| 75 | *** Previous code point: exprNode.c:3216 |
| 76 | system error: : Not a typewriter |
| 77 | *** Please report bug to lclint-bug@sds.lcs.mit.edu *** |
| 78 | (attempting to continue, results may be incorrect) |
| 79 | |
| 80 | */ |
andersk / splint.git / blame