Skip to content

Commit db23e0c

Browse files
author
git apple-llvm automerger
committed
Merge commit 'e98f3bfff2c4' from llvm.org/main into next
2 parents d299a4b + e98f3bf commit db23e0c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1037,7 +1037,7 @@ StreamChecker::ensureStreamNonNull(SVal StreamVal, const Expr *StreamE,
10371037
ConstraintManager &CM = C.getConstraintManager();
10381038

10391039
ProgramStateRef StateNotNull, StateNull;
1040-
std::tie(StateNotNull, StateNull) = CM.assumeDual(C.getState(), *Stream);
1040+
std::tie(StateNotNull, StateNull) = CM.assumeDual(State, *Stream);
10411041

10421042
if (!StateNotNull && StateNull) {
10431043
if (ExplodedNode *N = C.generateErrorNode(StateNull)) {

0 commit comments

Comments
 (0)