Home | History | Annotate | Download | only in Checkers

Lines Matching refs:FlagsEx

716   const Expr *FlagsEx = CE->getArg(CE->getNumArgs() - 1);
717   const SVal V = State->getSVal(FlagsEx, C.getLocationContext());
726       .makeIntVal(KernelZeroFlagVal.getValue(), FlagsEx->getType())
730                                                       FlagsEx->getType());