-
/*
** 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)
- ; // /*@ensures closed p_rcfile@*/ ;
+static void loadrc (FILE *p_rcfile, cstringSList *p_passThroughArgs)
+ /*@ensures closed p_rcfile@*/ ;
static void describeVars (void);
static bool specialFlagsHelp (char *p_next);
}
void
-loadrc (/*@open@*/ FILE *rcfile, cstringSList *passThroughArgs)
- // /*@ensures closed rcfile@*/
+loadrc (/*:open:*/ FILE *rcfile, cstringSList *passThroughArgs)
+ /*@ensures closed rcfile@*/
{
char *s = mstring_create (MAX_LINE_LENGTH);
char *os = s;