Searched defs:FileDesc (Results 1 – 1 of 1) sorted by relevance
131 SymbolRef FileDesc = Call.getReturnValue().getAsSymbol(); in checkPostCall() local155 SymbolRef FileDesc = Call.getArgSVal(0).getAsSymbol(); in checkPreCall() local