[PATCH] D87081: [analyzer][StdLibraryFunctionsChecker] Elaborate the summary of fread and fwrite

Balázs Kéri via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Sep 4 08:57:17 PDT 2020


balazske added a comment.

This checker will make an additional assumption on `fread` and `fwrite` with the ReturnValueCondition. The return value is constrained by `StreamChecker` too but it splits the error (if returned value is less that arg 3) and non-error cases into separate branches. I think this causes no problem because it will refine the assumption made here (if this assumption is made first) or the assumption here has no effect (if the split happened already).


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D87081/new/

https://reviews.llvm.org/D87081



More information about the cfe-commits mailing list