-
/*
** LCLint - annotation-assisted static program checker
** Copyright (C) 1994-2001 University of Virginia,
static void showHelp (void);
static void interrupt (int p_i);
-static void loadrc (/*@open@*/ FILE *p_rcfile, cstringSList *p_passThroughArgs)
+static void loadrc (FILE *p_rcfile, cstringSList *p_passThroughArgs)
/*@ensures closed p_rcfile@*/ ;
static void describeVars (void);
}
void
-loadrc (/*@open@*/ FILE *rcfile, cstringSList *passThroughArgs)
+loadrc (/*:open:*/ FILE *rcfile, cstringSList *passThroughArgs)
/*@ensures closed rcfile@*/
{
char *s = mstring_create (MAX_LINE_LENGTH);