forked from OSchip/llvm-project
parent
e9b0231152
commit
830c48ed54
|
@ -737,7 +737,7 @@ ProgramStateRef assumeExprIsNonNull(const Expr *NonNullExpr,
|
|||
CheckerContext &C) {
|
||||
SVal Val = State->getSVal(NonNullExpr, C.getLocationContext());
|
||||
if (DefinedOrUnknownSVal *DV = dyn_cast<DefinedOrUnknownSVal>(&Val))
|
||||
return State->assume(cast<DefinedOrUnknownSVal>(*DV), true);
|
||||
return State->assume(*DV, true);
|
||||
return State;
|
||||
}
|
||||
|
||||
|
|
Loading…
Reference in New Issue