[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