diff options
| author | jbj <devnull@localhost> | 2002-07-08 14:21:26 +0000 |
|---|---|---|
| committer | jbj <devnull@localhost> | 2002-07-08 14:21:26 +0000 |
| commit | 241fad12870c58bd76468267f2816d409dbc7e57 (patch) | |
| tree | 74806f5c8a6c458ba922b6df8550dfed0d3918c3 /lib/fsm.h | |
| parent | a273ea6a095daa16e663d96e474c75115c3c2bdc (diff) | |
| download | librpm-tizen-241fad12870c58bd76468267f2816d409dbc7e57.tar.gz librpm-tizen-241fad12870c58bd76468267f2816d409dbc7e57.tar.bz2 librpm-tizen-241fad12870c58bd76468267f2816d409dbc7e57.zip | |
Propagate splint-3.0.1.7 close(2) internalState annotation throughout.
CVS patchset: 5542
CVS date: 2002/07/08 14:21:26
Diffstat (limited to 'lib/fsm.h')
| -rw-r--r-- | lib/fsm.h | 13 |
1 files changed, 7 insertions, 6 deletions
@@ -244,8 +244,9 @@ int fsmSetup(FSM_t fsm, fileStage goal, FD_t cfd, /*@out@*/ unsigned int * archiveSize, /*@out@*/ const char ** failedFile) - /*@globals fileSystem @*/ - /*@modifies fsm, ts, fi, *archiveSize, *failedFile, fileSystem @*/; + /*@globals fileSystem, internalState @*/ + /*@modifies fsm, ts, fi, *archiveSize, *failedFile, + fileSystem, internalState @*/; /** * Clean file state machine. @@ -253,8 +254,8 @@ int fsmSetup(FSM_t fsm, fileStage goal, * @return 0 on success */ int fsmTeardown(FSM_t fsm) - /*@globals fileSystem @*/ - /*@modifies fsm, fileSystem @*/; + /*@globals fileSystem, internalState @*/ + /*@modifies fsm, fileSystem, internalState @*/; /*@-exportlocal@*/ /** @@ -295,8 +296,8 @@ int fsmMapAttrs(FSM_t fsm) * @return 0 on success */ int fsmStage(/*@partial@*/ FSM_t fsm, fileStage stage) - /*@globals fileSystem @*/ - /*@modifies fsm, fileSystem @*/; + /*@globals fileSystem, internalState @*/ + /*@modifies fsm, fileSystem, internalState @*/; #ifdef __cplusplus } |