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