Searched refs:oflagsEx (Results 1 – 1 of 1) sorted by relevance
130 const Expr *oflagsEx = CE->getArg(1); in CheckOpen() local131 const SVal V = state->getSVal(oflagsEx, C.getLocationContext()); in CheckOpen()139 .makeIntVal(Val_O_CREAT.getValue(), oflagsEx->getType()).castAs<NonLoc>(); in CheckOpen()142 oflagsEx->getType()); in CheckOpen()160 oflagsEx->getSourceRange()); in CheckOpen()