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 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
