================
@@ -342,6 +342,11 @@ class StreamChecker : public Checker<check::PreCall,
eval::Call,
CheckerContext &C,
const StreamErrorState &ErrorKind) const;
+ /// Perform some common checks for all preXXX functions.
+ bool basicCheck(const FnDescription *Desc, const CallEvent &Call,
+ CheckerContext &C, ProgramStateRef &State,
+ SVal &StreamVal) const;
----------------
balazske wrote:
This function has a role like `ensureStreamNonNullAndOpened`, that would be a
better name for it. And it should return the new `State`, like
`ensureStreamNonNull`.
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
