Searched refs:returnOpen (Results 1 – 2 of 2) sorted by relevance
10 /*@dependent@*/ FILE *returnOpen (char *s) in returnOpen() function
52 file5.c: (in function returnOpen)