Skip to content

Commit e98f3bf

Browse files
authored
[clang][analyzer]][NFC] Simplify method 'ensureStreamNonNull' of StreamChecker (llvm#70927)
The passed in parameter 'State' is always identical to 'C.getState()'.
1 parent b28a296 commit e98f3bf

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)