[clang] [analyzer] Refine invalidation caused by `fread` (PR #93408)
Balázs Kéri via cfe-commits
cfe-commits at lists.llvm.org
Thu Jun 13 07:08:14 PDT 2024
balazske wrote:
It should be possible in `StreamChecker` to perform the invalidations even if the `StreamState` is not found (stream was not opened). Another possible solution is that a generic invalidation support is added to `StdLibraryFunctionsChecker` that can be used for stream related and other functions.
https://github.com/llvm/llvm-project/pull/93408
More information about the cfe-commits
mailing list