================ @@ -778,42 +781,61 @@ void StreamChecker::evalFgetc(const FnDescription *Desc, const CallEvent &Call, assertStreamStateOpened(OldSS); ---------------- steakhal wrote:
The problem should apply to all APIs that potentially write to the passed buffer; including `fread` too. https://github.com/llvm/llvm-project/pull/73638 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits