Hello, Today, testing POSIX *pipe() *using -fanalyzer i found it currently tracks file description for double close and use after close.
I found that the -fanalyzer do not model the semantics roles of pipe descriptor. After pipe (pipefd) , pipefd[0] is read end, pipefd[1] is write end, but incorrectly used in program as write (pipefd[0], ...) or read (pipefd[1], ...) does not produced diagnostics. It would be an interest to know whether it was intentionall behaviour or could be a useful improvement. Looking for your guidance Your sincerely Saish Kambali
