lclint annotations.

CVS patchset: 3393
CVS date: 1999/10/21 18:48:00
This commit is contained in:
jbj 1999-10-21 18:48:00 +00:00
parent 8bf4afe2d7
commit c8b83b08c5
2 changed files with 6 additions and 6 deletions

View File

@ -8,7 +8,7 @@
+unixlib
# don't-bother-me-yet parameters
-branchstate
#-branchstate
#-immediatetrans
-mustfree
#-observertrans

View File

@ -29,19 +29,19 @@ struct poptContext_s {
int nextLeftover;
/*@keep@*/ const struct poptOption * options;
int restLeftover;
/*@owned@*/ const char * appName;
/*@owned@*/ struct poptAlias * aliases;
/*@only@*/ const char * appName;
/*@only@*/ struct poptAlias * aliases;
int numAliases;
int flags;
struct execEntry * execs;
int numExecs;
/*@owned@*/ const char ** finalArgv;
/*@only@*/ const char ** finalArgv;
int finalArgvCount;
int finalArgvAlloced;
/*@dependent@*/ struct execEntry * doExec;
/*@owned@*/ const char * execPath;
/*@only@*/ const char * execPath;
int execAbsolute;
/*@owned@*/ const char * otherHelp;
/*@only@*/ const char * otherHelp;
};
#define xfree(_a) free((void *)_a)