================
@@ -1766,13 +1770,6 @@ are assumed to succeed.)
fclose(p);
}
-**Limitations**
-
-The checker does not track the correspondence between integer file descriptors
-and ``FILE *`` pointers. Operations on standard streams like ``stdin`` are not
-treated specially and are therefore often not recognized (because these streams
-are usually not opened explicitly by the program, and are global variables).
----------------
NagyDonat wrote:
It refers to functions like `write` [(man
page)](https://www.man7.org/linux/man-pages/man2/write.2.html) where the file
is specified by an `int` argument.
https://github.com/llvm/llvm-project/pull/100990
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
