/// Return true if the current LocationContext has no caller context.
bool inTopFrame() const { return getLocationContext()->inTopFrame(); }
- /// Returns true if the predecessor is within an inlined function/method.
- bool isWithinInlined() {
- return (getStackFrame()->getParent() != 0);
- }
-
BugReporter &getBugReporter() {
return Eng.getBugReporter();
}
// since 'nil' is rarely returned in practice, we should not warn when the
// caller to the defensive constructor uses the object in contexts where
// 'nil' is not accepted.
- if (C.isWithinInlined() && M.getDecl() &&
+ if (!C.inTopFrame() && M.getDecl() &&
M.getDecl()->getMethodFamily() == OMF_init &&
M.isReceiverSelfOrSuper()) {
State = assumeExprIsNonNull(M.getOriginExpr(), State, C);