[clang] [clang][analyzer] fix false positive of BlockInCriticalSectionChecker (PR #126752)

via cfe-commits cfe-commits at lists.llvm.org
Wed Feb 12 17:42:37 PST 2025


flovent wrote:

I thought about the case when file descriptor equals to -1, which is modeled by `evalcall` for `open`, means that `open` failed to get a valid file descriptor, if we use this file descriptor in `read` or `recv`, they will not be blocked too. so I think we can avoid report for this situation like non-block file descriptor as well?

https://github.com/llvm/llvm-project/pull/126752


More information about the cfe-commits mailing list