================ @@ -639,12 +644,7 @@ void StreamChecker::preFreadFwrite(const FnDescription *Desc, bool IsFread) const { ProgramStateRef State = C.getState(); SVal StreamVal = getStreamArg(Desc, Call); - State = ensureStreamNonNull(StreamVal, Call.getArgExpr(Desc->StreamArgNo), C, - State); - if (!State) - return; - State = ensureStreamOpened(StreamVal, C, State); - if (!State) + if (!basicCheck(Desc, Call, C, State, StreamVal)) ---------------- balazske wrote:
```suggestion State = ensureStreamNonNullAndOpened(Desc, Call, C, State, StreamVal); if (!State) return; ``` https://github.com/llvm/llvm-project/pull/71394 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits