forked from OSchip/llvm-project
parent
47b5c5713b
commit
199f8da3ae
|
@ -732,9 +732,9 @@ public:
|
|||
};
|
||||
}
|
||||
|
||||
ProgramStateRef assumeExprIsNonNull(const Expr *NonNullExpr,
|
||||
ProgramStateRef State,
|
||||
CheckerContext &C) {
|
||||
static ProgramStateRef assumeExprIsNonNull(const Expr *NonNullExpr,
|
||||
ProgramStateRef State,
|
||||
CheckerContext &C) {
|
||||
SVal Val = State->getSVal(NonNullExpr, C.getLocationContext());
|
||||
if (DefinedOrUnknownSVal *DV = dyn_cast<DefinedOrUnknownSVal>(&Val))
|
||||
return State->assume(*DV, true);
|
||||
|
|
|
@ -80,8 +80,8 @@ void CallAndMessageChecker::emitBadCall(BugType *BT, CheckerContext &C,
|
|||
C.EmitReport(R);
|
||||
}
|
||||
|
||||
StringRef describeUninitializedArgumentInCall(const CallEvent &Call,
|
||||
bool IsFirstArgument) {
|
||||
static StringRef describeUninitializedArgumentInCall(const CallEvent &Call,
|
||||
bool IsFirstArgument) {
|
||||
switch (Call.getKind()) {
|
||||
case CE_ObjCMessage: {
|
||||
const ObjCMethodCall &Msg = cast<ObjCMethodCall>(Call);
|
||||
|
|
Loading…
Reference in New Issue