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

via cfe-commits cfe-commits at lists.llvm.org
Wed Feb 12 18:52:41 PST 2025


flovent wrote:

I thought about the case when file descriptor equals to -1, which is modeled by `evalcall` for `open` in testcase, 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 since no actual read is performed, this will not take a long time like this checker's description concerns, so maybe we should 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