NoQ added inline comments.
================
Comment at: clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp:470
- // Make the return value accordingly to the error.
- State = State->assume(RetVal, (SS->*IsOfError)());
- assert(State && "Return value should not be constrained already.");
- C.addTransition(State);
+ if (SS->isUnknownError()) {
+ llvm::SmallVector<StreamState::ErrorKindTy, 3> NewPossibleErrors;
----------------
Please explain the high-level idea behind this code.
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D75851/new/
https://reviews.llvm.org/D75851
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
