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);
65 RetE->getType()->isVoidType())
68 emitUndef(C, RetE);
76 checkReference(C, RetE, RetVal.castAs<DefinedOrUnknownSVal>());
81 static void emitBug(CheckerContext &C, BuiltinBug &BT, const Expr *RetE,
89 Report->addRange(RetE->getSourceRange());
90 bugreporter::trackNullOrUndefValue(N, TrackingE ? TrackingE : RetE, *Report);
95 void ReturnUndefChecker::emitUndef(CheckerContext &C, const Expr *RetE) const {
100 emitBug(C, *BT_Undef, RetE);
103 void ReturnUndefChecker::checkReference(CheckerContext &C, const Expr *RetE,
118 emitBug(C, *BT_NullReference, RetE, bugreporter::getDerefExpr(RetE));
