Home | History | Annotate | Download | only in Checkers

Lines Matching refs:RetE

31   void emitUndef(CheckerContext &C, const Expr *RetE) const;
32   void checkReference(CheckerContext &C, const Expr *RetE,
41   const Expr *RetE = RS->getRetValue();
42   if (!RetE)
44   SVal RetVal = C.getSVal(RetE);
59       emitUndef(C, RetE);
67     checkReference(C, RetE, RetVal.castAs<DefinedOrUnknownSVal>());
72 static void emitBug(CheckerContext &C, BuiltinBug &BT, const Expr *RetE,
80   Report->addRange(RetE->getSourceRange());
81   bugreporter::trackNullOrUndefValue(N, TrackingE ? TrackingE : RetE, *Report);
86 void ReturnUndefChecker::emitUndef(CheckerContext &C, const Expr *RetE) const {
91   emitBug(C, *BT_Undef, RetE);
94 void ReturnUndefChecker::checkReference(CheckerContext &C, const Expr *RetE,
109   emitBug(C, *BT_NullReference, RetE, bugreporter::getDerefExpr(RetE));