[clang] [analyzer] Fix crash of StreamChecker when eval calling 'fopen' (PR #100990)
Balazs Benics via cfe-commits
cfe-commits at lists.llvm.org
Mon Jul 29 02:54:08 PDT 2024
================
@@ -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).
----------------
steakhal wrote:
Yea, but I didn't know exactly what it refers to. We could add an example for such a case there. That would help.
https://github.com/llvm/llvm-project/pull/100990
More information about the cfe-commits
mailing list